Opendata, web and dolomites
H2020 projects about "axiom"
The page lists 10 projects related to the topic "axiom".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | AXIOM | Agile, eXtensible, fast I/O Module for the cyber-physical era | 2015 |
| 3 | AXIOM | Apertus° eXtendable Integrated Open Modular Cinema Camera | 2015 |
| 4 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 5 | dReDBox | Disaggregated Recursive Datacentre-in-a-Box | 2016 |
| 6 | IPFLOW | Inverse Problems and Flows | 2017 |
| 7 | PolyBar | A new approach to polymorphism through bar recursion | 2018 |
| 8 | TheSocialBusiness | The advantages and pitfalls of elicitated online user engagement | 2018 |
| 9 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 10 | HMI4auto | aXiom – a first of its kind Human-Machine Interface Chip designed for the automotive industry | 2019 |