Opendata, web and dolomites
H2020 projects about "formalize"
The page lists 22 projects related to the topic "formalize".
| # | |||
|---|---|---|---|
| 1 | GALENA | Galileo-based solutions for urban freight transport | 2015 |
| 2 | DoRoThy | Donating Robots a Theory of Mind | 2015 |
| 3 | ProLeMAS | ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems | 2015 |
| 4 | ScalinGreen | Innovative solutions to scale-up urban green surfaces across Europe | 2015 |
| 5 | GRACE | Resource Bounded Graph Query Answering | 2015 |
| 6 | JPsustaiND | Coordination Action in support of the sustainability and globalisation of the Joint Programming Initiative on Neurodegenerative Diseases | 2015 |
| 7 | PARTAKE | cooPerative depArtuRes for a compeTitive ATM networK sErvice. | 2016 |
| 8 | IEA | International Environmental Agreements -An Integrated Approach | 2017 |
| 9 | D3 | Interpreting Drawings for 3D Design | 2017 |
| 10 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 11 | VIVIR | VIsual representations of VIew Relations to support effective data analysis on large and high-resolution displays | 2017 |
| 12 | MAGNET | Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques | 2017 |
| 13 | BVCGA | The BV Construction: a Geometric Approach | 2017 |
| 14 | AGNOSTIC | Actively Enhanced Cognition based Framework for Design of Complex Systems | 2017 |
| 15 | UNIFY | A Unified Framework for the Assessment and Application of Cognitive Models | 2018 |
| 16 | InsSciDE | Inventing a Shared Science Diplomacy for Europe | 2017 |
| 17 | MAtchUP | MAximizing the UPscaling and replication potential of high level urban transformation strategies | 2017 |
| 18 | DISC | Evolutionary diversification across scales | 2018 |
| 19 | PANEDA | High-Dimensional Inference for Panel and Network Data | 2019 |
| 20 | PANTERA | Pan European Technology Energy Research Approach | 2019 |
| 21 | ChemicalWalks | Reactive Transport and Mixing in Heterogeneous Media: Chemical Random Walks under Local Non-equilibrium | 2019 |
| 22 | OPTIMIST | OPTIMised video content delivery chains leveraging data analysis over joint multI-accesS edge computing and 5G radio network infrasTructures | 2020 |