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

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

model verification (keyword)

types of item

keyword 454

subject term 2