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

model-based verification (keyword)

types of item

keyword 467

subject term 2