Searching - TalTech Research Portal

model verification (keyword)

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

author

TalTech department

subject term

series

name of the person

keyword

Clear

export all inquiry results (1)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Model verification for analysis of wind power impact to transient stability in isolated power system using combined relay protection and dynamics modelling approachMaripuu, Rain; Tsernobrovkin, Oleg; Palu, Ivo; Kilter, JakoPQ2012 : 8th International Conference : 2012 Electric Power Quality and Supply Reliability : June 11-13, 2012, Tartu, Estonia : conference proceedings2012 / p. 169-174 : ill https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6256222

book article

Number of records 1, displaying 1 - 1

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. Bouguer potential model
60. business model
61. business model archetypes
62. business model attributes
63. business model canvas
64. business model classification
65. business model generation
66. business model innovation
67. Business Model Innovation (BMI)
68. business model reconfiguration
69. business model research
70. business network model
71. Caco2 model cells
72. Capability Maturity Model Integration for Development
73. cartesian system model
74. casual probabilistic model
75. CERC model
76. chain model
77. channel model
78. charging planning model
79. Coalitional game model
80. communication model
81. compact empirical model
82. compact model
83. company analyze model
84. competence model
85. competency model
86. Comprehensive Situation Awareness Model
87. conceptual data model
88. conceptual model
89. conceptual model of curriculum for accounting specialization
90. condenser model
91. conditional N-K model
92. constitutive model
93. Context model
94. corrosion model
95. country analysis model
96. coupled coils model
97. crop model
98. cross-city model transfer
99. data generative model
100. data quality maturity model
101. data-driven model
102. decentralized model predictive control
103. deep learning model
104. deep learning model quantization
105. default company model
106. design model
107. design-driven business model
108. designing a teaching model
109. detailed model
110. didactic model
111. diffusion model
112. digital elevation model
113. digital surface model (DSM)
114. disease model
115. distributed activation energy model
116. distributed parameter model
117. distributed parameter model of metastructures
118. Dodd–Deeds model
119. domain model
120. domain model and domain modelling
121. double diamond model
122. dq0 model
123. DSGE model
124. DSL meta-model ontology
125. Ducoffe’s advertisement value model
126. Ducoffe’s advertising model
127. dynamic factor model
128. dynamic load model
129. dynamic model
130. Dynamical vegetation model
131. Ecological Regional Ocean Model (ERGOM)
132. economic model
133. Economic optimization model
134. EES model
135. EES Model-2
136. elaboration likelihood model
137. ELAQF Competence Model
138. electricity demand model
139. Electronic Education System Model-2
140. empirical energy consumption model
141. empirical model
142. end member mixing model
143. endogenous growth model
144. end-to-end model-based system
145. energy system model
146. enzyme-constrained genome-scale model
147. enterprise analysis model (EAM)
148. entrepreneurial intention transformation model “EITM”
149. equivalent circuit model
150. Eringen model
151. Estonian sustainability model
152. Eulerian model
153. European Charring Model
154. EV load model
155. Event Processing Network Model
156. experience pyramid model
157. Experimental model
158. explainable AI model
159. exponential load model
160. exponential model
161. fault analysis model
162. Felder-Silverman model
163. FEM model
164. FEM-model
165. field tests model validation
166. finite control set-model predictive control (FCS-MPC)
167. finite cycle-based model predictive control
168. finite element model
169. finite-element (FE) model
170. finite-element model
171. fire design model
172. FitzHugh-Nagumo model
173. fixed country-effect model
174. FOPDT model
175. friction model
176. functional fault model
177. fuzzy logic model
178. gaussian mixture model
179. Gaussian model
180. General Estuarine Transport Model (GETM)
181. generative diffusion model
182. genome model
183. Genome-scale metabolic model
184. geoid model
185. GIS model
186. Global climate model
187. goal model
188. gravity model
189. grey box model
190. GTAP model
191. GUI model
192. habitat model
193. habitat suitability model
194. Hammerstein-Wiener model
195. HBM model
196. Hidden Markov Model (HMM)
197. high-frequency model
198. high-level control fault model
199. high-level fault model
200. high-level functional fault model
201. HIROMB-BOOS-Model (HBM)
202. HL7 Version 3: Reference Information Model (RIM)
203. holistic M&A model
204. holistic merger and acquisition model
205. hot/cold pressing and finite element model simulation
206. hydraulic model
207. hydraulic network model
208. hydrodynamic model
209. Ice history model
210. inductive model
211. information model
212. information model-based urban planning
213. infringer model
214. initial data model
215. input-output model
216. Integrated care model
217. integrated quadruple instructional model
218. integrated waste management model
219. integrative pedagogy model
220. interpretive structural model (ISM)
221. iron losses 3D model
222. Jiles–Atherton (JA) model
223. Johnson–Cook failure model
224. joint model
225. Kano model
226. KPI selection model
227. KPIs selection model
228. laboratory domain model
229. Lagrangian model
230. Land Administration Domain Model (LADM)
231. large language model (LLM)
232. linear Delta robots neural network based model
233. local interpretable model-agnostic explanations (LIME)
234. local model
235. logistic model
236. logistic regression model
237. logistics competence model
238. loss model
239. LSV model
240. lumped model
241. lumped parameter model
242. lumped-parameter model
243. Luxemburg model
244. Machine Learning Explainable model
245. machine-learning predictive model
246. MACRO model
247. Markov model
248. Markov-switching model
249. mathematical model
250. maturity model
251. measurement model
252. mental model
253. meta model
254. metadata model for security measures
255. meta-model
256. MGARCH model
257. micromechanical model
258. microscopic traffic flow model
259. Mindlin model
260. model
261. model amphipathic peptide
262. model averaging
263. model based
264. model based testing
265. model building
266. model building and simulation
267. model calibration
268. model checking
269. model communities
270. model comparison
271. model compression
272. model construction
273. model description
274. model designer
275. Model Driven Architecture
276. model driven development
277. model driven engineering
278. model ensemble
279. model evaluation
280. model free
281. model identification
282. model interpretability
283. model learning
284. model matching problem
285. model of fracture mechanism
286. model of fracturemechanism
287. model of friction
288. model of goal-directed behaviour
289. model of non-technical engineering competences
290. model order estimation
291. model order reduction
292. model order reduction (MOR)
293. model predictive control
294. model predictive control (MPC)
295. model predictive controllers (MPC)
296. model reanalysis
297. model reduction
298. model reference adaptive control
299. model reference controller
300. model refinement
301. model smell
302. Model test
303. model transformation
304. model transformations
305. Model validation
306. model-based control
307. model-based design
308. model-based development
309. Model-Based Engineering (MBE)
310. model-based mutation testing
311. model-based navigation
312. model-based patterns
313. model-based software development
314. Model-Based Systems Engineering (MBSE)
315. model-based testing
316. model-checking
317. model-driven architecture
318. model-driven design
319. model-driven development
320. model-driven software engineering
321. model-free control
322. model-free methods
323. model-scale experiments
324. modified winding function‐based model
325. modulated finite control set-model predictive control
326. mouse model
327. multi model ensemble (MME)
328. multiagent-based microscopic traffic assignment model (MMTAM)
329. multidomain language model
330. multi-loop model reference control
331. multi-model ensemble
332. multiplicative neuron model
333. multi-pole mathematical model
334. multi-pole model
335. multi-pole model design
336. natural background model
337. neural additive model
338. New Keynesian model
339. Neyman-Pearson model
340. NKG2015 geoid model
341. NN-ANARX model
342. nonlinear model identification
343. nonlinear model predictive control
344. nonlinear time-varying factor model
345. non-thermal model
346. Nonthermal model
347. NSPT model
348. numerical model
349. object model
350. ocean-sea-ice model
351. open architecture model
352. open-economy dynamic general equilibrium model
353. openEHR RM (Reference Model)
354. optimal model
355. Overlapping generations model
356. panel threshold model
357. panel vector autoregressive model (VAR)
358. parallel reaction model
359. path loss model
360. pedagogical design model
361. Peirce’s triadic model
362. Peirce's model
363. photodiode model
364. PLM maturity model
365. plume model
366. POM model
367. population balance model
368. Porter’s diamond model
369. power loss model
370. power market model
371. prediction model
372. predictive model
373. pre-trained model
374. price-sensitive model of flexible equipment
375. Princeton Ocean Model
376. Probabilistic Graph Model (PGM)
377. probabilistic model
378. process model
379. projection model
380. Quadruple Helix Model
381. quarter car model
382. rabbit model
383. Random Parameter Linear Regression Model (RPLRM)
384. recurrent neural network language model
385. reduced order model
386. reference model
387. regression based model
388. regulatory model
389. reputation model
390. residential electricity consumption model
391. Residual Terrain Model (RTM) anomaly
392. residual terrain model anomaly
393. retaining research financing, changes in salary rules; new academic career model
394. REVEALS model
395. reversed hazard rate model
396. Reynolds stress turbulence model
397. Richardson Maturity Model
398. Riedel shear model
399. ripening model
400. risk evaluation model
401. risk evaluation model development
402. risk management model
403. sanitary sewer model
404. scalar model
405. Scott-Kennel model
406. security model
407. shared mental model
408. SHEL model
409. ship model basin
410. simplified model
411. simulating waves nearshore (SWAN) model
412. simulation model
413. simulink model
414. Simultaneous model-based optimization
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

model verification (keyword)

types of item

keyword 472

subject term 2