Opendata, web and dolomites
H2020 projects about "logically"
The page lists 11 projects related to the topic "logically".
| # | |||
|---|---|---|---|
| 1 | KOPAR | Knowledge Publishing, Acquisition and Representation | 2015 |
| 2 | SYMCAR | Symbolic Computation and Automated Reasoning for Program Analysis | 2016 |
| 3 | LoC | The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics | 2017 |
| 4 | CoSaQ | Cognitive Semantics and Quantities | 2017 |
| 5 | VirBAcous | Virtual building acoustics: a robust and efficient analysis and optimization framework for noise transmission reduction | 2017 |
| 6 | V-SPHERE | Vulnerability Search and Prevention through Holistic End-to-end Risk Evaluation | 2018 |
| 7 | ULTRA | Increasing the Spatial Correlation of Logical Units of Data to Enable an Ultra-Low Latency Internet | 2018 |
| 8 | ProtoMet | Protometabolic pathways: exploring the chemical roots of systems biology | 2018 |
| 9 | AILAS | Artificial Intelligence Legal Analytic Solution | 2019 |
| 10 | DISSECT | DISSECT: Evidence in International Human Rights Adjudication | 2020 |
| 11 | BioMaGic | Design of biomaterials with enzymatic logic gates | 2021 |