The page lists 41 projects related to the topic "abstractions".
# | |||
---|---|---|---|
1 | POINT | POINT: iP Over IcN - the betTer ip | 2015 |
2 | RIFE | architectuRe for an Internet For Everybody | 2015 |
3 | CYCLONE | Complete Dynamic Multi-cloud Application Management | 2015 |
4 | DataLocAbstractions | Advanced Programming Environments for Exascale Data-Centric Computing | 2015 |
5 | WATER INCENT | Economic Instruments for Sustainable Water Management in Water Scarce and Drought Prone Irrigated Areas | 2015 |
6 | Flex5Gware | Flexible and efficient hardware/software platforms for 5G network elements and devices | 2015 |
7 | SUPERFLUIDITY | Superfluidity: a super-fluid, cloud-native, converged edge system | 2015 |
8 | ExaNoDe | European Exascale Processor Memory Node Design | 2015 |
9 | CyberCare | Integrated Sensing Architectures and Tools for Health Care | 2016 |
10 | BroadSem | Induction of Broad-Coverage Semantic Parsers | 2016 |
11 | DAPP | Data-centric Parallel Programming | 2016 |
12 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
13 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
14 | GraphInt | Principles of Graph Data Integration | 2016 |
15 | GeCo | Data-Driven Genomic Computing | 2016 |
16 | ICN2020 | ICN2020: Advancing ICN towards real-world deployment through research, innovative applications, and global scale experimentation | 2016 |
17 | DITAS | DITAS: Data-intensive applications Improvement by moving daTA and computation in mixed cloud/fog environmentS | 2017 |
18 | DIANA | Detection and Integrated Assessment of Non-authorised water Abstractions using EO | 2017 |
19 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
20 | CoSaQ | Cognitive Semantics and Quantities | 2017 |
21 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
22 | SHYDRO-ALP | Quantifying ecological effects of small hydropower in Alpine stream ecosystems | 2017 |
23 | NEUROABSTRACTION | Abstraction and Generalisation in Human Decision-Making | 2017 |
24 | MATILDA | A HOLISTIC, INNOVATIVE FRAMEWORK FOR THE DESIGN, DEVELOPMENT AND ORCHESTRATION OF 5G-READY APPLICATIONS AND NETWORK SERVICES OVER SLICED PROGRAMMABLE INFRASTRUCTURE | 2017 |
25 | NRG-5 | Enabling Smart Energy as a Service via 5G Mobile Network advances (NRG-5) | 2017 |
26 | SCCD | Structure and classification of C*-dynamics | 2018 |
27 | DARE | Delivering Agile Research Excellence on European e-Infrastructures | 2018 |
28 | FoTran | Found in Translation – Natural Language Understanding with Cross-Lingual Grounding | 2018 |
29 | Green-DROP | Precise subarea specific irrigation and fertilization system | 2018 |
30 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
31 | ELVER | Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems | 2018 |
32 | ScaleML | Elastic Coordination for Scalable Machine Learning | 2019 |
33 | CloudButton | Serverless Data Analytics Platform | 2019 |
34 | DECODER | DEveloper COmpanion for Documented and annotatEd code Reference | 2019 |
35 | SODALITE | SOftware Defined AppLication Infrastructures managemenT and Engineering | 2019 |
36 | MAPPOLA | Mapping out the poetic landscape(s) of the Roman empire: Ethnic and regional variations, socio-cultural diversity, and cross-cultural transformations | 2019 |
37 | SAPPAN | Sharing and Automation for Privacy Preserving Attack Neutralization | 2019 |
38 | TiNT | Titles of the New Testament: A New Approach to Manuscripts and the History of Interpretation | 2020 |
39 | SmartCLIDE | Smart Cloud Integrated Development Environment supporting the full-stack implementation, composition and deployment of data-centered services and applications in the cloud | 2020 |
40 | ThinkAhead | Thinking Ahead: human planning from a predictive processing perspective | 2020 |
41 | DeFacto | Design Automation for Smart Factories | 2020 |