Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
model-based verification (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/474)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Home rehabilitation system supported by the safety model
Kuusik, Alar
;
Sarna, Külli
;
Reilent, Enar
pHealth 2013 : proceedings of the 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health : June 26-28, 2013, Tallinn, Estonia
2013
/
p. 145-151 : ill
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
472
1.
model-based verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
model verification
4.
verification by model checking
5.
assertion-based verification
6.
simulation-based verification
7.
accrual-based credit risk model
8.
agent-based model
9.
end-to-end model-based system
10.
finite cycle-based model predictive control
11.
information model-based urban planning
12.
linear Delta robots neural network based model
13.
model based
14.
model based testing
15.
model-based control
16.
model-based design
17.
model-based development
18.
Model-Based Engineering (MBE)
19.
model-based mutation testing
20.
model-based navigation
21.
model-based patterns
22.
model-based software development
23.
Model-Based Systems Engineering (MBSE)
24.
model-based testing
25.
modified winding function‐based model
26.
multiagent-based microscopic traffic assignment model (MMTAM)
27.
regression based model
28.
Simultaneous model-based optimization
29.
Automata, Formal Verification
30.
Automatic Security Verification
31.
automatic speaker verification
32.
compliance verification
33.
compositional verification
34.
constraint random verification
35.
deductive verification
36.
extra-functional verification
37.
forecast verification
38.
formal verification
39.
functional verification
40.
grid verification
41.
Hardware Verification
42.
power verification
43.
program verification
44.
Quantum state verification
45.
reliability verification
46.
RISC-V Security Verification
47.
security verification
48.
simple payment verification (SVP)
49.
speaker verification
50.
timing verification
51.
validation and verification
52.
verification
53.
verification and validation
54.
verification methods
55.
acoustic model
56.
additive color model
57.
adjusted DuPont model
58.
Allen-Cahn Chan-Vese model
59.
alternative model
60.
analysis model
61.
analytical lumped parameter model
62.
analytical model
63.
analytical thermal model approach
64.
APARHC model
65.
APICS competence model
66.
ARIMA model
67.
armature current model
68.
as-built model
69.
asymmetric model
70.
attack model
71.
automatic GUI model generation
72.
automatic model creation
73.
Bass model
74.
Bayesian model averaging
75.
Bertotti model
76.
beyond standard model
77.
bicycle model
78.
blockiotintelligence architectural model
79.
Bouguer potential model
80.
business model
81.
business model archetypes
82.
business model attributes
83.
business model canvas
84.
business model classification
85.
business model generation
86.
business model innovation
87.
Business Model Innovation (BMI)
88.
business model reconfiguration
89.
business model research
90.
business network model
91.
Caco2 model cells
92.
Capability Maturity Model Integration for Development
93.
cartesian system model
94.
casual probabilistic model
95.
CERC model
96.
chain model
97.
channel model
98.
charging planning model
99.
Coalitional game model
100.
communication model
101.
compact empirical model
102.
compact model
103.
company analyze model
104.
competence model
105.
competency model
106.
Comprehensive Situation Awareness Model
107.
conceptual data model
108.
conceptual model
109.
conceptual model of curriculum for accounting specialization
110.
condenser model
111.
conditional N-K model
112.
constitutive model
113.
Context model
114.
corrosion model
115.
country analysis model
116.
coupled coils model
117.
crop model
118.
cross-city model transfer
119.
data generative model
120.
data quality maturity model
121.
data-driven model
122.
decentralized model predictive control
123.
deep learning model
124.
deep learning model quantization
125.
default company model
126.
design model
127.
design-driven business model
128.
designing a teaching model
129.
detailed model
130.
didactic model
131.
diffusion model
132.
digital elevation model
133.
digital surface model (DSM)
134.
disease model
135.
distributed activation energy model
136.
distributed parameter model
137.
distributed parameter model of metastructures
138.
Dodd–Deeds model
139.
domain model
140.
domain model and domain modelling
141.
double diamond model
142.
dq0 model
143.
DSGE model
144.
DSL meta-model ontology
145.
Ducoffe’s advertisement value model
146.
Ducoffe’s advertising model
147.
dynamic factor model
148.
dynamic load model
149.
dynamic model
150.
Dynamical vegetation model
151.
Ecological Regional Ocean Model (ERGOM)
152.
economic model
153.
Economic optimization model
154.
EES model
155.
EES Model-2
156.
elaboration likelihood model
157.
ELAQF Competence Model
158.
electricity demand model
159.
Electronic Education System Model-2
160.
empirical energy consumption model
161.
empirical model
162.
end member mixing model
163.
endogenous growth model
164.
energy system model
165.
enzyme-constrained genome-scale model
166.
enterprise analysis model (EAM)
167.
entrepreneurial intention transformation model “EITM”
168.
equivalent circuit model
169.
Eringen model
170.
Estonian sustainability model
171.
Eulerian model
172.
European Charring Model
173.
EV load model
174.
Event Processing Network Model
175.
experience pyramid model
176.
Experimental model
177.
explainable AI model
178.
exponential load model
179.
exponential model
180.
fault analysis model
181.
Felder-Silverman model
182.
FEM model
183.
FEM-model
184.
field tests model validation
185.
finite control set-model predictive control (FCS-MPC)
186.
finite element model
187.
finite-element (FE) model
188.
finite-element model
189.
fire design model
190.
FitzHugh-Nagumo model
191.
fixed country-effect model
192.
FOPDT model
193.
friction model
194.
functional fault model
195.
fuzzy logic model
196.
gaussian mixture model
197.
Gaussian model
198.
General Estuarine Transport Model (GETM)
199.
generative diffusion model
200.
genome model
201.
Genome-scale metabolic model
202.
geoid model
203.
GIS model
204.
Global climate model
205.
goal model
206.
gravity model
207.
grey box model
208.
GTAP model
209.
GUI model
210.
habitat model
211.
habitat suitability model
212.
Hammerstein-Wiener model
213.
HBM model
214.
Hidden Markov Model (HMM)
215.
high-frequency model
216.
high-level control fault model
217.
high-level fault model
218.
high-level functional fault model
219.
HIROMB-BOOS-Model (HBM)
220.
HL7 Version 3: Reference Information Model (RIM)
221.
holistic M&A model
222.
holistic merger and acquisition model
223.
hot/cold pressing and finite element model simulation
224.
hydraulic model
225.
hydraulic network model
226.
hydrodynamic model
227.
Ice history model
228.
inductive model
229.
information model
230.
infringer model
231.
initial data model
232.
input-output model
233.
Integrated care model
234.
integrated quadruple instructional model
235.
integrated waste management model
236.
integrative pedagogy model
237.
interpretive structural model (ISM)
238.
iron losses 3D model
239.
Jiles–Atherton (JA) model
240.
Johnson–Cook failure model
241.
joint model
242.
Kano model
243.
KPI selection model
244.
KPIs selection model
245.
laboratory domain model
246.
Lagrangian model
247.
Land Administration Domain Model (LADM)
248.
large language model (LLM)
249.
local interpretable model-agnostic explanations (LIME)
250.
local model
251.
logistic model
252.
logistic regression model
253.
logistics competence model
254.
loss model
255.
LSV model
256.
lumped model
257.
lumped parameter model
258.
lumped-parameter model
259.
Luxemburg model
260.
Machine Learning Explainable model
261.
machine-learning predictive model
262.
MACRO model
263.
Markov model
264.
Markov-switching model
265.
mathematical model
266.
maturity model
267.
measurement model
268.
mental model
269.
meta model
270.
metadata model for security measures
271.
meta-model
272.
MGARCH model
273.
micromechanical model
274.
microscopic traffic flow model
275.
Mindlin model
276.
model
277.
model amphipathic peptide
278.
model averaging
279.
model building
280.
model building and simulation
281.
model calibration
282.
model checking
283.
model communities
284.
model comparison
285.
model compression
286.
model construction
287.
model description
288.
model designer
289.
Model Driven Architecture
290.
model driven development
291.
model driven engineering
292.
model ensemble
293.
model evaluation
294.
model free
295.
model identification
296.
model interpretability
297.
model learning
298.
model matching problem
299.
model of fracture mechanism
300.
model of fracturemechanism
301.
model of friction
302.
model of goal-directed behaviour
303.
model of non-technical engineering competences
304.
model order estimation
305.
model order reduction
306.
model order reduction (MOR)
307.
model predictive control
308.
model predictive control (MPC)
309.
model predictive controllers (MPC)
310.
model reanalysis
311.
model reduction
312.
model reference adaptive control
313.
model reference controller
314.
model refinement
315.
model smell
316.
Model test
317.
model transformation
318.
model transformations
319.
Model validation
320.
model-checking
321.
model-driven architecture
322.
model-driven design
323.
model-driven development
324.
model-driven software engineering
325.
model-free control
326.
model-free methods
327.
model-scale experiments
328.
modulated finite control set-model predictive control
329.
mouse model
330.
multi model ensemble (MME)
331.
multidomain language model
332.
multi-loop model reference control
333.
multi-model ensemble
334.
multiplicative neuron model
335.
multi-pole mathematical model
336.
multi-pole model
337.
multi-pole model design
338.
natural background model
339.
neural additive model
340.
New Keynesian model
341.
Neyman-Pearson model
342.
NKG2015 geoid model
343.
NN-ANARX model
344.
nonlinear model identification
345.
nonlinear model predictive control
346.
nonlinear time-varying factor model
347.
non-thermal model
348.
Nonthermal model
349.
NSPT model
350.
numerical model
351.
object model
352.
ocean-sea-ice model
353.
open architecture model
354.
open-economy dynamic general equilibrium model
355.
openEHR RM (Reference Model)
356.
optimal model
357.
Overlapping generations model
358.
panel threshold model
359.
panel vector autoregressive model (VAR)
360.
parallel reaction model
361.
path loss model
362.
pedagogical design model
363.
Peirce’s triadic model
364.
Peirce's model
365.
photodiode model
366.
PLM maturity model
367.
plume model
368.
POM model
369.
population balance model
370.
Porter’s diamond model
371.
power loss model
372.
power market model
373.
prediction model
374.
predictive model
375.
pre-trained model
376.
price-sensitive model of flexible equipment
377.
Princeton Ocean Model
378.
Probabilistic Graph Model (PGM)
379.
probabilistic model
380.
process model
381.
projection model
382.
Quadruple Helix Model
383.
quarter car model
384.
rabbit model
385.
Random Parameter Linear Regression Model (RPLRM)
386.
recurrent neural network language model
387.
reduced order model
388.
reference model
389.
regulatory model
390.
reputation model
391.
residential electricity consumption model
392.
Residual Terrain Model (RTM) anomaly
393.
residual terrain model anomaly
394.
retaining research financing, changes in salary rules; new academic career model
395.
REVEALS model
396.
reversed hazard rate model
397.
Reynolds stress turbulence model
398.
Richardson Maturity Model
399.
Riedel shear model
400.
ripening model
401.
risk evaluation model
402.
risk evaluation model development
403.
risk management model
404.
sanitary sewer model
405.
scalar model
406.
Scott-Kennel model
407.
security model
408.
shared mental model
409.
SHEL model
410.
ship model basin
411.
simplified model
412.
simulating waves nearshore (SWAN) model
413.
simulation model
414.
simulink model
415.
single-cell model
416.
sliding model control
417.
small-signal model
418.
SOILN model
419.
specific energy model
420.
standard cost model
421.
statistical model residuals
422.
Storm Water Management Model (SWMM5)
423.
Straussian theory model
424.
structural model
425.
stuck-at fault model
426.
subtractive color model
427.
supply chain model framework
428.
supply chain operations reference (SCOR) model
429.
surrogate model
430.
sustainability model framework
431.
sustainable business model
432.
SWAN model
433.
Zimbabwe agro-pastoral management model
434.
ZIP model
435.
zonal model
436.
teaching model
437.
technology acceptance model
438.
Technology Acceptance Model (TAM)
439.
tender evaluation model
440.
test model design
441.
The Baltic Sea Model Intercomparison Project (BMIP)
442.
the model of non-technical competences
443.
thermal model
444.
tobit regression model
445.
trade gravity model
446.
transnational model
447.
transport model
448.
transportation model
449.
travel time model
450.
tunnelling‐percolation model
451.
turn model
452.
two-dimensional model
453.
two-factor model
454.
typical user model
455.
Ulrich HR roles model
456.
ultra-local model
457.
ultralocal model (ULM) control
458.
Uppaal model-checker
459.
user behavioral model
460.
user dialogue model
461.
utility model
462.
validation of simulation model
463.
value-centric model
464.
wave model
465.
Vector Error Correction Model
466.
vector space model
467.
Wells-Riley model
468.
whole-cell model
469.
Viable Systems Model
470.
wind force model
471.
VRH model
472.
3D model
märksõna
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT