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 |