Opendata, web and dolomites
H2020 projects about "provable"
The page lists 8 projects related to the topic "provable".
| # | |||
|---|---|---|---|
| 1 | SLMK | The Scope and Limits of Mathematical Knowledge | 2016 |
| 2 | Extreme | An Exascale aware and Un-crashable Space-Time-Adaptive Discontinuous Spectral Element Solver for Non-Linear Conservation Laws | 2017 |
| 3 | SEQUOIA | Robust algorithms for learning from modern data | 2017 |
| 4 | ACCOPT | ACelerated COnvex OPTimization | 2018 |
| 5 | ESCADA | Energy-optimized Symmetric Cryptography by Algebraic Duality Analysis | 2018 |
| 6 | QIP | Towards a Quantitative Theory of Integer Programming | 2019 |
| 7 | UTOPEST | Unified Theory of Efficient Optimization and Estimation | 2019 |
| 8 | AdjustNet | Self-Adjusting Networks | 2020 |