It Centre of Excellence EXCITE (Q3069262): Difference between revisions
Jump to navigation
Jump to search
(Created claim: summary (P836): Das Konsortium wird grundlegende Theorien des Modells
Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es
Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von
zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als
gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz
und robotische Systeme, eHealth
und biomedizinische Systeme., tran...) |
(Changed label, description and/or aliases in nl, and other parts: Adding Dutch translations) |
||||||||||||||
| label / nl | label / nl | ||||||||||||||
IT Centre of Excellence EXCITE | |||||||||||||||
| Property / summary | |||||||||||||||
Het consortium zal fundamentele theorieën van model verificatie en gegevensanalyse bevorderen. Op dit terrein zal zij methoden en instrumenten ontwikkelen voor goede praktijken voor het ontwerpen en analyseren van betrouwbare en veilige ICT-systemen die grote datavolumes verwerken, als vraagt naar toepassingen voor domeinen met een hoge sociaaleconomische relevantie en robotsystemen, eHealth en biomedische systemen. (Dutch) | |||||||||||||||
| Property / summary: Het consortium zal fundamentele theorieën van model verificatie en gegevensanalyse bevorderen. Op dit terrein zal zij methoden en instrumenten ontwikkelen voor goede praktijken voor het ontwerpen en analyseren van betrouwbare en veilige ICT-systemen die grote datavolumes verwerken, als vraagt naar toepassingen voor domeinen met een hoge sociaaleconomische relevantie en robotsystemen, eHealth en biomedische systemen. (Dutch) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Het consortium zal fundamentele theorieën van model verificatie en gegevensanalyse bevorderen. Op dit terrein zal zij methoden en instrumenten ontwikkelen voor goede praktijken voor het ontwerpen en analyseren van betrouwbare en veilige ICT-systemen die grote datavolumes verwerken, als vraagt naar toepassingen voor domeinen met een hoge sociaaleconomische relevantie en robotsystemen, eHealth en biomedische systemen. (Dutch) / qualifier | |||||||||||||||
point in time: 5 December 2021
| |||||||||||||||
Revision as of 08:27, 5 December 2021
Project Q3069262 in Estonia
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | It Centre of Excellence EXCITE |
Project Q3069262 in Estonia |
Statements
4,311,190.43 Euro
0 references
5,071,988.75 Euro
0 references
85.0 percent
0 references
1 January 2016
0 references
1 March 2023
0 references
Tallinna Tehnikaülikool
0 references
59°23'39.08"N, 24°40'11.50"E
0 references
19086
0 references
The consortium will advance foundational theories of model verification and data analysis. On this groundwork, it will develop methods and tools for sound practices of designing and analyzing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance (cyberphysical and robotic systems, ehealth and biomedical systems). (Estonian)
0 references
The consortium will advance foundational theories of model verification and data analysis. On this Groundwork, it will develop methods and tools for sound practices of designing and analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems. (English)
16 August 2021
0 references
Le consortium fera avancer les théories fondamentales du modèle vérification et analyse des données. Sur cette base, il développera des méthodes et des outils pour des pratiques saines de conception et d’analyse de des systèmes TIC fiables et sécurisés traitant de grands volumes de données, comme demandé par les applications à des domaines de grande pertinence socio-économique et aux systèmes robotiques, eHealth et les systèmes biomédicaux. (French)
26 November 2021
0 references
Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme. (German)
30 November 2021
0 references
Het consortium zal fundamentele theorieën van model verificatie en gegevensanalyse bevorderen. Op dit terrein zal zij methoden en instrumenten ontwikkelen voor goede praktijken voor het ontwerpen en analyseren van betrouwbare en veilige ICT-systemen die grote datavolumes verwerken, als vraagt naar toepassingen voor domeinen met een hoge sociaaleconomische relevantie en robotsystemen, eHealth en biomedische systemen. (Dutch)
5 December 2021
0 references
Identifiers
2014-2020.4.01.15-0018
0 references