Searching - TalTech Research Portal

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

model-checking (keyword)

types of item

keyword 399

subject term 2