Opendata, web and dolomites
H2020 projects about "abstraction"
The page lists 53 projects related to the topic "abstraction".
| # | |||
|---|---|---|---|
| 1 | SYNTECH | Synthesis Technologies for Reactive Systems Software Engineers | 2015 |
| 2 | BUCOPHSYS | Bottom-up hybrid control and planning synthesis with application to multi-robot multi-human coordination | 2015 |
| 3 | BrainFrame | Automated framework for rapid simulations of high-detail brain models | 2015 |
| 4 | COSSIM | A Novel, Comprehensible, Ultra-Fast, Security-Aware CPS Simulator | 2015 |
| 5 | BEBA | Behavioral Based Forwarding | 2015 |
| 6 | PaaSword | A Holistic Data Privacy and Security by Design Platform-as-a-Service Framework Introducing Distributed Encrypted Persistence in Cloud-based Applications | 2015 |
| 7 | COHERENT | Coordinated control and spectrum management for 5G heterogeneous radio access networks | 2015 |
| 8 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 9 | CyberCare | Integrated Sensing Architectures and Tools for Health Care | 2016 |
| 10 | PHANTOM | Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computing Systems | 2015 |
| 11 | symbIoTe | Symbiosis of smart objects across IoT environments | 2016 |
| 12 | DURO | DURO: Deep-memory Ubiquity, Reliability and Optimization | 2016 |
| 13 | BRISC | Bounded Rationality in Sensorimotor Coordination | 2016 |
| 14 | BRISC | Bounded Rationality in Sensorimotor Coordination | 2016 |
| 15 | TUNE | Testing the Untestable: Model Testing of Complex Software-Intensive Systems | 2016 |
| 16 | MinimalSelf | Embodiment, Intersubjectivity, and the Minimal Self | 2016 |
| 17 | GraphInt | Principles of Graph Data Integration | 2016 |
| 18 | DENDRITECIRCUITS | The origins of dendritic computation within mammalian neural circuits | 2016 |
| 19 | ONE | Unified Principles of Interaction | 2016 |
| 20 | Cathedral | Post-Snowden Circuits and Design Methods for Security | 2016 |
| 21 | ENIGMA | European training Network for In situ imaGing of dynaMic processes in heterogeneous subsurfAce environments | 2017 |
| 22 | NeuroSyntax | The cerebral representation of sequences and roles : investigating the origins of human uniqueness. | 2016 |
| 23 | INLIFE | Incubate a New Learning and Inspiration Framework for Education | 2016 |
| 24 | OPRECOMP | Open transPREcision COMPuting | 2017 |
| 25 | I3DS | Integrated 3D Sensors suite | 2016 |
| 26 | SAFE4RAIL | SAFE architecture for Robust distributed Application Integration in roLling stock | 2016 |
| 27 | STRUCTURALISM | The Roots of Mathematical Structuralism | 2017 |
| 28 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 29 | FREEMIND | FREE the MIND: the neurocognitive determinants of intentional decision | 2017 |
| 30 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
| 31 | i2factory 2.0 | i2factory- Disrupting integration platform: secure and easy integration without any programming or component installation | 2017 |
| 32 | SIGROW | SIGROW AQUA: feasibility study of a disruptive Nutrient Management System for hydroponic farming | 2017 |
| 33 | AGNOSTIC | Actively Enhanced Cognition based Framework for Design of Complex Systems | 2017 |
| 34 | THEMPO | The missing link between Perception and Cognition: The case of multiple-person scenarios | 2018 |
| 35 | INFLUENCE | Influence-based Decision-making in Uncertain Environments | 2018 |
| 36 | FoTran | Found in Translation – Natural Language Understanding with Cross-Lingual Grounding | 2018 |
| 37 | HYDROUSA | Demonstration of water loops with innovative regenerative business models for the Mediterranean region | 2018 |
| 38 | FLOIM | Flexible Optical Injection Moulding of optoelectronic devices | 2018 |
| 39 | SPARKs | Static Analysis for the VErification of Spreadsheets | 2019 |
| 40 | AutoCPS | Automated Synthesis of Cyber-Physical Systems: A Compositional Approach | 2019 |
| 41 | SynBio4Flav | Synthetic microbial consortia-based platform for flavonoids production using synthetic biology | 2019 |
| 42 | RADON | Rational decomposition and orchestration for serverless computing | 2019 |
| 43 | RADDICS | Reliable Data-Driven Decision Making in Cyber-Physical Systems | 2019 |
| 44 | SODALITE | SOftware Defined AppLication Infrastructures managemenT and Engineering | 2019 |
| 45 | BAnDIT | Blockchain Attack and Defense Techniques | 2019 |
| 46 | ABSREF | Activity Based System Reliability Evaluation Flow | 2019 |
| 47 | GUARD | A cybersecurity framework to GUArantee Reliability and trust for Digital service chains | 2019 |
| 48 | TEMPO | Technology and hardware for neuromorphic computing | 2019 |
| 49 | SIAM | Scaling Up Innovation through Analogy Mining | 2020 |
| 50 | SmartCLIDE | Smart Cloud Integrated Development Environment supporting the full-stack implementation, composition and deployment of data-centered services and applications in the cloud | 2020 |
| 51 | Hastlayer | Hastlayer - turning software into hardware for faster computing | 2020 |
| 52 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 53 | CP-FTmmW Aminogen | Chemistry and structure of aminogen radicals using chirped-pulse Fourier transform (sub)millimeter rotational spectroscopy | 2020 |