Opendata, web and dolomites
H2020 projects about "provably"
The page lists 20 projects related to the topic "provably".
| # | |||
|---|---|---|---|
| 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 |