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

model-checking (võtmesõna)

teaviku laadid

võtmesõna 414

märksõna 2