Opendata, web and dolomites

H2020 projects about "logical"

The page lists 104 projects related to the topic "logical".

# achronym  title  year 
1 MIROCALS Efficacy and safety of low-dose IL-2 (ld-IL-2) as a Treg enhancer for anti-neuroinflammatory therapy in newly diagnosed Amyotrophic Lateral Sclerosis (ALS) patients 2015
2 FLEXILOG Formal lexically informed logics for searching the web 2015
3 CoqHoTT Coq for Homotopy Type Theory 2015
4 BASTION Leveraging Binary Analysis to Secure the Internet of Things 2015
5 OCTAVE Objective Control for TAlker VErification 2015
6 DISTRUCT Structure Theory for Directed Graphs 2015
7 EMEHOC Enriched Minimal Expressivism and Higher-Order Concepts 2015
8 MODFIN Model theory of finite and pseudofinite structures 2016
9 HORIP Higher-Order Rewriting for Intensional Properties of Programs and Circuits 2015
10 ReACT A Realizability Approach to Complexity Theory 2015
11 distraction Distraction as a Philosophical Concept and a Stylistic Device in France and Italy.17th-19th Centuries 2015
12 ProLeMAS ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems 2015
13 Q-MoPS Quantum Molecular Photon Source 2015
14 GT Green battery-less Tire Pressure Monitoring System 2015
15 Smartphone-ANCIH Smartphone A new concept in hearing…”: an interactive real-time embedded audio solution that offers a significant/disruptive change in hearing technology and market. 2015
16 PreLog Precursors of logical reasoning in human infants 2015
17 ProNANO Protein-based functional nanostructures 2016
18 DEMOGRAVI3 Demonstration of the GRAVI3 technology – innovative gravity foundation for offshore wind 2016
19 ImMoRiSt Immune Monitoring for RIsk STratification in Solid Organ Transplant Recipients 2016
20 SMARTBUY Enhanced Buying Experiences in SMART CITIES 2016
21 EQEC Engineering Quantum Error Correction 2016
22 GROUPNIP Model theory of groups in NIP theories 2017
23 LoGIcInMAS Logics and Games for Imperfect Information in Multi-Agent Systems 2016
24 CELTA Convergence of Electronics and Photonics Technologies for Enabling Terahertz Applications 2016
25 DYNAMAG Exploring high-frequency DYNAmics in artificial MAGnetic frustrated systems 2016
26 GraphInt Principles of Graph Data Integration 2016
27 OSARES Output-Sensitive Algorithms for Reactive Synthesis 2016
28 CLOUD DIAGNOSIS Development of Low Cost Cloud Monitoring for the Diagnosis and Prognostic of the Wind Turbines 2016
29 REGPROP Regularity properties, definability and combinatorics on the real line. 2017
30 RealtyBundles Connecting real estate agencies with worldwide investors 2016
31 LoC The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics 2017
32 Babylearn Neural mechanisms of learning in the infant brain : from Statistics to Rules and Symbols 2016
33 PACT Proof-theoretical Approaches to Concurrency Theory 2016
34 PAPTIC PAPTIC – The Good Conscience Alternative 2016
35 PJ09 DCB Advanced DCB 2016
36 FashionBrain Understanding Europe’s Fashion Data Universe 2017
37 LightKone Lightweight Computation for Networks at the Edge 2017
38 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
40 ATOM Advanced Holographic Tomographies for Nanoscale Materials: Revealing Electromagnetic and Deformation Fields, Chemical Composition and Quantum States at Atomic Resolution. 2017
41 CoSaQ Cognitive Semantics and Quantities 2017
42 CSP Cross-Layer Design of Securing Positioning 2017
43 PROOF Penumbral Rescue by Normobaric O=O Administration in Patients With Ischaemic Stroke and Target Mismatch ProFile: A Phase II Proof-of-Concept Trial 2017
44 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
45 InnSpect IoT Providing Quality of Experience Through Automated Testing of Devices 2017
46 InnSpect IoT Providing Quality of Experience Through Automated Testing of Devices 2017
47 Elbee Elbee, a worldwide unique drive-from-wheelchair vehicle 2017
48 MITOSENSING Decoding mitochondrial nutrient-sensing programs in POMC neurons as key determinants of metabolic health 2017
49 EDAPOL The Epistemic and Dynamic Aspects of Polarization. 2018
50 TIM-Adrastea “Thinking in Images. Herder’s Adrastea from 1801-03 up to nowadays” 2017
51 SEMCRI 2017 Maltese Presidency Conference on Strengthening Euro-Mediterranean cooperation through Research and Innovation 2016
52 HYPNOTIC Hybrid Indium Phosphide on Silicon nanophotonics for ultimate laser diodes, flip-flops and memories 2017
53 MiLC Monotonicity in Logic and Complexity 2017
54 SEMANTAX Form-Independent Semantics for Natural Language Understanding 2017
55 AF-Cyber Logic-based Attribution and Forensics in Cyber Security 2018
56 LearnAnx_CircAmyg Learning and Anxiety in Amygdala-based Neural Circuits 2017
57 XUV-COMB High Resolution Extreme Ultraviolet Laser Spectroscopy 2017
58 5G-TRANSFORMER 5G-TRANSFORMER: 5G Mobile Transport Platform for Verticals 2017
59 SLICENET End-to-End Cognitive Network Slicing and Slice Management Framework in Virtualised Multi-Domain, Multi-Tenant 5G Networks 2017
60 FORA Fog Computing for Robotics and Industrial Automation 2017
61 BORDER Towards a decentred history of the Middle East: Transborder spaces, circulations, frontier effects and state formation, 1920-1946 2017
62 FraMEPhys A Framework for Metaphysical Explanation in Physics 2018
63 QUNNECT A Fiber Optic Transceiver for Superconducting Qubits 2018
64 EXPRESS From the Expression of Disagreeement to New Foundations for Expressivist Semantics 2018
65 GET READY GET READY - a unique intervention addressing activity reduction co-designed with Care Home residents and University students, following a service-learning methodology 2018
66 RECOMB Stem-cell based gene therapy for recombination deficient SCID (RECOMB) 2018
67 Real-PIM-System Memristive In-Memory Processing System 2018
68 VIMMP Virtual Materials Market Place (VIMMP) 2018
69 CybSPEED Cyber-Physical Systems for PEdagogical Rehabilitation in Special EDucation 2017
70 ULTRA Increasing the Spatial Correlation of Logical Units of Data to Enable an Ultra-Low Latency Internet 2018
71 IMIC Inner models and infinite computations 2018
72 EpiLog The Unknown Science: Understanding the Epistemology of Logic through Practice 2018
73 Lingua The Early Romantic Theory of Language: Experimental linguistics around 1800 2019
74 GODELIANA The Gödel Enigma: Unveiling a Hidden Logical Heritage 2018
75 LOFUPRO The Logical Function of Property Talk 2018
76 InfCSP Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems 2018
77 PolyBar A new approach to polymorphism through bar recursion 2018
78 Blocknetwork Blocknetwork - Fusing Big Data and Implementing Novel Cyber Security Solutions 2018
79 FLEXGAN Ka-band GaN-based SSPA for flexible payloads and multicarrier operation for 5G satellite concept 2018
80 PRO-Heritage PROtect traditional built HERITAGE Skills – PRO-Heritage 2019
81 DIAPASoN Differential Program Semantics 2019
82 QUCUBE 3D integration technology for silicon spin qubits 2019
83 Cinnamon From Essence to Cinnamon: Making our Proprietary CMS Open Source for Customizable Web- Platforms 2019
84 INFINITY Infinity in Mathematics: A Philosophical analysis of Critical Views of Infinity 2019
85 INdifference The Interpretation of Differentia during Late Antique and Early Christian Thought 2020
86 CALCULATORES Imaginable Impossibilities and Thought Experiments. The Tradition of the Oxford Calculators and its Influence on Early-Modern Logic and Natural Philosophy 2019
87 QuanToPol Quantum Topological Polaritonics 2020
88 AI4DI Artificial Intelligence for Digitizing Industry 2019
89 IQubitNet Integrated multi-qubit devices for scalable quantum networks 2019
90 CORRELATION Characterization and prediction of service-level traffic for future sliced mobile network 2020
91 EURAD European Joint Programme on Radioactive Waste Management 2019
92 ZES opportunity Zones for innovation EcosystemS governance 2019
93 CATCH-22 High temperature superconductivity and the Catch-22 conundrum 2019
95 CompuLaw Computable Law 2019
96 JONIXAirPlasma Robust technology combining both air filtration and purification with zero chemicals used and zero residues produced 2019
97 Warrick X1 Safe home-based portable peritoneal dialysis system that offers simpler dialysis and improved quality of life for patients 2019
98 CathVision Cube CathVision Cube: disruptive data-driven guidance for successful cardiac ablation therapy 2019
99 ARiAT Advanced Reasoning in Arithmetic Theories 2020
100 AlgoQIP Beyond Shannon: Algorithms for optimal information processing 2020
101 BANYAN Big dAta aNalYtics for radio Access Networks 2019
102 PRISAR2 proactive monitoring of cancer as an alternative to surgery 2020
103 NOTICE Novel Oxides and Topological Interfaces for quantum Computing Electronics 2020
104 ICG68-PROG Imaging of c-Met aberrant cancers with Gallium-68 chelators for positron emission tomography 2020