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