Opendata, web and dolomites

H2020 projects about "provably"

The page lists 20 projects related to the topic "provably".

# achronym  title  year 
1 COMPUTED Computational User Interface Design 2015
2 QINTERNET Quantum communication networks 2016
3 CONENE Control of Large-scale Stochastic Hybrid Systems for Stability of Power Grid with Renewable Energy 2016
4 LoGIcInMAS Logics and Games for Imperfect Information in Multi-Agent Systems 2016
5 COLORAMAP Constrained Low-Rank Matrix Approximations: Theoretical and Algorithmic Developments for Practitioners 2016
6 APEG Algorithmic Performance Guarantees: Foundations and Applications 2016
7 PEAC Provably-Correct Efficient Algorithms for Clustering 2017
8 MAGNET Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques 2017
9 CORNET Provably Correct Networks 2018
10 BANDWIDTH The cost of limited communication bandwidth in distributed computing 2018
11 FutureTPM Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module 2018
12 Browsec Foundations and Tools for Client-Side Web Security 2018
13 CARENET Content-Aware Wireless Networks: Fundamental Limits, Algorithms, and Architectures 2018
14 IDPOQ Evaluation and implementation of post-quantum cryptographic schemes 2018
15 ELVER Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems 2018
16 QIP Towards a Quantitative Theory of Integer Programming 2019
17 ScaleML Elastic Coordination for Scalable Machine Learning 2019
18 REWOCRYPT Theoretically-Sound Real-World Cryptography 2019
19 RADDICS Reliable Data-Driven Decision Making in Cyber-Physical Systems 2019
20 FUN2MODEL From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning 2019