Opendata, web and dolomites
H2020 projects about "logics"
The page lists 37 projects related to the topic "logics".
| # | |||
|---|---|---|---|
| 1 | FLEXILOG | Formal lexically informed logics for searching the web | 2015 |
| 2 | iSwitch | Integrated self-assembled SWITCHable systems and materials: towards responsive organic electronics – a multi-site innovative training action | 2015 |
| 3 | DoRoThy | Donating Robots a Theory of Mind | 2015 |
| 4 | FUTURESYRIA | Mapping an uncertain future: Social and spatial change in conflicting Syria | 2015 |
| 5 | HCAPT | High Current All Printed Transistors | 2015 |
| 6 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 7 | LV-Pri20 | Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT | 2015 |
| 8 | REINVEST | Financing Affordable Housing Under Localism | 2015 |
| 9 | DuaLL | Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | 2015 |
| 10 | Bosolog | Bosolog – Multi-sensors and Assets' Log Monitoring and Management Software | 2015 |
| 11 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |
| 12 | NOVOCAT | Tha novo catalytic synthesis of β-aminoacids from CO2 | 2016 |
| 13 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
| 14 | TOPOPOLIS | Topological Polaritons in Semiconductor Photonic Crystal Structures: Exotic band structures and topological polariton states for quantum simulation and future optoelectronic devices | 2016 |
| 15 | LoGIcInMAS | Logics and Games for Imperfect Information in Multi-Agent Systems | 2016 |
| 16 | LoC | The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics | 2017 |
| 17 | INSIGHT | ImplementatioN in real SOFC Systems of monItoring and diaGnostic tools using signal analysis to increase tHeir lifeTime | 2017 |
| 18 | TARICA | PoliTical And socioinstitutional change in NoRth AfrICA: competition of models and diversity of national trajectories | 2017 |
| 19 | ventralHippocampus | Neuronal circuits for emotions in the ventral CA1 hippocampus | 2017 |
| 20 | single-C | Automatized Catalysis and Single-Carbon Insertion | 2017 |
| 21 | DiGe | Ethnobotany of divided generations in the context of centralization | 2017 |
| 22 | EDAPOL | The Epistemic and Dynamic Aspects of Polarization. | 2018 |
| 23 | POWERSHIFTS | Shifting political power: the nature and consequences of distributed renewable energy transitions | 2017 |
| 24 | NWICWEP | NON-WESTERN MILITARY INTERVENTIONS AND THE CHARACTER OF WARFARE IN THE EUROPEAN PERIPHERY | 2018 |
| 25 | ENIGMA | Supervisor Control for ENhanced electrIcal enerGy MAnagement | 2018 |
| 26 | IMIC | Inner models and infinite computations | 2018 |
| 27 | EpiLog | The Unknown Science: Understanding the Epistemology of Logic through Practice | 2018 |
| 28 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 29 | Worldsoflabour | Entangled Worlds of Labour: The Advance of Flexible Capitalism in Eastern Europe | 2019 |
| 30 | InfCSP | Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems | 2018 |
| 31 | CerQuS | Certified Quantum Security | 2019 |
| 32 | Shift2MaaS | Shift2Rail IP4 enabling Mobility as a Service and seamless passenger experience | 2018 |
| 33 | FAT-FEEDOX | De Novo Fatty Acid Synthesis from Alkane Feedstocks and CO2 | 2019 |
| 34 | Co2Team | Cognitive Collaboration for Teaming | 2019 |
| 35 | MOVEMeNt | Decoding alpha motor neurons diversity and selective vulnerability to disease | 2020 |
| 36 | INEVITABLE | Optimization and performance improving in metal industry by digital technologies | 2019 |
| 37 | LEAFHOUND | Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications | 2020 |