Searching - TalTech Research Portal

display

sort
1

book article

Home rehabilitation system supported by the safety modelKuusik, Alar; Sarna, Külli; Reilent, EnarpHealth 2013 : proceedings of the 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health : June 26-28, 2013, Tallinn, Estonia2013 / p. 145-151 : ill

book article

Number of records 1, displaying 1 - 1

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

types of item

keyword 454

subject term 2