Opendata, web and dolomites
H2020 projects about "proofs"
The page lists 71 projects related to the topic "proofs".
| # | |||
|---|---|---|---|
| 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 |
| 35 | NANOPHLOW | TOWARDS NOVEL NANO-SCALE TECHNOLOGIES BASED ON PHORETIC FLOW EFFECTS | 2018 |
| 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 |