Opendata, web and dolomites

H2020 projects about "logic"

The page lists 257 projects related to the topic "logic".

# achronym  title  year 
1 RCMS Rethinking Container Management Systems 2015
2 FLEXILOG Formal lexically informed logics for searching the web 2015
3 CoqHoTT Coq for Homotopy Type Theory 2015
4 COMPUCELL Autonomous Cellular Computers for Diagnosis 2015
5 HEROIC High-frequency printed and direct-written Organic-hybrid Integrated Circuits 2015
6 NCP_WIDE.NET Transnational Network of cooperation for WIDESPREAD NCPs 2015
7 NEURAMORPH Dynamics of Amorphous Semiconductors: Intrinsic Nature and Application in Neuromorphic Hardware 2015
8 IQCC Integrated quantum correlation counter 2015
9 LORIX Large Organic Robust Imager for X-ray sensing 2015
10 MERID Middle East Research and Innovation Dialogue 2015
11 LaDIST Large Discrete Structures 2015
12 SWH Demonstration of a Binary-Logic Hybrid Transmission for Heavy-Duty Vehicles 2014
13 LAST CHANCE New super-energy efficient non-volatile memory manufacturing – bringing Europe back on the semiconductor track 2014
14 SEREN 3 Security Research NCP Network 3 2015
15 MODFIN Model theory of finite and pseudofinite structures 2016
16 SiCWIRE Silicon Carbide Nanowires for Electronic and biosensing applications 2016
17 SPIN3 Spin triplet pairings in ferromagnet Josephson junctions 2015
18 LOGIVIS The logics of information visualisation 2015
19 FOREMOTIONS Formal Frameworks for Modal Notions Conceived as Predicates 2016
20 2D Hetero-architecture Engineered two-dimensional hetero-architectures for nanoelectronics 2016
21 GroupsComputability Algorithms in algebra and topology 2015
22 SPERONI Sperone Speroni (1500-1588) and the Rebirth of Sophistry in the Italian Renaissance 2015
23 ReACT A Realizability Approach to Complexity Theory 2015
24 2DSi Magnetic Sensors based on Two-Dimensional Materials/Si 2015
25 ProLeMAS ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems 2015
26 LV-Pri20 Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT 2015
27 SME CoachLT Establishing services enhancing the innovation management capacity of SME's in the Lithuanian Enterprise Europe Network consortia 2014
28 AUTAR A Unified Theory of Algorithmic Relaxations 2015
29 9 SALT Reassessing Ninth Century Philosophy. A Synchronic Approach to the Logical Traditions 2015
30 HyFast HyFast - Fast hydrogen fueling and long range for fuel cell vehicles 2015
31 OPTEPLA Open OBDII Telematics Platform - OPTEPLA 2015
32 PreLog Precursors of logical reasoning in human infants 2015
33 EcoMultiCloud Hierarchical Approach for Green Workload Management in Distributed Data Centers reducing energy bill and carbon footprint 2015
34 DuaLL Duality in Formal Languages and Logic - a unifying approach to complexity and semantics 2015
35 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
36 OlfSwitch OlfSwitch: Neural circuit switches from molecules to behaviour 2015
37 SYMCAR Symbolic Computation and Automated Reasoning for Program Analysis 2016
38 INSULATRONICS Controlling Electric Signals with Insulating Antiferromagnets and Insulating Ferromagnets 2015
39 RESCUE REsistive-Switch CompUting bEyond CMOS 2015
40 CyberCare Integrated Sensing Architectures and Tools for Health Care 2016
41 DFLOW Duality For Logic On Words 2016
42 MASCP Mechanisms of alternative pre-mRNA splicing regulation in cancer and pluripotent cells 2015
43 Novel Calorimetry Exploring the Terascale at LHC with Novel Highly Granular Calorimeters 2015
44 FutureAgriculture Transforming the future of agriculture through synthetic photorespiration 2016
45 GREAT heteroGeneous integRated magnetic tEchnology using multifunctional standardized sTack (MSS) 2016
46 L3MATRIX Large Scale Silicon Photonics Matrix for Low Power and Low Cost Data Centers 2015
47 Body Interact Body Interact - Training skills environment to improve patient safety and medical education 2015
48 NEWCORT Novel Processes and Equipment in Composite Repair Technology 2016
49 INSIGHT Integration of III-V Nanowire Semiconductors for next Generation High Performance CMOS SOC Technologies 2015
50 MAGICAL CMOS/magnetoelectronic Integrated Circuits wil Multifunctional Capabilities 2015
51 SYSMICS Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. 2016
52 ETNA 2020 European Transport Network Alliance 2020 2016
53 MIREL MIREL - MIning and REasoning with Legal texts 2016
54 TANGO Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation 2016
55 SEAQUEL Structured Ensembles of Atoms for Quantum Engineering of Light 2016
56 SecureCloud Secure Big Data Processing in Untrusted Clouds 2016
57 SCULTMARKET Feasibility Study to Combat Physical Inactivity and Improve Sporting Skills through SCULT Sport Mentors and Coaches Marketplace 2016
58 Magintlec Controlling interfacial spin effects in magnetic devices through applied electric fields 2016
59 BioCircuit Programmable BioMolecular Circuits: Emulating Regulatory Functions in Living Cells Using a Bottom-Up Approach 2016
60 ANaPSyS Artificial Natural Products System Synthesis 2016
61 SNSNEWS The new flow of news : how social network sites transform news organization and citizens political behavior 2016
62 QuModQu Quantification and modality in the realm of questions 2016
63 PROJESTOR PROJECTED MEMRISTOR: A nanoscale device for cognitive computing 2016
64 ETC-VSL Efficient Traffic Control with Variable Speed Limits: Bridging the gap between Theory and Practical Implementation 2017
65 JUSECON Legal rights and the political economy of debt and austerity in Europe 2017
66 FPGA Accelerators Energy Efficient FPGA Accelerators for Graph Analytics Applications 2016
67 QuP Long Range Surface Plasmon Polaritons as an Alternative Information Carrier for Nanoscale Quantum Circuitry 2016
68 GROUPNIP Model theory of groups in NIP theories 2017
69 ANSWER Autonomous Soft Robots Without Electronics 2016
70 ARGUE_WEB Probabilistic Argumentation on the Web 2016
71 LoGIcInMAS Logics and Games for Imperfect Information in Multi-Agent Systems 2016
72 SLMK The Scope and Limits of Mathematical Knowledge 2016
73 CSP-Infinity Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones 2016
74 LIPA A unified theory of finite-state recognisability 2016
75 WIRE2016 WIRE2016 - The Power of Ecosystems 2016
76 PRIME Ultra-Low PoweR technologIes and MEmory architectures for IoT 2015
77 Milli-Tech Milli-Volt Switch Technologies for Energy Efficient Computation and Sensing 2016
78 HPEM2GAS High Performance PEM Electrolyzer for Cost-effective Grid Balancing Applications 2016
79 CONPOL Contexts, networks and participation: The social logic of political engagement 2016
80 BodyCapital The healthy self as body capital: Individuals, market-based societies and body politics in visual twentieth century Europe. 2016
81 INTEGRAL Signal Integration by Gene Regulatory Landscapes 2016
82 REGPROP Regularity properties, definability and combinatorics on the real line. 2017
83 IOTI4.0 Integral Open Technology for Industry 4.0 2016
84 SuperMagnonics Supercurrents of Magnon Condensates for Advanced Magnonics 2016
85 SQuaPh Scalable Quantum Photonics with Ultra Bright Photon Sources 2016
86 PHONON-VALVE Designing Novel Phonon Valve Device through Ferroic Domain Wall Engineering 2016
87 LoC The Logic of Conceivability: Modelling Rational Imagination with Non-Normal Modal Logics 2017
88 GEOFIN Western banks in Eastern Europe: New geographies of financialisation 2016
89 Gandhian Politics Re-Exploring the Logic of Gandhian Violence: Gandhi and his Followers in the Quit India Movement, Bengal 1942-45 2016
90 QUARTZ Quantum Information Access and Retrieval Theory 2017
91 TREPISTEME Formal Truth in Epistemology 2016
92 SKIN Short supply chain Knowledge and Innovation Network 2016
93 SPLICECODE Alternative Splicing Codes for Synaptic Specificity 2016
94 PACT Proof-theoretical Approaches to Concurrency Theory 2016
95 DITAS DITAS: Data-intensive applications Improvement by moving daTA and computation in mixed cloud/fog environmentS 2017
96 SWING Patterning Spin-Wave reconfIgurable Nanodevices for loGics and computing. 2016
97 MARINE-EO Bridging Innovative Downstream Earth Observation and Copernicus enabled Services for Integrated maritime environment, surveillance and security 2017
98 FLICs Enabling flexible integrated circuits and applications 2017
99 Wonderlogix STUDIO Wonderlogix STUDIO: Towards Seamless Industrial Control 2016
100 CID Computing with Infinite Data 2017
102 PHASE-CHANGE SWITCH Phase-Change Materials and Switches for Enabling Beyond-CMOS Energy Efficient Applications 2017
103 NANOINFER Intelligent Memories that Perform Inference with the Physics of Nanodevices 2017
104 COSMHYC COmbined hybrid Solution of Multiple HYdrogen Compressors for decentralised energy storage and refuelling stations 2017
105 NeuroAgents Neuromorphic Electronic Agents: from sensory processing to autonomous cognitive behavior 2017
106 Terpy2DMat Tuning of 2D materials properties through controlled functionalization with opto-electroactive complexes 2017
107 Mathador Type and Proof Structures for Concurrent Software Verification 2017
108 ENERGIZE Efficient Energy Management for Greener Aviation 2017
109 CALITO CAbin LIning auTOmation 2017
110 iGear Intelligent Gearbox for Endurance Advanced Rotorcraft 2017
111 Requirement Robot Software Robot Requirements: Automating requirement extraction and Analysis 2017
112 TeleoLogic Logical and Psychological Foundations for a Teleosemantic Theory of Productivity 2017
113 HISMACITY-pro Historical Small Smart City Protocol for integrated interventions. 2017
114 SKDWONTRACK Room temperature stabilization and all-electrical manipulation of chiral spin structures in metallic multilayers 2018
115 SUPERSPIN Superconducting Spintronics for Highly Energery Efficient Cryogenic Memory Applications 2017
116 QUAKE4PRELIMAT Quantum Kinetic Equations for Pre-thermal Light and Matter 2018
117 INSPIRING-SNI INvestigating SDN Programmability ImpRovING optical South- and North- bound Interfaces 2018
118 PerovSiC Synergistic Resistive Switching of Perovskite and Silicon Carbide materials for Advanced ReRAM micro Devices 2017
119 CKI Counterfactual Knowledge from the Imagination 2018
120 TF-bind Determinants Genomic binding of transcription factors as a function of DNA affinity and chromatin. 2017
121 MiLC Monotonicity in Logic and Complexity 2017
122 TOPONANOP Topological nano-photonics 2017
123 TherSpinMol Exploring Thermoelectric and Spintronic properties of Molecular Devices 2017
124 FAST Fast electronics with Antiferromagnetic SpinTronics 2017
125 GoSMEs Governance and value-creation in SMEs in a service-dominant logic 2017
126 RED-Alert Real-time Early Detection and Alert System for Online Terrorist Content based on Natural Language Processing, Social Network Analysis, Artificial Intelligence and Complex Event Processing 2017
127 FUSION The effects of financial capital accumulation on employment and wealth distribution 2017
128 AF-Cyber Logic-based Attribution and Forensics in Cyber Security 2018
129 MAPS MAPS – Migrants And People Smugglers: A Comparative Study of Smuggling Networks in the Eastern Mediterranean and the Central American corridors 2017
130 cis-CONTROL Decoding and controlling cell-state switching: A bottom-up approach based on enhancer logic 2017
131 ASPIN Antiferromagntic spintronics 2017
132 COPAC Coherent Optical Parallel Computing 2017
133 HEART Holistic Energy and Architectural Retrofit Toolkit 2017
134 PHONUIT Phononic Circuits: manipulation and coherent control of phonons 2018
135 CRIMTANG Criminal Entanglements.A new ethnographic approach to transnational organised crime. 2018
136 CellKarma Dissecting the regulatory logic of cell fate reprogramming through integrative and single cell genomics 2018
137 EXPRESS From the Expression of Disagreeement to New Foundations for Expressivist Semantics 2018
138 Co-VAL Understanding value co-creation in public services for transforming European public administrations 2017
139 OK-Net EcoFeed Organic Knowledge Network on Monogastric Animal Feed 2018
140 LinPro Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development 2017
141 LogNeuroDev The molecular and cellular logic of vertebrate neural development 2018
142 ChromoCats The geometry of chromatic categories 2018
143 Real-PIM-System Memristive In-Memory Processing System 2018
144 CounterLIGHT Interaction and Symmetry Breaking of Counterpropagating Light 2018
145 THEKAISERSMOSQUES Islamic architecture and Orientalizing style in Habsburg Bosnia, 1878-1918 2018
146 E2DATA European Extreme Performing Big Data Stacks 2018
147 MNEMOSENE Computation-in-memory architecture based on resistive devices 2018
148 3eFERRO Energy Efficient Embedded Non-volatile Memory Logic based on Ferroelectric Hf(Zr)O2 2018
149 Soft-Landing The Soft-Landing Project 2017
150 Avionero Avionero – a new standard in flight search 2017
151 NUCLEARWATERS Putting Water at the Centre of Nuclear Energy History 2018
152 QRES Transforming the limits of resolution by utilizing quantum information 2018
153 GrowthControl Mechanical and systemic control of growth during Drosophila abdominal development 2018
154 Acclimatize Hypothalamic mechanisms of thermal homeostasis and adaptation 2018
155 IMIC Inner models and infinite computations 2018
156 CF3-DIAZOMETHYLATOR Photocatalytic C–H Bond CF3-diazomethylation 2018
157 EpiLog The Unknown Science: Understanding the Epistemology of Logic through Practice 2018
158 PEP2D Printable Electronics on Paper through 2D materials based inks 2018
159 PARADA Parallel Donor and Acceptor Semiconductor Crystals for Organic Field Effect Transistors 2018
160 DeciGUT A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation 2018
161 DYCODE The Dynamics of Constructive Deliberation 2018
162 SynBioBrain Building biological computers from bacterial populations 2018
163 MMGNRs Molecular Magnetic Graphene Nanoribbons 2019
164 ASTRID AddreSsing ThReats for virtualIseD services 2018
165 Lingua The Early Romantic Theory of Language: Experimental linguistics around 1800 2019
166 GODELIANA The Gödel Enigma: Unveiling a Hidden Logical Heritage 2018
167 REvolTURN Managing Migrant Return through 'Voluntariness' 2018
168 hetero-switch Smart heterostructures based on 2D materials and switching magnetic molecules. 2019
169 LOFUPRO The Logical Function of Property Talk 2018
170 Worldsoflabour Entangled Worlds of Labour: The Advance of Flexible Capitalism in Eastern Europe 2019
171 MUST Magnetoelectric Ultra-low-power Spin-wave Transducers 2018
172 InfCSP Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems 2018
173 EuSuper Superconducting Magnetic RAM for Next Generation of Supercomputers 2018
174 FunSilting Functorial techniques in silting theory 2018
175 TRANSPHILEUR TOWARD A PHILOSOPHICAL RETHINKING OF TRANSLATION: Effects of Translation in aContemporary European Space 2018
176 PolyBar A new approach to polymorphism through bar recursion 2018
177 WAKeMeUP Wafers for Automotive and other Key applications using Memories, embedded in Ulsi Processors 2018
178 TAPES3 Technology Advances for Pilotline of Enhanced Semiconductors for 3nm 2018
179 SEREN 4 SEcurity REsearch NCP network 4 2018
180 BioMet Selective Functionalization of Saturated Hydrocarbons 2018
181 NeuroStemCircuit Neural Circuit Regulation of Adult Brain Stem Cells 2018
182 CHIRON Spin Wave Computing for Ultimately-Scaled Hybrid Low-Power Electronics 2018
183 Solar Bank Virtual Energy Trading IT System to couple photovoltaic production and electric vehicles charging. 2018
184 AutoTADes Automating Timed Automata Design 2018
185 E-FREE E-FREE (Smart Solutions): Towards a more ECO, HEALTHY and SAFE environment in every single lighting scenario. 2018
186 ViSOT Infrastructure for Virtuosity Services Over the Top 2018
187 LOGIC LAB Molecular logic lab-on-a-vesicle for intracellular diagnostics 2018
188 MicroQC Microwave driven ion trap quantum computing 2018
189 BIO - PHOENIX Biologically Inspired Complex Software System Reconstruction at Near Extinction States 2019
190 REMIND Renewable Energies for Water Treatment and REuse in Mining Industries 2018
191 E-BRAKE Design, Manufacturing and Qualification up to TRL5 of Innovative Electro-Mechanical BRAKE actuation System for SAT Application 2018
192 IoTMemory Next generation of memory for the age of IoT 2018
193 RADON Rational decomposition and orchestration for serverless computing 2019
194 QUEFORMAL Quantum Engineering for Machine Learning 2019
195 WEARPLEX Wearable multiplexed biomedical electrodes 2019
196 CerQuS Certified Quantum Security 2019
197 SYMELS Symbol Elimination in Reliable System Engineering 2019
198 DIAPASoN Differential Program Semantics 2019
199 Algo-Grid Platform for Operations and Maintenance Management of Power Smart Grids based on advanced algorithms and artificial intelligence 2019
200 MY-CUBE 3D integration of a logic/memory CUBE for In-Memory-Computing 2019
201 iDysChart Charting key molecules and mechanisms of human immune Dysregulation 2019
202 InterPol Interfacing interacting Rydberg polaritons: From few- to many-body interactions 2019
203 RESWITCH Redox-Controlled Resistive Switching in Hybrid Metal-Organic Thin Films towards Neuromorphic Computing 2019
204 AmygdalaNeuroMod Unraveling the combinatorial logic of amygdala neuromodulation in decision-making and learning. 2020
205 COART-INT Decentralizing Conceptual Art's Internationalism: Latin American artists in Western Europe, 1968-1979 2019
206 LINSEC The Logic of Informal Security Cooperation: Counterterrorism Intelligence-sharing in Europe 2020
207 ACHROMAS Novel Materials Based on Alkali Chromites and Manganites for the Generation of Magnetic Skyrmions 2019
208 LiquidEff LiquidEff: Algebraic Foundations for Liquid Effects 2019
209 CHROMPART Partition calculus on graphs, digraphs and hypergraphs with uncountable chromatic number 2020
210 D-FINED Duality for Finite Models: Relating Structure and Power 2020
211 BICACH Novel bifunctional HAT catalysts for site-divergent C-H functionalizations mediated by photoredox catalysis 2019
212 INFINITY Infinity in Mathematics: A Philosophical analysis of Critical Views of Infinity 2019
213 SemioMaths Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora 2019
214 NeT-HiDeA New Times at Work. Rethinking History and Politics through Delay and Anticipation 2020
215 ProTOC Functional Electrical Contacts to Two-Dimensional Materials with Tunable Interfacial Oxides 2019
216 AMPLE A Study of the Notion of Ampleness in Model Theory and Tits Buildings 2019
217 LICONAMCO Light-controlled nanomagnetic computation schemes 2019
218 INdifference The Interpretation of Differentia during Late Antique and Early Christian Thought 2020
219 CALCULATORES Imaginable Impossibilities and Thought Experiments. The Tradition of the Oxford Calculators and its Influence on Early-Modern Logic and Natural Philosophy 2019
220 MathematicsAnalogies Mathematics Analogies 2019
221 PIN3S Pilot Integration of 3nm Semiconducter technology 2019
222 SUPRA2DMAT Supramolecular engineering of multifunctional systems and devices: the molecular approach to 2D materials 2019
223 WhiteMech White-Box Self-Programming Mechanisms 2019
224 GRID Spreadsheets run the world. We run spreadsheets. 2019
225 FRESCO FeRroElectric control of Spin-charge interCOnversion 2020
226 DEFGROUP Definable and pseudofinite groups 2020
227 hSAI Predictive and adaptative algorithms for Smart cities, HR and Finance Industries 2019
228 SPRING SPin Research IN Graphene 2019
229 SMAR-TeR Next Generation of SMARt Active Inceptor for Tilt Rotor Application 2019
230 FPPAs Field Programmable Photonic Arrays 2019
231 XAI Science and technology for the explanation of AI decision making 2019
232 TeraSlice Terahertz Analogue-to-Digital Conversion Using Photonic Chipscale Soliton Frequency Combs and Massively Parallel Spectrally Sliced Detection 2020
233 SUNSTONE OMTLAB’s Real time positioning system for smart & flexible manufacturing 2019
234 QUIST Quantum information transfer between hole spins and topological states 2019
235 CN Identity Comprehensive anatomical, genetic and functional identification of cerebellar nuclei neurons and their roles in sensorimotor tasks 2019
236 GelGeneCircuit Cancer heterogeneity and therapy profiling using bioresponsive nanohydrogels for the delivery of multicolor logic genetic circuits. 2020
237 MELON Memristive and multiferroic materials for emergent logic units in nanoelectronics 2020
238 CoachingRituals Coaching as a social ritual: acting on people in a liberal-individualistic society (parenting, education, mental health care) 2020
239 HADRIAN Holistic Approach for Driver Role Integration and Automation Allocation for European Mobility Needs 2019
240 PLASTINET Plasticity of the Pluripotency Network 2020
241 BeFerroSynaptic BEOL technology platform based on ferroelectric synaptic devices for advanced neuromorphic processors 2020
242 ZeroAMP Nanomechanical Switch-Based Logic and Non-Volatile Memory for Robust Ultra-Low Power Circuits 2020
243 mecasa-AI Inclusive innovation bringing the digitalizing world to the changing care needs and preferences of Europe’s ageing population 2020
244 DDREAMM Dna Damage REsponse: Actionabilities, Maps and Mechanisms 2020
245 ELFO Electronic Food: enabling edible electronic systems for biomedical and food monitoring applications 2020
246 JustCity The Just City: The Ciceronian Conception of Justice and Its Reception in the Western Tradition 2020
247 ChromatinLEGO Chromatin readout: Dissecting the protein-chromatin interaction code in living cells 2020
248 LEAFHOUND Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications 2020
249 EXTREMA Engineering Extremely Rare Events in Astrodynamics for Deep-Space Missions in Autonomy 2020
250 ATRONICS Creating building blocks for atomic-scale electronics 2020
251 SOTMEM Topological Insulator-Based Spin Orbit Torque MEMories 2020
252 MCT Metacomputational Complexity Theory 2020
254 PROCESS REASONING Reasoning about processes: a logico-philosophical investigation 2021
255 PhantomAiD Phantom Possession. The New Authoritarian Personality and its Domains. 2020
256 BioMaGic Design of biomaterials with enzymatic logic gates 2021
257 CiliaCircuits Molecular Principles of Mammalian Axonemal Dynein Assembly 2020