Searching - TalTech Research Portal

data flow languages (keyword)

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

author

TalTech department

subject term

series

name of the person

keyword

Clear

export all inquiry results (1)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Block library driven translation validation for dataflow models in safety critical systemsDieumegard, Arnaud; Toom, Andres; Pantel, MarcCritical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings2016 / p. 117-132 : ill https://doi.org/10.1007/978-3-319-45943-1_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Number of records 1, displaying 1 - 1

1. data flow languages
2. data flow visualization
3. data-flow architecture
4. atoms of regular languages
5. Common European Framework of Reference for Languages
6. computer programming languages
7. context free languages
8. context-free languages
9. domain specific languages
10. formal languages
11. Indigenous languages
12. less-resourced languages
13. low-resource languages
14. modeling languages
15. object constraint languages
16. object-oriented programming languages
17. problem-oriented languages
18. problem-oriented programming languages
19. programming languages
20. query languages
21. regular languages
22. semantics of programming languages
23. textual domain specific languages
24. under-resourced languages
25. air flow
26. analytical flow network analysis
27. barotropic flow
28. base flow
29. base wastewater flow modelling
30. bidirectional power flow
31. bidirectional power flow control
32. bioinspired flow sensing
33. blood flow
34. cash flow
35. cash flow analysis
36. channel flow
37. compensatory flow
38. compressible flow
39. constant acceleration flow
40. continuous flow reactions
41. continuous-flow oxidation reactor
42. dedicated flow
43. DHW Design Flow Rate
44. discounted cash flow techniques
45. Distributed flow monitoring
46. ecological flow
47. electric load flow
48. elongational flow
49. energy flow
50. flow
51. flow (dynamics)
52. flow alteration
53. flow analysis
54. flow angle
55. flow assessment methods
56. flow chemistry
57. flow compressibility
58. flow cytometry
59. flow direction
60. flow discharges
61. flow duct
62. flow experiments
63. flow limiter
64. flow mass loading
65. flow measurement
66. flow measurements
67. flow network analysis
68. flow network parameters
69. flow of the “gas–solid particles” type
70. flow packaging materials
71. flow patterns
72. flow rate control
73. flow refuges
74. flow regime
75. flow regulating valve
76. flow sensing
77. flow sheet
78. flow simulations
79. flow system
80. Flow theory
81. flow velocity
82. flow-based modelling
83. flow-feature extraction
84. flow-focusing junction
85. flow-refuge
86. flow-regime transition
87. flow-trough system
88. fluid flow control
89. fluid flow control
90. fluid flow measurements
91. fluid flow simulation
92. free-surface flow
93. gas flow
94. gas flow dynamics
95. gene ﬂow
96. geostrophic air-flow
97. groundwater flow
98. Heat flow
99. imaging flow cytometry
100. information flow control
101. internal-flow hydraulic modelling
102. laminar and turbulent flow
103. lateral flow
104. liquid metal flow
105. Mass flow rate
106. Material flow analysis
107. microscopic traffic flow model
108. mixed flow
109. multiphase flow
110. multi-phase flow
111. non-isothermal turbulent flow
112. particulate channel flow
113. particulate flow
114. passive flow control
115. pipe flow
116. plug flow plasma reactor
117. power flow
118. power flow equations
119. power-flow equations
120. project cash flow
121. pulsatile flow
122. relative cerebral blood flow
123. reverse power flow
124. segmented flow
125. shear flow
126. signal flow graphs
127. start-up flow
128. start-up pipe flow
129. steady-state flow rheology
130. stratified flow
131. traffic flow
132. traffic flow assignment
133. transient flow
134. transient pipe flow
135. turbulent flow
136. two-directional flow regulating valve
137. two-phase flow
138. ulsatile Flow
139. Unified power flow controller (UPFC)
140. unsteady flow
141. vascular flow
142. water flow
143. water flow correction
144. water flow rate
145. ﬂow assurance
146. accident data
147. adversarial data perturbation
148. AI-based data curation
149. AIS data
150. Aligned data
151. ALS data enhancements
152. Amazon Kinesis Data Analytics
153. application data
154. audio and visual data
155. big data
156. big data analysis
157. big data analytics
158. big data science
159. big geo-data
160. borehole data
161. building lifecycle data
162. call data record
163. catalogue of data sources
164. cellular phone data
165. clinical data capture
166. clinical data exchange
167. compositional data
168. conceptual data model
169. construction data management
170. control and data path tests
171. critical data studies
172. cross-border data exchange
173. data
174. data assimilation
175. data protection
176. data acquisition
177. data acquisition system
178. data acquisition systems
179. data aggregation
180. data alignment
181. data analysis
182. data analytics
183. data analytics and machine learning
184. data anisotropy
185. data annotation
186. data assimilation
187. data attacks
188. data augmentation
189. data breach handling
190. data capabilities
191. data capture
192. data center
193. data center (DC)
194. data centers
195. data centre
196. data centres
197. data classification
198. data clustering
199. data collection
200. data commons
201. data compression
202. data conversion
203. data copy
204. data dictionaries
205. data discovery
206. Data dissemination
207. Data distribution structure
208. data donation
209. Data drift
210. data driven planning
211. data dropouts
212. data embassy
213. data engineering
214. data enrichment
215. data envelopment analysis
216. data ethnography
217. data exchange
218. data exchange framework
219. Data exchange layers
220. data exchange platform
221. data experts
222. data filtering
223. data fitting approach
224. data flows
225. data fusion
226. data generative model
227. data governance
228. data governance act
229. data hiding
230. data integration
231. data integrity
232. data intermediary
233. data Interoperability
234. data justice
235. data labeling
236. data lineage
237. data logger
238. data logistics
239. data management
240. data mappings
241. Data Mart
242. Data Mart (DM)
243. data mesh
244. data migration
245. data mining
246. data modeling
247. data models
248. data modem
249. data movements
250. data noise
251. data offloading
252. data ownership
253. data platform
254. data privacy
255. data processing
256. data product
257. data protection
258. data quality
259. data quality management
260. data quality maturity model
261. data rate
262. data reuse
263. data re-use
264. data routing
265. data science
266. data scraping
267. data security
268. data set
269. data set generation
270. data sets
271. data sharing
272. data simulation
273. data simultaneity
274. data sort
275. data sources
276. data spaces
277. data storage
278. data storage systems
279. data stream mining
280. data streams
281. data structures
282. data studies
283. data subject
284. data subjects
285. data synthesis
286. data to decision
287. data types
288. data validity
289. data valorization
290. data warehouse
291. data warenhouse
292. data visualization
293. data-augmentation
294. data-based computational psychiatry
295. data-centric construction
296. data-centric systems
297. data-controlled circuit partition
298. data-controlled segmentation
299. data-driven
300. data-driven characterization
301. data-driven condition monitoring
302. data-driven control
303. Data-driven decision-making
304. data-driven imputation
305. Data-driven method
306. data-driven model
307. data-driven modeling
308. data-driven optimization
309. data-driven public services
310. data-driven techniques
311. data-exchange infrastructures
312. data-exchange solutions
313. data‐fusion
314. data-independent acquisition
315. Data-information-knowledgewisdom (DIKW)
316. data-intelligence
317. data-mining
318. data-science
319. diagnostic data
320. digital data exchange
321. discrete data
322. distributed data aggregation
323. distributed data fusion
324. distributed data mining
325. distributed data mining (DDM)
326. DNA microarray data
327. educational data mining
328. enterprise data analysis
329. European Health Data Space
330. European Health Data Space (EHDS)
331. eventdriven data
332. event-driven data
333. experimental data
334. exploratory data analysis
335. false data injection attack
336. field data
337. financial data
338. floating car data (FCD)
339. flood data platform
340. FMI open data
341. functional data analysis
342. GDPR (General Data Protection Regulation)
343. general data protection regulation
344. genome data
345. global data hub
346. GNSS-levelling data
347. GNSS-RO data
348. GRUAN data
349. health data
350. health data accessibility
351. Health data anonymization
352. health data custodianship
353. health data governance
354. health data interoperability
355. health data policy
356. health data stewardship
357. healthcare data
358. heterogeneous sensor data
359. high-dimensional data
360. high-frequency data
361. high-level test data generation
362. historical data
363. hyperspectral data
364. imbalanced data
365. implications of energy data
366. initial data
367. initial data for AI
368. initial data model
369. in-network data processing
370. insurance data
371. knowledge discovery and data mining
372. linked data
373. linked open data
374. linked open statistical data
375. linked data
376. lossless data compression
377. low-pass data filtering
378. Master Data Management
379. medical claims data
380. medical data
381. Medical Data Reuse
382. meta-data
383. metered data
384. methods: data analysis
385. microplastic data uncertainty
386. mobile data
387. mobile phone big data
388. mobile phone data
389. mobile phone usage data
390. mobile positioning data
391. multisource data fusion
392. multivariate data analysis
393. Nigeria's National data protection regulation
394. open data
395. open data ecosystem
396. open data format
397. open data policies
398. open government data
399. open government data (OGD)
400. open-data
401. OSM data
402. oversharing personal data
403. panel data
404. parallel data processing
405. passenger data
406. patient-generated health data (PGHD)
407. personal data
408. personal data disclosure
409. personal data processing
410. personal data protection
411. Personal Data Protection Act
412. plan data
413. point cloud data
414. pollen data
415. process and data modelling
416. Product Data Management (PDM)
417. public data-set
418. random data
419. real-time data
420. real-time data collection
421. reconstruction of gap-free data
422. reference architecture for global health data space
423. remote data transmission
424. satellite data
425. security of data
426. semantic data modelling
427. semantic health data
428. sequential data
429. small data machine learning
430. small training data set
431. smart data analytics
432. smart meter data
433. social media data
434. Spatial data
435. spatial data analysis
436. statistical data
437. stochastic image data
438. structured data
439. student data analysis
440. supervised learning data
441. supervisory control and data acquisition (SCADA)
442. surrogate data
443. sustainable data governance
444. symbolic data
445. symbolic data analysis
446. synthetic data
447. temperature historical data series
448. time-selective data fusion
449. training data
450. Transcriptome data
451. tree-like data structures
452. underwater data center
453. urban data
454. urban data acquisition
455. weather data
456. web traffic data
457. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
458. virtual data embassy
459. Virtual Data Explorer
460. 18O data
461. (big) data

1. Tallinn Polytechnic Institute, Chair of Foreign Languages

data flow languages (keyword)

types of item

keyword 461

subject term 2

author 1