Opendata, web and dolomites

H2020 projects about "formal"

The page lists 323 projects related to the topic "formal".

# achronym  title  year 
1 DIVERSIFOOD Embedding crop diversity and networking for local high quality food systems 2015
2 EfficienSea 2 EfficienSea 2 - Efficient, Safe and Sustainable Traffic at Sea 2015
3 MathAm Mathematical Structures in Scattering Amplitudes 2015
4 EQUALIZE Equalizing or disequalizing? Opposing socio-demographic determinants of the spatial distribution of welfare. 2015
5 COMPUTED Computational User Interface Design 2015
6 SYNTECH Synthesis Technologies for Reactive Systems Software Engineers 2015
7 MindBendingGrammars Mind-Bending Grammars: The dynamics of correlated multiple grammatical changes in Early Modern English writers 2015
8 BACI Detecting changes in essential ecosystem and biodiversity properties – towards a Biosphere Atmosphere Change Index: BACI 2015
9 IN LIFE INdependent LIving support Functions for the Elderly 2015
10 iManageCancer iManageCancer - Empowering patients and strengthening self-management in cancer diseases 2015
11 ehcoBUTLER ehcoBUTLER. A global ecosystem for the independent and healty living of elder people with mild cognitive impairments. 2015
12 myAirCoach Analysis, modelling and sensing of both physiological and environmental factors for the customized and predictive self-management of Asthma 2015
13 HEARTEN A co-operative mHEALTH environment targeting adherence and management of patients suffering from Heart Failure 2015
14 UnCoVerCPS Unifying Control and Verification of Cyber-Physical Systems 2015
15 ALIGNED Aligned, Quality-centric Software and Data Engineering 2015
16 HyVar Scalable Hybrid Variability for Distributed Evolving Software Systems 2015
17 CP-SETIS Towards Cyber-Physical Systems Engineering Tools Interoperability Standardisation 2015
18 No One Left Behind No One Left Behind 2015
19 Idealist2018 Transnational Cooperation among ICT NCPs 2015
20 TRANSLITERACY Exploiting transmedia skills and informal learning strategies to improve formal education 2015
21 RINEA Research and Innovation Network for Europe and Africa 2015
22 SPOOC Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols 2015
23 I-LINC Platform for ICT learning and inclusion for youth employability and entrepreneurship 2015
24 SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Networked Systems 2015
25 PAW Automated Program Analysis for Advanced Web Applications 2015
26 PARTISPACE Spaces and Styles of Participation. Formal, non-formal and informal possibilities of young people’s participation in European cities. 2015
27 REVALUE Recognising Energy Efficiency Value in Residential Buildings 2015
28 MEnS Meeting of Energy Professional Skills 2015
29 STEAM-UP STEam And Management Under Pressure 2015
30 SeaChange Sea Change 2015
31 ECOROADS Effective and COordinated ROAD infrastructure Safety operations 2015
32 EDUCEN European Disasters in Urban centres: a Culture Expert Network (3C – Cities, Cultures, Catastrophes) 2015
33 Walgo What is an Algorithm? Extensional and Intensional Equivalences between Programs 2015
34 RContext Radical Contextualism and the Science of Meaning 2015
35 Carnap and the Limits of Metaphysics Carnap and the Limits of Metaphysics 2015
36 ALGOVIS Algorithmic Approaches to Spatially-Informed Information Visualization 2015
38 LOGIVIS The logics of information visualisation 2015
39 DoRoThy Donating Robots a Theory of Mind 2015
40 socialog Social Capital, Institutional Accessibility and Local Governance 2016
41 HORIP Higher-Order Rewriting for Intensional Properties of Programs and Circuits 2015
42 FOREMOTIONS Formal Frameworks for Modal Notions Conceived as Predicates 2016
43 MigrWorkers The Race, Class and Gender of Transnational Urban Labour: Romanian Workers in the Cities of London and NYC 2015
44 GLOID Genetic and Lifestyle Origins of Inflammation in Depression 2015
45 EmotionalActions Understanding Emotional Actions 2015
46 ProLeMAS ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems 2015
47 LV-Pri20 Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT 2015
48 ICH-Bildung The Impact of Intangible Cultural Heritage (ICH) in formal, non-formal and informal education and its contribution to the Key Competences for Lifelong Learning in the EU Reference Framework 2015
49 COSMOS Optical point of care system for heart failure mass screening 2015
50 HepatoRiSK A new tumor suppressor role for RSK2 in hepatocellular carcinoma 2015
51 EcoSpacePropulsion Piloting and upscaling the unique on site and mobile production plants for highly concentrated Hydrogen peroxide (HTP) production for space industry applications 2015
52 UNCAP Ubiquitous iNteroperable Care for Ageing People 2015
53 eStandards eHealth Standards and Profiles in Action for Europe and Beyond 2015
54 MenWomenCare Men, Women and Care: The gendering of formal and informal care-giving in interwar Britain 2015
55 CutLoops Loop amplitudes in quantum field theory 2015
56 corr-DFT Improving the accuracy and reliability of electronic structure calculations: New exchange-correlation functionals from a rigorous expansion at infinite coupling strength 2015
57 PreLog Precursors of logical reasoning in human infants 2015
58 E-SPACE European Standardised Process Approach to Cognitive Evaluation in older people 2016
59 CEITER Cross-Border Educational Innovation thru Technology-Enhanced Research 2015
60 DuaLL Duality in Formal Languages and Logic - a unifying approach to complexity and semantics 2015
61 TEST-IC Integrated Cicuit Testing Software 2015
62 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
63 AI4REASON Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 2015
64 INNOWAVE Maximising the technical and economic performance of real wave energy devices 2016
65 CREATIONS CREATIONS - Developing an Engaging Science Classroom 2015
66 EDISON Education for Data Intensive Science to Open New science frontiers 2015
67 CyberCare Integrated Sensing Architectures and Tools for Health Care 2016
68 ANT Automata in Number Theory 2015
69 DFLOW Duality For Logic On Words 2016
70 BRAINCOMPATH Mesoscale Brain Dynamics: Computing with Neuronal Pathways 2016
71 TeSLA An Adaptive Trust-based e-assesment System for Learning 2016
72 AFEL AFEL - Analytics For Everyday Learning 2015
73 BEACONING Breaking Educational Barriers with Contextualised, Pervasive and Gameful Learning (BEACONING) 2016
74 ACO The Proceedings of the Ecumenical Councils from Oral Utterance to Manuscript Edition as Evidence for Late Antique Persuasion and Self-Representation Techniques 2016
75 FOVEDIS Formal specification and verification of distributed data structures 2016
76 JCR Judicial Conflict Resolution: Examining Hybrids of Non-adversarial Justice 2016
77 CoVeCe Coinduction for Verification and Certification 2016
78 SYSMICS Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. 2016
79 MIREL MIREL - MIning and REasoning with Legal texts 2016
80 MATHISIS Managing Affective-learning THrough Intelligent atoms and Smart InteractionS 2016
82 YOUNG_ADULLLT Policies Supporting Young People in their Life Course. A Comparative Perspective of Lifelong Learning and Inclusion in Education and Work in Europe 2016
83 SOPHIA Securing Software against Physical Attacks 2016
84 ProFoundNet Probabilistic Foundations for Networks 2016
85 CIRCUS An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications 2016
86 RustBelt Logical Foundations for the Future of Safe Systems Programming 2016
87 HARA Human-Animal Relationships in Archaeology: World Views of Hunter-gatherers in NorthernEurope 2016
88 TransNic Enantioselective Nickel-Catalyzed trans-Carbometallative Couplings and Cyclizations 2016
89 Degrees of Belief The Nature of Degrees of Belief 2017
90 LoGIcInMAS Logics and Games for Imperfect Information in Multi-Agent Systems 2016
91 SLMK The Scope and Limits of Mathematical Knowledge 2016
92 QDM Quantum Decision Making 2016
93 FAHMRRR Focus alternatives in the human mind: Retrieval, representation, and recall 2016
94 DECOR Decorative Principles in late Republican and early Imperial Italy 2016
95 YOUTHBLOCS Youth illegal political involvement in an intergenerational perspective 2016
96 EDU-DEM Democratization through Education? The role of education in strengthening civil agency and voice in Sub-Saharan Africa. (Case study: Uganda) 2016
97 STEM4youth Promotion of STEM education by key scientific challenges and their impact on our life and career perspectives 2016
98 MinimalSelf Embodiment, Intersubjectivity, and the Minimal Self 2016
99 reSEARCH Re(search) 2016
100 MONESE Innovative banking model for improved financial and economic inclusion of population groups that find it difficult to open a traditional bank account 2016
101 EXPANDCUSTOM Expanding and widening customized design-based consumer goods access 2016
102 BROKERS Participatory Urban Governance between Democracy and Clientelism: Brokers and (In)formal Politics 2016
103 MiTSoPro Migration and Transnational Social Protection in (post-)crisis Europe 2016
104 K3CRYSTAL Moduli of Crystals and K3 Surfaces 2016
106 CLIMASLOW Slowing Down Climate Change: Combining Climate Law and Climate Science to Identify the Best Options to Reduce Emissions of Short-Lived Climate Forcers in Developing Countries 2017
107 CATMEC Catalytic Methods for Sustainable Synthesis. A Merged Experimental and Computational Approach 2017
108 ETHOS Towards a European THeory Of juStice and fairness 2017
109 WARMUSIC The War on Music. Heritage, Islam and Peacekeeping in relation to the Islamist attacks in Mali 2017
110 TREPISTEME Formal Truth in Epistemology 2016
111 PACT Proof-theoretical Approaches to Concurrency Theory 2016
112 ECHOES Energy CHOices supporting the Energy union and the Set-plan 2016
113 MiMo Inference in Microeconometric Models 2017
114 ESROCOS European Space Robot Control Operating System 2016
116 eCraft2Learn Digital Fabrication and Maker Movement in Education: Making Computer-supported Artefacts from Scratch 2017
117 Up2U Up to University - Bridging the gap between schools and universities through informal education 2017
118 GATES Applying GAming TEchnologies for training professionals in Smart Farming 2017
119 FocusLocus FocusLocus: ADHD management Gaming System for educational achievement and social inclusion 2016
120 EPRISE Empowering Photonics through Regional Innovation Strategies in Europe 2017
121 AMORE A distributional MOdel of Reference to Entities 2017
122 CERBERO Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments 2017
123 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
124 QUALIDEM Eroding Democracies. A qualitative (re-)appraisal of how policies shape democratic linkages in Western democracies 2017
125 LCLW Literary Communities and Literary Worlds 2017
126 ILIAD Intra-Logistics with Integrated Automatic Deployment: safe and scalable fleets in shared spaces 2017
127 STRUCTURALISM The Roots of Mathematical Structuralism 2017
128 SECOMP Efficient Formally Secure Compilers to a Tagged Architecture 2017
129 FREEMIND FREE the MIND: the neurocognitive determinants of intentional decision 2017
130 CoSaQ Cognitive Semantics and Quantities 2017
132 POPSTAR Reasoning about Physical properties Of security Protocols with an Application To contactless Systems 2017
133 NARMESH Narrating the Mesh: Ecology and the Non-Human in Contemporary Fiction and Oral Storytelling 2017
134 QUALITY Qualitative and Quantitative Social Science: Unifying the Logic of Causal Inference? 2017
135 Mathador Type and Proof Structures for Concurrent Software Verification 2017
136 SYSTEMATICGRAPH Systematic mapping of the complexity landscape of hard algorithmic graph problems 2017
137 HoplaCare Advanced e-marketplace for a new way of purchasing and sharing Home Care Services and Assisted Living Technologies 2017
138 TRoMBONE Therapy for regeneration of Heart Muscle based on targeted delivery of exosomes 2017
139 Requirement Robot Software Robot Requirements: Automating requirement extraction and Analysis 2017
140 TeleoLogic Logical and Psychological Foundations for a Teleosemantic Theory of Productivity 2017
142 ThReDS A Theory of Reference for Distributional Semantics 2017
143 EU-Drones The European Commission in Drone Community: a New Cooperation Area in the Making 2017
144 ILBIB Ireland and Late-Georgian British Imaginings of Belonging: With Particular Reference to William Wordsworth 2017
145 ATiNaRI Asynchronous Time-domain Neural Recording Interfaces 2017
146 HiProLoop Scattering Amplitudes for Higgs Production at High-Order as touchstone for Automated Multiloop Feynman Calculus 2018
147 WILDCAT Wildcat Economics: Informal Mining and Gold from the Global Margins in Contemporary Latin America 2017
148 MOPEAD Models Of Patient Engagement for Alzheimer’s Disease - Sofia ref.: 115985 2016
149 Urban Informality Capital Accumulation Through Informal Urbanization in India 2017
150 RaSiR Rule-algebraic Simple Rewriting 2017
151 UNCERTAINPOWER Uncertain Power: Representing the king in the Portuguese empire (1640-1750) 2017
152 ENCIRCLE European Cbrn Innovation for the maRket CLuster 2017
153 REGAIN REGionalism And INstututional dynamics in the EU 2017
154 TARGET TAking a Reflexive approach to Gender Equality for institutional Transformation 2017
155 SEDNA Safe maritime operations under extreme conditions: the Arctic case 2017
156 DYNAMINT Dynamics of Probed, Pulsed, Quenched and Driven Integrable Quantum Systems 2017
157 HALOBORYLATION Electrophilic-induced asymmetric boronate rearrangements via CAPT catalysis. A novel approach towards the formal trifunctionalization of alkenes. 2017
158 PATHS The Paths of International Law: Stability and Change in the International Legal Order 2017
159 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
160 NOSCEMUS Nova Scientia. Early Modern Scientific Literature and Latin 2017
161 DATAMINE4.0 Advanced Data Modeling and Analysis Applied to next Generation Industry 4.0 settings and the Internet of Things 2018
162 NewLoops Higher-loop amplitudes on the sphere: a new approach to the perturbative expansion of quantum field theories 2017
163 SLICE3D Slovenian Centre of Excellence on 3D geodata 2017
164 CerQUIT Certifying Large-scale Quantum Information Technologies 2018
165 CSRC Center for STEAM Education Research, Science Communication and Innovation 2017
166 BIOPOLIS Teaming to Upgrade Excellence in Environmental Biology, Ecosystem Research and AgroBiodiversity 2017
167 ASTRail SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation 2017
168 INTAC The International Register of Academic Job Categories. Facilitating Careers in the European Research Area 2017
169 X2RAIL-2 Enhancing railway signalling systems based on train satellite positioning, on-board safe train integrity, formal methods approach and standard interfaces, enhancing Traffic Management System functions 2017
170 RUN2Rail Innovative RUNning gear soluTiOns for new dependable, sustainable, intelligent and comfortable RAIL vehicles 2017
171 AfricanWomen Women in Africa 2018
172 EUROMIX Regulating mixed intimacies in Europe 2017
174 SVIS Supervised Verification of Infinite-State Systems 2018
175 PMSB Principles of Musical Structure Building: Theory, Computation, and Cognition 2018
176 CEASEVAL Evaluation of the Common European Asylum System under Pressure and Recommendations for Further Development 2017
177 EUMarineRobots Marine robotics research infrastructure network 2018
178 Precaution Being precautionary: how rational? How ethical? 2018
179 ViMoAct Modelling cortical information flow during visuomotor adaptation as active inference in the human brain 2017
180 CLINGLIO A Clinical Phase IIB trial with 2OHOA in patients with newly-diagnosed malignant glioma. 2017
181 NeuroLang Accelerating Neuroscience Research by Unifying Knowledge Representation and Analysis Through a Domain Specific Language 2018
182 THEKAISERSMOSQUES Islamic architecture and Orientalizing style in Habsburg Bosnia, 1878-1918 2018
183 nTRACK Multimodal nanoparticles for structural and functional tracking of stem cell therapy on muscle regeneration 2017
184 FutureTPM Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module 2018
185 EPICA EPICA - Strategic partnership for the co-design of an innovative and scalable eportfolio ecosystem to improve the quality and visibility of skills 2018
186 V-SPHERE Vulnerability Search and Prevention through Holistic End-to-end Risk Evaluation 2018
187 UNIVERSAL HEALTH Engaged Universals: Ethnographic explorations of ‘Universal Health Coverage’ and the public good in Africa 2018
188 BirNonArchGeom Birational and non-archimedean geometries 2018
189 ENIGMA Supervisor Control for ENhanced electrIcal enerGy MAnagement 2018
190 InnovOleum An innovative business model: turning domestic used cooking oil into renewable “fuel” for education and entrepreneurship 2018
191 GlueCore Mapping the 3-dimensional gluon structure of the proton 2018
192 iPER University students' negotiation of physics identity in informal physics programs 2018
193 PHOTOCAMSYN Photocatalytic Reductive Coupling of Imines: A New Platform for Chiral Amine Synthesis 2018
194 OptimisingIDS Optimisation of the linguistic input in the first years of life 2018
195 CoM_n_Play-Science Learning science the fun and creative way: coding, making, and play as vehicles for informal science learning in the 21st century 2018
196 CoMoRoC Comic Motifs in Romances of Chivalry of Spanish Golden Age 2018
197 DEBT Eliciting Preferences over Saving and Borrowing 2018
198 DYCODE The Dynamics of Constructive Deliberation 2018
199 EmpowerMarginalized Empowerment of marginalized convicted women through social enterprises 2019
200 PIXEL Port IoT for Environmental Leverage 2018
201 TouchDesign A Computational Design Approach to Haptic Synthesis 2018
202 WaSH-UPP Water, Sanitation and Hygiene in sub-Saharan Africa: Understanding Policy and Practice 2018
203 GODELIANA The Gödel Enigma: Unveiling a Hidden Logical Heritage 2018
204 MYlandOURland How Institutions Shape Culture: Survey and Experimental Evidence from a Large-Scale Land Tenure Reform Implemented as a Randomized Control Trial 2019
205 Learn2 Learning and Being in Sport: A Phenomenological Investigation 2019
206 LOFUPRO The Logical Function of Property Talk 2018
207 IPMRB Imprecise Probability Models of Rational Belief 2018
208 LowDegModCurve Low Degree Points on Modular Curves 2018
209 TRANSACT Book History and Translation History: Copyright, Wages, Censorship, and the (Proto-)Professionalisation of Translators in Nineteenth-Century Britain and Ireland 2018
210 TRANS-END Transgender and Intersex protection from gender-based violence: exploring new directions 2018
211 RCADE Reversible causally-consistent debugging of concurrent programs 2018
212 VeSPA Verification and Specification through Progress Abstractions 2018
213 SNANeB At the roots of Spatial Numerical Association: from behavioural observation to Neural Basis 2018
214 SEMSUBSET The Grammar of Inclusion: Exploring the Boundaries of Linguistic Competence 2019
215 WIDEA Wave-based Inspection for Damage Evaluation in structurally-Advanced composites 2019
216 IslamExpertEducation Educating Islamic experts in Western Europe: Between traditional and academized forms of knowledge formation and authority 2019
217 NEMoCuRe Role of S-Nitrosylation of epigenetic modifiers in vascular regeneration 2018
218 Entrans Energy Efficient Transprecision Techniques for Linear Solver 2018
219 PEREDEP Promoting E-Rulemaking in the EU through Deliberative Procedures 2018
220 HyThermEl Hybrid Thermoelectrics: From Model to Device 2019
221 SCIMOD Foundations of Model Based Science 2018
222 GlobalP3HS SSPH+ Global PhD Programme in Public Health Sciences 2018
223 SECURe Subsurface Evaluation of Carbon capture and storage and Unconventional Risk 2018
224 DIALLS DIalogue and Argumentation for cultural Literacy Learning in Schools 2018
225 CHIEF Cultural Heritage and Identities of Europe's Future 2018
226 HOWPER An open or closed process: Determining the global scheme of perception 2018
227 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
228 FORMKIN The formal demography of kinship and family 2018
229 See-ACC Cracking the Anterior Cingulate Code: Toward a Unified Theory of ACC Function 2019
230 ENPMUC Elites, networks, and power in modern urban China (1830-1949). 2018
231 SPAGAD Speech Acts in Grammar and Discourse 2019
232 Pomelody 2.0 Early childhood education eLearning framework, leveraging novel technology for a whole new way of learning music. 2018
233 BEMYEYES Be My Eyes - The mobile platform that allows sighted people to lend their eyes to the blind and visually impaired 2018
234 ADAFARM Small scale farmers’ sustainable adaptation strategies to climate change based on ecosystem services 2018
235 SIKB The Development of Students' Identities as Knowledge Builders 2018
236 GENESE 17 Geometries of Exotic NuclEar StructurE 17 2018
237 Promised Promoting Archaeological Science in the eastern Mediterranean 2018
238 RePAST Strengthening European integration through the analysis of conflict discourses: revisiting the past, anticipating the future 2018
239 ORISEM Sources of Meaning: Grounding Formal Semantics 2019
240 AQUASENSE Innovative Network for Training in wAter and Food QUality monitoring using Autonomous SENSors and IntelligEnt Data Gathering and Analysis 2018
241 STORIES European Researcher's Night in France 2018
242 MaMBoQ Macroscopic Behavior of Many-Body Quantum Systems 2019
244 TOROS A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems 2019
245 KAPIBARA Homotopy Theory of Algebraic Varieties and Wild Ramification 2019
246 SHERLOCK Seamless and safe human - centred robotic applications for novel collaborative workplaces 2018
247 REWOCRYPT Theoretically-Sound Real-World Cryptography 2019
248 GULAGECHOES Gulag Echoes in the “multicultural prison”: historical and geographical influences on the identity and politics of ethnic minority prisoners in the communist successor states of Russia Europe. 2018
249 SPARKs Static Analysis for the VErification of Spreadsheets 2019
250 EO4AGRI Bringing together the Knowledge for Better Agriculture Monitoring 2018
251 gE.CO Living Lab Generative European Commons Living Lab 2019
252 SmartWork Smart Age-friendly Living and Working Environment 2019
253 ELITR European Live Translator 2019
254 ECHO Early conditions, delayed adult effects and morbidity, disability and mortality in modern human populations 2019
255 RADAR-AD Remote Assessment of Disease and Relapse – Alzheimer’s Disease 2019
256 AutoCPS Automated Synthesis of Cyber-Physical Systems: A Compositional Approach 2019
257 DECODER DEveloper COmpanion for Documented and annotatEd code Reference 2019
258 ACEPOL Agent-based Computational Economics for Policy Analysis 2019
259 SCARE Side-Channel Aware Engineering 2018
260 justITSELF Just-in-time Self-Verification of Autonomous Systems 2019
261 ERIC Forum ERIC Forum Implementation project 2019
262 SYMELS Symbol Elimination in Reliable System Engineering 2019
263 POLKA POLlution Know-how and Abatement 2019
264 HighPotOx Exploring the Limits of High Potential OxidizersPrediction, Validation and Preparation of Unusual Molecules at the Edge of Stability 2020
265 Urban MAESTRO URBAN DESIGN GOVERNANCE - Exploring formal and informal means of improving spatial quality in cities across Europe and beyond 2018
266 SPARTA Strategic programs for advanced research and technology in Europe 2019
267 Mi-DOG The “parasitism-readers” of the world’s most damaging plant-parasitic nematode Meloidogyne incognita: new avenues to address food global security. 2020
268 INTEGRITY INTEGRITY: empowering students through evidence-based, scaffolded learning of Responsible Conduct in Research (RCR) 2019
269 StringyGeometry Stringy geometry: quantum corrections and the fate of string compactifications from spacetime and the worldsheet 2020
270 GEARING ROLES Gender Equality Actions in Research Institutions to traNsform Gender ROLES 2019
271 LawWithoutMercy Law without Mercy: Japanese Courts-Martial and Military Courts During the Asia-Pacific War, 1937-45 2019
272 MOVINGRAIL MOving block and VIrtual coupling New Generations of RAIL signalling 2018
273 LINSEC The Logic of Informal Security Cooperation: Counterterrorism Intelligence-sharing in Europe 2020
274 CReDItIs Critique and Reformation of Doctrine in International Investment Law: Legal Theory and Empirical Legal Studies 2020
275 D-FINED Duality for Finite Models: Relating Structure and Power 2020
276 Finite Memory Finite Memory and Dynamic Decision Problems 2020
277 SemioMaths Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora 2019
278 TEAMS Modelling Trust-based Evolutionary Dynamics in Signed Social Networks 2020
279 X-SUGRA eXceptional Solutions and U-folds in quantum GRAvity 2020
280 GUARD A cybersecurity framework to GUArantee Reliability and trust for Digital service chains 2019
281 STARCloud Bringing Quality of Service to Blockchain-Based Clouds 2019
282 TiPES Tipping Points in the Earth System 2019
283 WhiteMech White-Box Self-Programming Mechanisms 2019
284 Robust Robust and Energy-Efficient Numerical Solvers Towards Reliable and Sustainable Scientific Computations 2019
285 PEMB The Political Economy of Media Bias 2019
286 gradar Job Evaluation made easy for European SMEs. Unique innovative solution to perform digital job evaluation, compensation analytics and management in an easy, transparent and cost-effective way. 2019
287 PUNISH Punishment as Communication: Transgressors’ Interpretation and Understanding of Punishment 2019
288 ToMComputations How other minds are represented in the human brain: Neural computations underlying Theory of Mind 2019
289 iTrust In-time TReatment of acUte ischaemic STroke 2019
290 ADOPT GRANDPARENTS Creating value by bridging the Intergenerational Gap 2019
291 CUSTOMER Customizable Embedded Real-Time Systems: Challenges and Key Techniques 2019
292 SEAS Science education for action and engagement towards sustainability 2019
293 PHERECLOS Partnerships for pathways to Higher Education and science engagement in Regional Clusters of Open Schooling 2019
294 HEARTBIT_4.0 HeartBIT_4.0 - Application of innovative Medical Data Science technologies for heart diseases. 2020
295 MERCURYREFINEMENT Refining our view on planet Mercury, in anticipation for the BepiColombo mission. 2020
296 KnowGraphs Knowledge Graphs at Scale 2019
297 CANCERPREV Innovative strategies for cancer prevention with focus on sex hormone signaling and chronic inflammation 2019
298 InnovEOX Training of a new generation of researchers in Innovative Electrochemical OXidation processes for the removal and analysis of micro-pollutants in water streams 2019
299 INTUITIVE INnovative Network for Training in ToUch InteracTIVE Interfaces 2019
300 SyNET From Network Verification to Synthesis: Breaking New Ground in Network Automation 2019
301 LINGUINDIC Linguistics from India: new ideas for modern linguistics from ancient India 2020
302 CodeSan Code Sanitization for Vulnerability Pruning and Exploitation Mitigation 2020
303 ADMORPH Towards Adaptively Morphing Embedded Systems 2020
304 ETHNA System Ethics Governance System for RRI in Higher Education, Funding and Research Centres 2020
305 Dezyne Enterprise The easiest way to build complete, correct and consistent embedded software for cyberphysical systems 2019
306 DISSECT DISSECT: Evidence in International Human Rights Adjudication 2020
307 PLASTINET Plasticity of the Pluripotency Network 2020
309 SMIC Formal Models of Social Meaning and Identity Construction through Language 2020
310 QSPainRelief Effective combinational treatment of chronic pain in individual patients, by an innovative quantitative systems pharmacology pain relief approach. 2020
311 ForM-SMArt Formal Methods for Stochastic Models: Algorithms and Applications 2020
312 LEAFHOUND Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications 2020
313 DiSSCo Prepare Distributed System of Scientific Collections - Preparatory Phase Project 2020
314 BLaSt Better Languages for Statistics: foundations for non-parametric probabilistic programming 2020
315 SUFISM Contemporary Sufi spirituality of the middle classes - global forms and regional peculiarities 2021
316 SemanDiff Semantically correct automatic differentiation 2020
317 PropRT Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems 2020
318 HaloCat Elemental Halogen-Free Reversible Construction and Deconstruction of 1,2-Dihalides via Shuttle Catalysis 2020
319 PROCESS REASONING Reasoning about processes: a logico-philosophical investigation 2021
320 DeFacto Design Automation for Smart Factories 2020
321 INSANE Joint Species And Niche Evolution 2020
322 GeMeTIC Gestural Meanings: Typology and Interface Constraints 2020
323 YouthInMuseums Educational provision and professional training for youth in contemporary art museums 2020