Opendata, web and dolomites

H2020 projects about "axiom"

The page lists 10 projects related to the topic "axiom".

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