Opendata, web and dolomites

H2020 projects about "abstraction"

The page lists 53 projects related to the topic "abstraction".

# achronym  title  year 
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