Otsing - TalTech teadusportaal

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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 404

märksõna 2