Opendata, web and dolomites
H2020 projects about "programmers"
The page lists 30 projects related to the topic "programmers".
| # | |||
|---|---|---|---|
| 1 | BIHC | BIHC- Bio-inspired models of human crowds | 2015 |
| 2 | DAHDAC | DAHDAC project: Disruptive Approach to Highly Distributed Application Creation | 2015 |
| 3 | UBIQUO | PLATFORM TO DEVELOP AND DISTRIBUTE GESTURE RECOGNITION BASED APPLICATIONS | 2015 |
| 4 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 5 | SYMCAR | Symbolic Computation and Automated Reasoning for Program Analysis | 2016 |
| 6 | CBTA | Feasibility Study for the CBT Academy | 2015 |
| 7 | VINEYARD | Versatile Integrated Accelerator-based Heterogeneous Data Centres | 2016 |
| 8 | ICT4Life | ICT services for Life Improvement For the Elderly | 2016 |
| 9 | LPGPU2 | Low-Power Parallel Computing on GPUs 2 | 2016 |
| 10 | DAPP | Data-centric Parallel Programming | 2016 |
| 11 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
| 12 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
| 13 | OSARES | Output-Sensitive Algorithms for Reactive Synthesis | 2016 |
| 14 | King of App | Launching the First Open Source Mobile Content Management System for Apps | 2016 |
| 15 | PHOTON | PHOTON – EDUCATIONAL ROBOT AS A TOOL FOR SHAPING FUTURE OF YOUNG GENERATIONS | 2017 |
| 16 | RACCOON | A Rigorous Approach to Consistency in Cloud Databases | 2017 |
| 17 | Oblow | Oblow, an effective solution in the reduction of stress | 2017 |
| 18 | VESTA | VErified STAtic analysis platform | 2018 |
| 19 | PARSe | Program Analysis and Reorganization, as a Service | 2018 |
| 20 | PolyBar | A new approach to polymorphism through bar recursion | 2018 |
| 21 | Lowcomote | Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms | 2019 |
| 22 | HIVEOPOLIS | FUTURISTIC BEEHIVES FOR A SMART METROPOLIS | 2019 |
| 23 | INFORE | Interactive Extreme-Scale Analytics and Forecasting | 2019 |
| 24 | FTHPC | Fault Tolerant High Performance Computing | 2019 |
| 25 | SYMELS | Symbol Elimination in Reliable System Engineering | 2019 |
| 26 | TURNkey | Towards more Earthquake-resilient Urban Societies through a Multi-sensor-based Information System enabling Earthquake Forecasting, Early Warning and Rapid Response actions | 2019 |
| 27 | LOCOMOTION | Low-carbon society: an enhanced modelling tool for the transition to sustainability | 2019 |
| 28 | DC-IR | AI based software platform | 2019 |
| 29 | SafeNet | Safe Networks using P4 Programs | 2019 |
| 30 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 |