Opendata, web and dolomites

H2020 projects about "logics"

The page lists 37 projects related to the topic "logics".

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