Opendata, web and dolomites
H2020 projects about "proving"
The page lists 126 projects related to the topic "proving".
| # | |||
|---|---|---|---|
| 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 Hyperkä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 |