Opendata, web and dolomites

H2020 projects about "proofs"

The page lists 71 projects related to the topic "proofs".

# achronym  title  year 
1 GEOFLUIDS Geometric problems in PDEs with applications to fluid mechanics 2015
2 CoqHoTT Coq for Homotopy Type Theory 2015
3 RelRepDist Relative representation theory and distributions on reductive groups over local fields 2015
4 SECURECHAIN Securing future-proof environmentally compatible bioenergy chains 2015
5 PAnaMoL Proof-theoretic Analysis of Modal Logics 2015
6 LV-Pri20 Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT 2015
7 AINARA Automation and INtelligence solutions for Automated Road trAnsport systems 2015
8 HEATSENS_S Lab-on-a-chip microfluidic device based on plasmonicdriven thermal sensing for rapid detection of Salmonella typhimurium in agro-food field. 2015
9 NOVCARBFIX Analysis, Design and Experimental Evolution of Novel Carbon Fixation Pathways 2016
10 Flex5Gware Flexible and efficient hardware/software platforms for 5G network elements and devices 2015
11 KL2MG-interactions K-theory, L^2-invariants, manifolds, groups and their interactions 2015
12 CerviVax New Generation Therapeutic vaccine for the Treatment of HPV infections and Cervical Dysplasia 2015
13 PROMETHEUS-IOT a versatile Platform foR delivering incremental, scalable and cOst-effective ad-hoc services froM hETErogeneoUS and collaborating objects in the Internet Of Things 2015
14 bIoTope Building an IoT OPen innovation Ecosystem for connected smart objects 2016
15 TOTAL Technology transfer between modern algorithmic paradigms 2016
16 TOCNeT Teaching Old Crypto New Tricks 2016
17 NIMBqUS Novel Inroads into Many-Body Quantum Systems 2016
18 InfTy Infinitary Rewriting for Type Systems 2016
19 LIPA A unified theory of finite-state recognisability 2016
20 MONACAT Magnetism and Optics for Nanoparticle Catalysis 2016
21 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
22 CID Computing with Infinite Data 2017
23 SECOMP Efficient Formally Secure Compilers to a Tagged Architecture 2017
24 Mathador Type and Proof Structures for Concurrent Software Verification 2017
25 SWORD Security Without Obscurity for Reliable Devices 2017
26 Sure-Rider Boats Boats with revolutionary Hull design for safer and more comfortable cruising. 2017
27 ALFA Shaping a European Scientific Scene : Alfonsine Astronomy 2017
28 MiLC Monotonicity in Logic and Complexity 2017
29 SHERPACK Innovative structured polysaccharides-based materials for recyclable and biodegradable flexible packaging 2017
30 GROGandGIN Growth in Groups and Graph Isomorphism Now 2017
31 ToRH A Theory of Reliable Hardware 2017
32 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
33 ACTICELL Precision confiner for mechanical cell activation 2017
34 CASCAde Confidentiality-preserving Security Assurance 2017
36 ReSHEALience Rethinking coastal defence and Green-Energy Service infrastructures through enHancEd-durAbiLIty high-performance fiber reinforced cement-based materials. 2018
37 PROMETHEUS PRivacy preserving pOst-quantuM systEms from advanced crypTograpHic mEchanisms Using latticeS 2018
38 TiPS-DNA Transcription-induced Plectonemic Supercoiled DNA 2018
39 Browsec Foundations and Tools for Client-Side Web Security 2018
40 OLYMPUS Oblivious identitY Management for Private and User-friendly Services 2018
41 N6MeA ChemSeq Development of chemical methods for DNA N6-methyladenine mapping 2018
42 VeSPA Verification and Specification through Progress Abstractions 2018
43 OCONTSOLAR Optimal Control of Thermal Solar Energy Systems 2018
44 BEYOND Best in class Deep Learning Predictive Model 2018
45 DOC-3D-CERAM Development Of Ceramics 3D-Printing, Additive Manufacturing 2018
46 INCOGNITO IdeNtity verifiCatiOn with privacy-preservinG credeNtIals for anonymous access To Online services 2019
47 TOROS A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems 2019
48 DECODER DEveloper COmpanion for Documented and annotatEd code Reference 2019
49 RESTORE User-centred smart nanobiomaterial-based 3D matrices for chondral repair 2019
50 VERICOMP Foundations of Verifiable Computing 2019
51 BEBOP Binaries Escorted By Orbiting Planets 2018
52 FTHPC Fault Tolerant High Performance Computing 2019
53 CerQuS Certified Quantum Security 2019
54 SYMELS Symbol Elimination in Reliable System Engineering 2019
55 SoFiA Soap Film based Artificial Photosynthesis 2019
56 BIONICbacteria Integrating a novel layer of synthetic biology tools in Pseudomonas, inspired by bacterial viruses 2019
57 BlockchainKYC Blockchain-based, 100% automated KYC (Know Your Customer) service 2019
58 WiPASS Wireless Power for Autonomous Sensor Systems 2019
59 EMESAS Early Modern Exchanges in Sanskrit Astral Sciences 2019
60 AMPLE A Study of the Notion of Ampleness in Model Theory and Tits Buildings 2019
61 CelluWiz Process developments for a recyclable and compostable all-cellulose multilayer material for packaging 2019
62 ARtwin An AR cloud and digital twins solution for industry and construction 4.0 2019
63 CO2Fokus CO2 utilisation focused on market relevant dimethyl ether production, via 3D printed reactor- and solid oxide cell based technologies 2019
64 DROP-IT DRop-on demand flexible Optoelectronics & Photovoltaics by means of Lead-Free halide perovskITes 2019
65 DE4A Digital Europe for All 2020
66 SENSE Sterile neutrino search in tritium beta decay 2020
67 CAPA Global existence and Computer-Assisted Proofs of singularities in incompressible fluids, with Applications 2020
68 FLUSPEC Analysis of geometry-driven phenomena in fluid mechanics, PDEs and spectral theory 2021
69 LOCAL KNOWLEDGE Local Ecologies of Knowledge: Towards a Philosophy of Ethnobiology 2020
70 SemanDiff Semantically correct automatic differentiation 2020
71 cRETMS Cerebellar Rhythmic Entrainment with Transcranial Magnetic Stimulation: A new approach for the study of cerebellar connections with the cortex. 2020