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/388)
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
386
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 control
261.
model-free methods
262.
model-scale experiments
263.
modulated finite control set-model predictive control
264.
multi model ensemble (MME)
265.
multidomain language model
266.
multi-loop model reference control
267.
multiplicative neuron model
268.
multi-pole mathematical model
269.
multi-pole model
270.
multi-pole model design
271.
natural background model
272.
Neyman-Pearson model
273.
NKG2015 geoid model
274.
NN-ANARX model
275.
nonlinear model identification
276.
nonlinear model predictive control
277.
nonlinear time-varying factor model
278.
non-thermal model
279.
Nonthermal model
280.
NSPT model
281.
object model
282.
ocean-sea-ice model
283.
open architecture model
284.
open-economy dynamic general equilibrium model
285.
openEHR RM (Reference Model)
286.
optimal model
287.
panel threshold model
288.
panel vector autoregressive model (VAR)
289.
parallel reaction model
290.
path loss model
291.
Peirce’s triadic model
292.
Peirce's model
293.
photodiode model
294.
PLM maturity model
295.
plume model
296.
POM model
297.
population balance model
298.
Porter’s diamond model
299.
power loss model
300.
power market model
301.
prediction model
302.
predictive model
303.
pre-trained model
304.
price-sensitive model of flexible equipment
305.
Princeton Ocean Model
306.
Probabilistic Graph Model (PGM)
307.
probabilistic model
308.
process model
309.
Quadruple Helix Model
310.
recurrent neural network language model
311.
reduced order model
312.
reference model
313.
reputation model
314.
residential electricity consumption model
315.
Residual Terrain Model (RTM) anomaly
316.
residual terrain model anomaly
317.
retaining research financing, changes in salary rules; new academic career model
318.
Reynolds stress turbulence model
319.
Richardson Maturity Model
320.
risk evaluation model
321.
risk evaluation model development
322.
risk management model
323.
scalar model
324.
Scott-Kennel model
325.
security model
326.
shared mental model
327.
SHEL model
328.
ship model basin
329.
simplified model
330.
simulating waves nearshore (SWAN) model
331.
simulation model
332.
simulink model
333.
single-cell model
334.
sliding model control
335.
small-signal model
336.
SOILN model
337.
specific energy model
338.
standard cost model
339.
statistical model residuals
340.
Storm Water Management Model (SWMM5)
341.
Straussian theory model
342.
structural model
343.
stuck-at fault model
344.
supply chain model framework
345.
supply chain operations reference (SCOR) model
346.
surrogate model
347.
sustainability model framework
348.
SWAN model
349.
Zimbabwe agro-pastoral management model
350.
ZIP model
351.
zonal model
352.
teaching model
353.
technology acceptance model
354.
Technology Acceptance Model (TAM)
355.
tender evaluation model
356.
test model design
357.
The Baltic Sea Model Intercomparison Project (BMIP)
358.
the model of non-technical competences
359.
thermal model
360.
tobit regression model
361.
trade gravity model
362.
transnational model
363.
transport model
364.
transportation model
365.
tunnelling‐percolation model
366.
turn model
367.
two-dimensional model
368.
two-factor model
369.
Ulrich HR roles model
370.
ultra-local model
371.
ultralocal model (ULM) control
372.
Uppaal model-checker
373.
user behavioral model
374.
user dialogue model
375.
utility model
376.
validation of simulation model
377.
value-centric model
378.
wave model
379.
Vector Error Correction Model
380.
vector space model
381.
Wells-Riley model
382.
whole-cell model
383.
Viable Systems Model
384.
wind force model
385.
VRH model
386.
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