Opendata, web and dolomites

H2020 projects about "formalize"

The page lists 22 projects related to the topic "formalize".

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