Opendata, web and dolomites
H2020 projects about "logical"
The page lists 104 projects related to the topic "logical".
| # | |||
|---|---|---|---|
| 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 |
| 39 | PHOTON | PHOTON – EDUCATIONAL ROBOT AS A TOOL FOR SHAPING FUTURE OF YOUNG GENERATIONS | 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 |
| 94 | SAFEVENT | SAFEVENT: NEW GENERATION OF FIRE-RESISTANT HVAC DUCTS & FITTINGS | 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 |