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/385)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
383
1.
model-based verification
2.
model verification
3.
verification by model checking
4.
assertion-based verification
5.
simulation-based verification
6.
agent-based model
7.
model based testing
8.
model-based control
9.
model-based development
10.
Model-Based Engineering (MBE)
11.
model-based mutation testing
12.
model-based patterns
13.
model-based software development
14.
Model-Based Systems Engineering (MBSE)
15.
model-based testing
16.
modified winding function‐based model
17.
multiagent-based microscopic traffic assignment model (MMTAM)
18.
regression based model
19.
Simultaneous model-based optimization
20.
Automata, Formal Verification
21.
automatic speaker verification
22.
compliance verification
23.
compositional verification
24.
deductive verification
25.
extra-functional verification
26.
forecast verification
27.
formal verification
28.
functional verification
29.
grid verification
30.
Hardware Verification
31.
power verification
32.
program verification
33.
reliability verification
34.
security verification
35.
simple payment verification (SVP)
36.
speaker verification
37.
timing verification
38.
validation and verification
39.
verification
40.
verification and validation
41.
verification methods
42.
acoustic model
43.
adjusted DuPont model
44.
analysis model
45.
analytical lumped parameter model
46.
analytical model
47.
analytical thermal model approach
48.
APARHC model
49.
APICS competence model
50.
armature current model
51.
asymmetric model
52.
attack model
53.
automatic GUI model generation
54.
automatic model creation
55.
Bass model
56.
Bayesian model averaging
57.
beyond standard model
58.
bicycle model
59.
business model
60.
business model archetypes
61.
business model attributes
62.
business model canvas
63.
business model classification
64.
business model generation
65.
business model innovation
66.
Business Model Innovation (BMI)
67.
business model reconfiguration
68.
business model research
69.
business network model
70.
Caco2 model cells
71.
Capability Maturity Model Integration for Development
72.
cartesian system model
73.
CERC model
74.
chain model
75.
channel model
76.
charging planning model
77.
Coalitional game model
78.
communication model
79.
compact empirical model
80.
company analyze model
81.
competence model
82.
competency model
83.
Comprehensive Situation Awareness Model
84.
conceptual data model
85.
conceptual model
86.
conceptual model of curriculum for accounting specialization
87.
condenser model
88.
constitutive model
89.
Context model
90.
corrosion model
91.
country analysis model
92.
coupled coils model
93.
crop model
94.
data generative model
95.
data quality maturity model
96.
decentralized model predictive control
97.
deep learning model
98.
default company model
99.
design model
100.
design-driven business model
101.
designing a teaching model
102.
detailed model
103.
didactic model
104.
digital surface model (DSM)
105.
disease model
106.
distributed activation energy model
107.
Dodd–Deeds model
108.
domain model
109.
domain model and domain modelling
110.
dq0 model
111.
DSGE model
112.
DSL meta-model ontology
113.
Ducoffe’s advertisement value model
114.
Ducoffe’s advertising model
115.
dynamic factor model
116.
dynamic model
117.
Dynamical vegetation model
118.
Ecological Regional Ocean Model (ERGOM)
119.
economic model
120.
Economic optimization model
121.
EES model
122.
EES Model-2
123.
elaboration likelihood model
124.
electricity demand model
125.
Electronic Education System Model-2
126.
empirical energy consumption model
127.
empirical model
128.
end member mixing model
129.
endogenous growth model
130.
energy system model
131.
enzyme-constrained genome-scale model
132.
enterprise analysis model (EAM)
133.
entrepreneurial intention transformation model “EITM”
134.
equivalent circuit model
135.
Eringen model
136.
Estonian sustainability model
137.
Eulerian model
138.
European Charring Model
139.
EV load model
140.
Event Processing Network Model
141.
experience pyramid model
142.
Experimental model
143.
explainable AI model
144.
exponential load model
145.
exponential model
146.
fault analysis model
147.
Felder-Silverman model
148.
FEM-model
149.
field tests model validation
150.
finite control set-model predictive control (FCS-MPC)
151.
finite element model
152.
finite-element (FE) model
153.
finite-element model
154.
fire design model
155.
fixed country-effect model
156.
FOPDT model
157.
friction model
158.
functional fault model
159.
fuzzy logic model
160.
gaussian mixture model
161.
Gaussian model
162.
genome model
163.
Genome-scale metabolic model
164.
geoid model
165.
GIS model
166.
Global climate model
167.
goal model
168.
gravity model
169.
grey box model
170.
GTAP model
171.
GUI model
172.
habitat model
173.
habitat suitability model
174.
Hammerstein-Wiener model
175.
HBM model
176.
Hidden Markov Model (HMM)
177.
high-frequency model
178.
high-level control fault model
179.
high-level fault model
180.
high-level functional fault model
181.
HIROMB-BOOS-Model (HBM)
182.
HL7 Version 3: Reference Information Model (RIM)
183.
holistic M&A model
184.
holistic merger and acquisition model
185.
hot/cold pressing and finite element model simulation
186.
hydraulic model
187.
hydraulic network model
188.
hydrodynamic model
189.
Ice history model
190.
inductive model
191.
input-output model
192.
integrated quadruple instructional model
193.
integrated waste management model
194.
integrative pedagogy model
195.
interpretive structural model (ISM)
196.
Jiles–Atherton (JA) model
197.
joint model
198.
Kano model
199.
KPI selection model
200.
KPIs selection model
201.
laboratory domain model
202.
Lagrangian model
203.
logistic model
204.
logistics competence model
205.
loss model
206.
LSV model
207.
lumped model
208.
lumped-parameter model
209.
Machine Learning Explainable model
210.
machine-learning predictive model
211.
MACRO model
212.
Markov-switching model
213.
mathematical model
214.
maturity model
215.
measurement model
216.
mental model
217.
metadata model for security measures
218.
meta-model
219.
MGARCH model
220.
microscopic traffic flow model
221.
model
222.
model amphipathic peptide
223.
model averaging
224.
model building
225.
model calibration
226.
model checking
227.
model communities
228.
model compression
229.
model construction
230.
model description
231.
Model Driven Architecture
232.
model driven engineering
233.
model ensemble
234.
model evaluation
235.
model identification
236.
model learning
237.
model matching problem
238.
model of fracture mechanism
239.
model of fracturemechanism
240.
model of friction
241.
model of non-technical engineering competences
242.
model order estimation
243.
model order reduction
244.
model order reduction (MOR)
245.
model predictive control
246.
model predictive control (MPC)
247.
model reanalysis
248.
model reduction
249.
model reference adaptive control
250.
model reference controller
251.
model refinement
252.
model smell
253.
Model test
254.
model transformation
255.
model transformations
256.
Model validation
257.
model-checking
258.
model-driven design
259.
model-driven development
260.
model-free methods
261.
model-scale experiments
262.
modulated finite control set-model predictive control
263.
multi model ensemble (MME)
264.
multidomain language model
265.
multi-loop model reference control
266.
multiplicative neuron model
267.
multi-pole mathematical model
268.
multi-pole model
269.
multi-pole model design
270.
natural background model
271.
Neyman-Pearson model
272.
NKG2015 geoid model
273.
NN-ANARX model
274.
nonlinear model identification
275.
nonlinear model predictive control
276.
nonlinear time-varying factor model
277.
non-thermal model
278.
Nonthermal model
279.
NSPT model
280.
object model
281.
ocean-sea-ice model
282.
open architecture model
283.
open-economy dynamic general equilibrium model
284.
openEHR RM (Reference Model)
285.
optimal model
286.
panel threshold model
287.
panel vector autoregressive model (VAR)
288.
parallel reaction model
289.
path loss model
290.
Peirce’s triadic model
291.
Peirce's model
292.
photodiode model
293.
PLM maturity model
294.
plume model
295.
POM model
296.
population balance model
297.
Porter’s diamond model
298.
power loss model
299.
power market model
300.
prediction model
301.
predictive model
302.
pre-trained model
303.
price-sensitive model of flexible equipment
304.
Princeton Ocean Model
305.
Probabilistic Graph Model (PGM)
306.
probabilistic model
307.
process model
308.
Quadruple Helix Model
309.
recurrent neural network language model
310.
reduced order model
311.
reference model
312.
reputation model
313.
residential electricity consumption model
314.
Residual Terrain Model (RTM) anomaly
315.
residual terrain model anomaly
316.
retaining research financing, changes in salary rules; new academic career model
317.
Reynolds stress turbulence model
318.
Richardson Maturity Model
319.
risk evaluation model
320.
risk evaluation model development
321.
risk management model
322.
scalar model
323.
Scott-Kennel model
324.
security model
325.
shared mental model
326.
SHEL model
327.
ship model basin
328.
simplified model
329.
simulating waves nearshore (SWAN) model
330.
simulation model
331.
simulink model
332.
single-cell model
333.
sliding model control
334.
small-signal model
335.
SOILN model
336.
specific energy model
337.
standard cost model
338.
statistical model residuals
339.
Storm Water Management Model (SWMM5)
340.
Straussian theory model
341.
structural model
342.
stuck-at fault model
343.
supply chain model framework
344.
supply chain operations reference (SCOR) model
345.
sustainability model framework
346.
SWAN model
347.
Zimbabwe agro-pastoral management model
348.
ZIP model
349.
zonal model
350.
teaching model
351.
technology acceptance model
352.
Technology Acceptance Model (TAM)
353.
tender evaluation model
354.
test model design
355.
The Baltic Sea Model Intercomparison Project (BMIP)
356.
the model of non-technical competences
357.
thermal model
358.
tobit regression model
359.
trade gravity model
360.
transnational model
361.
transport model
362.
transportation model
363.
tunnelling‐percolation model
364.
turn model
365.
two-dimensional model
366.
two-factor model
367.
Ulrich HR roles model
368.
ultralocal model (ULM) control
369.
Uppaal model-checker
370.
user behavioral model
371.
user dialogue model
372.
utility model
373.
validation of simulation model
374.
value-centric model
375.
wave model
376.
Vector Error Correction Model
377.
vector space model
378.
Wells-Riley model
379.
whole-cell model
380.
Viable Systems Model
381.
wind force model
382.
VRH model
383.
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