Opendata, web and dolomites

H2020 projects about "proving"

The page lists 126 projects related to the topic "proving".

# achronym  title  year 
1 E-ferry E-ferry – prototype and full-scale demonstration of next generation 100% electrically powered ferry for passengers and vehicles 2015
2 I2MPECT Integrated, Intelligent modular power electronic converter 2015
3 VAMOS ¡Viable and Alternative Mine Operating System! 2015
4 I-ALLOW Imaging analysis in all lighting and off weather conditions 2015
5 CHEQUERS Compact High pErformance QUantum cascadE laseR Sensors 2015
6 TILOS Technology Innovation for the Local Scale, Optimum Integration of Battery Energy Storage 2015
7 MODFIN Model theory of finite and pseudofinite structures 2016
8 EinsteinVRH Einstein Relation for the Variable Range Hopping model 2016
9 ASTERICS Astronomy ESFRI and Research Infrastructure Cluster 2015
10 TOSSIBERG Theory of Stein Spaces in Berkovich Geometry 2015
11 S-Gearbox The Development of a »New« Planocentric Gearbox with a Closed Cage and S-gear Tooth Flank 2015
12 Mucky MUCKY: The circular solution for the valorisation of mixed municipal waste streams. 2015
13 DuaLL Duality in Formal Languages and Logic - a unifying approach to complexity and semantics 2015
14 SESAME Small cEllS coordinAtion for Multi-tenancy and Edge services 2015
15 EcoContainerCleaner Proving the IBC Robotics container cleaning system as an economic, climate- and environmentally-friendly and safe contribution to the EU transport system in order to disrupt the global market 2015
16 AI4REASON Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 2015
17 SYMCAR Symbolic Computation and Automated Reasoning for Program Analysis 2016
18 TAMING Taming non convexity? 2015
19 H2REF DEVELOPMENT OF A COST EFFECTIVE AND RELIABLE HYDROGEN FUEL CELL VEHICLE REFUELLING SYSTEM 2015
20 EP TENDER An innovative range extending service for Electric Vehicles (EV), based on a modular range extender, available for on demand rental, and attached occasionally to the EV for long distance trips 2015
21 PASSCLUB The multisided secure mobile wallet platform that can make mCommerce happen in Europe 2015
22 RAMPup Robotic Automation Modules for Production 2016
23 RANDGEOM Random Geometry 2016
24 ODYSSEA OBSERVATORY OF THE DYNAMICS OF INTERACTIONS BETWEEN SOCIETIES AND ENVIRONMENT IN THE AMAZON 2016
25 CerISMA Cerenkov Imaging for Surgical Margin Assessment 2015
26 IDENTITY Computer Vision Enabled Multimedia Forensics and People Identification 2016
27 Sharing Cities Sharing Cities 2016
28 CORNET CORE NOISE ENGINE TECHNOLOGY 2016
29 TOTAL Technology transfer between modern algorithmic paradigms 2016
30 TOCNeT Teaching Old Crypto New Tricks 2016
31 COcOAB Characterizing the Occipital Oscillatory Activity in Blindness 2016
32 VOLTAIC VOLcanic lighTning: a lAb and fIeld ApproaCh 2016
33 BSD Euler systems and the conjectures of Birch and Swinnerton-Dyer, Bloch and Kato 2016
34 ProteinPlus Let's give the world appetite for health 2016
35 SHIM Shim-Scaling mental well-being through an automated self-help app 2016
36 AQURI Air Quality at the Urban-Rural Interface 2017
37 CEASELESS Copernicus Evolution and Aplications with Sentinel Enhancements and Land Effluents for Shores and Seas 2016
38 VERSATILE Innovative robotic applications for highly reconfigurable production lines - VERSATILE 2017
39 BRAINBELIEFS Proving or improving yourself: longitudinal effects of ability beliefs on neural feedback processing and school outcomes 2017
40 GoOpti GoOpti – Profitable, Smart and Professional DRT over Long Distances 2016
41 DisDyn Distributed and Dynamic Graph Algorithms and Complexity 2017
42 OPTRASTOCH Optimal Transport and Stochastic Dynamics 2017
43 Noke A ground-breaking smart-lock for industrial storage, utilizing patented technology through Bluetooth 4.0, mobile apps, and a cloud platform. 2016
44 KONFIDO KONFIDO - Secure and Trusted Paradigm for Interoperable eHealth Services 2016
45 ArrestAD 3-O-sulfated heparan sulfate translocation in altered membrane biology: A new strategy for early population screening and halting Alzheimer’s neurodegeneration 2017
46 MPM Modern Pattern Matching 2017
47 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
48 METAdiag METAdiag: Diagnose to Cure 2017
49 ALDing Novel industrial processes using the Atomic Layer Deposition technique 2017
50 DiskTorqueOnPlanets New Frontiers in Modeling Planet-Disk Interactions: from Disk Thermodynamics to Multi-Planet Systems 2017
51 BTMG Birational and Tropical Methods in Geometry 2018
52 LogCorRM Log Correlations and Random Matrices 2017
53 NeMatrix Nematode-based screening technology for next-generation drug discovery 2017
54 BLUE Innovative fungal strains for producing blue cheeses 2017
55 SCOTT Secure COnnected Trustable Things 2017
56 LEDiR LEDiR: A Ground-breaking Manufacturing Process to Yield a Unique Prosthesis for Lumbar Endoscopic Disc Replacement 2017
57 PROTECTOR Improving resource efficiency through a protective film for hose reel irrigation 2017
58 SIDERWIN Development of new methodologies for industrial CO2-free steel production by electrowinning 2017
59 COLHD Commercial vehicles using Optimised Liquid biofuels and HVO Drivetrains 2017
60 NebuFlox Making it happen - Scalable biphasic reactions using a nebulizer-driven continuous flow reactor 2018
61 SPEEDER Supercapacitive Polymer Electrodes for Directing Epithelial Repair 2018
62 CatDT Categorified Donaldson-Thomas Theory 2017
63 ReSHEALience Rethinking coastal defence and Green-Energy Service infrastructures through enHancEd-durAbiLIty high-performance fiber reinforced cement-based materials. 2018
64 TRUFUS MAZARO’s innovative transmissions for unrivalled electricity and fuel savings in transport 2017
65 NOISE Noise-Sensitivity Everywhere 2018
66 CoCoSym Symmetry in Computational Complexity 2018
67 VESTA VErified STAtic analysis platform 2018
68 LiftMatch Lifting Methods for Global Matching Problems 2018
69 Stringlandscape Deconstructing the string landscape 2018
70 The insect cochlea The Insect cochlea: a non-invasive path towards enhanced sound detectors 2018
71 PartAct Partial actions of monoids and partial reflections 2019
72 REFITT Rare Earth Free Innovative Truck Traction 2018
73 ELECTRO NEEDLE In situ stem cell monitoring system based on conductive nanoneedle devices for tracking cell fates in invasive manner 2018
74 DC_Nutrient Investigating nutrients as key determinants of DC-induced CD8 T cell responses 2018
75 TRANSHOLOMORPHIC New transversality techniques in holomorphic curve theories 2018
76 GENIUS Gaussian entropic inequalities and uncertainty relations for communication and secure quantum key distribution 2018
77 PULSATION Detecting and characterizing exoplanets around evolved stars with NASA's TESS mission 2018
78 WET MARS Hydrological processes on late Mars: water under the telescope and under the microscope 2018
79 VeSPA Verification and Specification through Progress Abstractions 2018
80 DIRECT Therapies Diabetes Immunoengineering: Redesigning Encapsulated Cell Transplant Therapies 2018
81 HYSCALA Hybrid SCAlable sparse matrix Linear Algebra for industrial applications 2018
82 SECURe Subsurface Evaluation of Carbon capture and storage and Unconventional Risk 2018
83 TrAM Transport: Advanced and Modular 2018
84 BioWings Bio-compatible electrostrictive smart materials for future generation of medical micro-electro- mechanical systems 2018
85 BEMYEYES Be My Eyes - The mobile platform that allows sighted people to lend their eyes to the blind and visually impaired 2018
86 ECO-INK ECO-INNOVATIVE WATER-BASED INKS FOR THE CERAMIC SECTORS 2018
87 ONCOSMART ONCOlogic patient profiling and personalized treatment through SMART bedside diagnostics 2018
88 HDEM High Definition Electron Microscopy: Greater clarity via multidimensionality 2019
89 MaMBoQ Macroscopic Behavior of Many-Body Quantum Systems 2019
90 Active-DNA Computationally Active DNA Nanostructures 2018
91 ACHILES Advanced Architectures Chassis/Traction concept for Future Electric vehicles 2018
92 MesuR Metric-measure inequalities in sub-Riemannian manifolds 2019
93 5G-VINNI 5G Verticals INNovation Infrastructure 2018
94 RETINA Miniaturised Photonics Enabled Next Generation SAR 2018
95 COFRARE 2020 Out of autoclave technologies for frame and shear tie of Regional Aircraft 2018
96 ACOUPLASMA Market maturation of a blood plasma separation module enabling plasma based diagnostic point-of-care devices 2018
97 CoSP Combinatorial Structures and Processes 2019
98 HEADSTART HARMONISED EUROPEAN SOLUTIONS FOR TESTING AUTOMATED ROAD TRANSPORT 2019
99 Lazzus The mobility assistant for the blind and visually impaired 2019
100 VERICOMP Foundations of Verifiable Computing 2019
101 POAB The Psychology of Administrative Burden 2019
102 HiCoShiVa Higher coherent coholomogy of Shimura varieties 2019
103 SYMELS Symbol Elimination in Reliable System Engineering 2019
104 NanoBRIGHT BRInGing nano-pHoTonics into the brain 2019
105 DIAPASoN Differential Program Semantics 2019
106 EUCANCan EUCANCan: a federated network of aligned and interoperable infrastructures for the homogeneous analysis, management and sharing of genomic oncology data for Personalized Medicine. 2019
107 DEBRA Diamond Element BeaRings with Air-cooling 2018
108 PCPABF Challenging Computational Infeasibility: PCP and Boolean functions 2019
109 SElectiveLi Conceptual Study of Electrochemical based novel process using Lignosulfonates to produce bio-based monomers & polymers 2019
110 Hybead Hybrid Bead Adsorbents 2019
111 5G-DIVE 5G-DIVE: eDge Intelligence for Vertical Experimentation 2019
112 EmPower EmPowering electricity access in off-grid areas with a portable battery pack with Internet of Things connectivity 2019
113 DAICY Design and AI for sustainable and safe motorCYcles 2019
114 POWERSKIN PLUS Highly advanced modular integration of insulation, energising and storage systems for non-residential buildings 2019
115 Mereodao Mereological Reconstruction of the Metaphysical System in the Daodejing 2020
116 KRAKEN Brokerage and market platform for personal data 2019
117 GALACTIC High Performance Alexandrite Crystals and Coatings for High Power Space Applications 2020
118 PLUTO One-of-a-kind therapy for crossed eyes. Helping families to reduce emotional and financial burden of eye therapy. 2019
119 TherVacB THERVACB: A THERAPEUTIC VACCINE TO CURE HEPATITIS B 2020
120 HyperK Modern Aspects of Geometry: Categories, Cycles and Cohomology of Hyperka╠łhler Varieties 2020
121 SmartEEs2 SUSTAINABLE ECOSYSTEM FOR THE ADOPTION, RAMP-UP AND TRANSFER OF EMERGING ELECTRONICS SOLUTIONS 2020
122 PIPESCANNER Precise Condition Assessment of Metallic Pipes Dramatically Reducing Maintenance and Investment Cost in District Heating and Drinking Water Pipe Networks by pinpointing Pipe Segments to be replaced 2020
123 MCT Metacomputational Complexity Theory 2020
124 FACADE FAçade bio-CArbon based anti UV coating to prevent DEterioration of wooden buildings 2020
125 BOAR Veterinarization of Europe? Hunting for Wild Boar Futures in the Time of African Swine Fever 2020
126 COMMiT Cancer Organoids Multiplexed Screening in Microfluidic Textile chips 2020