Opendata, web and dolomites
H2020 projects about "verifying"
The page lists 69 projects related to the topic "verifying".
| # | |||
|---|---|---|---|
| 1 | SenseX | Sensory Experiences for Interactive Technologies | 2015 |
| 2 | SPOOC | Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols | 2015 |
| 3 | FORCE | Future Outboards Run Conventionally and Electrically | 2014 |
| 4 | OPTIFUEL | A reliable and transparent solid biofuels online quality control system | 2014 |
| 5 | SignSigma | Launching the next generation of mobile and multi-platform signature system based on biometric parameters | 2014 |
| 6 | Project Sense | Enforcement of the environmental regulations on sulphur emissions from ships using drone technology. | 2015 |
| 7 | TCN TimeAnalyzer | TimeAnalyzer in real-time networks | 2015 |
| 8 | HESS | Hybrid Energy Storage System | 2015 |
| 9 | ENAMISS | ENAMISS - Energetic Neutral Atoms Monitor on the International Space Station | 2015 |
| 10 | Fidzup-Retargeting | Physical Retargeting, innovative mobile marketing services for traditional retailers | 2015 |
| 11 | Project Buffer | Project Buffer ― a new solution to fast charging electrical vehicles “on the road”. | 2015 |
| 12 | HYPHEN | HYPHEN: Hybrid Photonic Engines for Massive Cloud Connectivity | 2015 |
| 13 | COMRADES | Collective Platform for Community Resilience and Social Innovation during Crises | 2016 |
| 14 | UNIBIO | TK210 ELISA – universal serum protein biomarker for cancer screening, diagnosis, treatment response monitoring and early detection of relapse (UNIBIO) | 2015 |
| 15 | POLIFEMO | POLIFEMO - Panoramic Multifunctional Sensor for Small/Micro Satellite | 2015 |
| 16 | ClearSalmonLice | ClearSalmonLice | 2016 |
| 17 | IDENTITY | Computer Vision Enabled Multimedia Forensics and People Identification | 2016 |
| 18 | INTAS | INdustrial and tertiary product Testing and Application of Standards | 2016 |
| 19 | ELIRAD | Everyday Life Radar Sensors For Transportation | 2016 |
| 20 | PRISTINE | Improved production of low cost silver nanowires | 2016 |
| 21 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 |
| 22 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
| 23 | Be-novative | A social application, which helps to generate ideas, solve problems while using the cyber-space and cyber-society | 2016 |
| 24 | ifoodbag gen2 | Unique, low-cost, low-footprint, reusable hybrid carrier bag system that enables food to be kept cold/frozen for up to 24 hours | 2016 |
| 25 | SPRAYDECO | Developing Wireless Application-based Spray Printer Device for Wall Decoration | 2016 |
| 26 | Syndivia | Next generation drug conjugates for cancer treatment | 2016 |
| 27 | CoSI | Functional connectomics of the amygdala in social interactions of different valence | 2016 |
| 28 | MOON | Multi-modal Optical Diagnostics for Ocular and Neurodegenerative Disease | 2016 |
| 29 | Dreams4Cars | Dream-like simulation abilities for automated cars | 2017 |
| 30 | BinCosmos | The Impact of Massive Binaries Through Cosmic Time | 2017 |
| 31 | CONIN | Effects of confinement on inhomogeneous systems | 2017 |
| 32 | MedEye | Accelerated market launch of MedEye, a plug-and-play medication safety solution | 2017 |
| 33 | POPSTAR | Reasoning about Physical properties Of security Protocols with an Application To contactless Systems | 2017 |
| 34 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
| 35 | MINERVA | MIcrobiota-Gut-BraiN EngineeRed platform to eVAluate intestinal microflora impact on brain functionality | 2017 |
| 36 | LIDISNO | Linguistic Dimensions of Sexual Normativity | 2017 |
| 37 | SensAgain | Restoring of SENSAtions from Lost LeGs for health And qualIty of life augmeNtation in amputees | 2017 |
| 38 | ToRH | A Theory of Reliable Hardware | 2017 |
| 39 | MCIATTP | Molecular to Continuum Investigation of Anisotropic Thermal Transport in Polymers | 2017 |
| 40 | BLUE | Innovative fungal strains for producing blue cheeses | 2017 |
| 41 | InnoSpaceComm | EnduroSat provides innovative space communication satellite solutions. | 2017 |
| 42 | 3D-Roving Deposition | Directed and three-dimensional placement of continuous fibres with the direction of forces enabling asignificant reduction of costs and weight in carbon fibre components | 2017 |
| 43 | AV-SMP | Algorithmic Verification of String Manipulating Programs | 2017 |
| 44 | CoMoCo | Development of an Intelligent Controller for Electro-motors | 2017 |
| 45 | HandBiblio | HandBiblio – Semantic Search Engine for Handwritten Documents - Enabling an effective andautomatic access to contents of handwritten documents, stored as digital images. | 2017 |
| 46 | AuriMod | From pills to bio-electronics: a wearable anti-inflammatory treatment for prevention of Peripheral Arterial Disease. | 2018 |
| 47 | UBIQUITON | Development of a tool kit to investigate protein ubiquitylation in biomedical research | 2018 |
| 48 | ACOSVA | Advanced Characterization of Organic-rich Shales using Vapour Adsorption | 2018 |
| 49 | BPR4GDPR | Business Process Re-engineering and functional toolkit for GDPR compliance | 2018 |
| 50 | UHURA | Unsteady High-Lift Aerodynamics – Unsteady RANS Validation | 2018 |
| 51 | pHenom | A cost effective, self-calibrating, low maintenance pH sensor for an integrated approach to monitoring sea and drinking water, facilitating improvements in ocean, animal and human health | 2018 |
| 52 | HOL-DEEP-SENSE | Holistic Deep Modelling for User Recognition and Affective Social Behaviour Sensing | 2018 |
| 53 | AST | Automatic System Testing | 2019 |
| 54 | ACHILES | Advanced Architectures Chassis/Traction concept for Future Electric vehicles | 2018 |
| 55 | GoodNews | Fake news detection in social networks using geometric deep learning | 2018 |
| 56 | QualiChain | Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation | 2019 |
| 57 | VERICOMP | Foundations of Verifiable Computing | 2019 |
| 58 | EUNOMIA | User-oriented, secure, trustful & decentralised social media | 2018 |
| 59 | justITSELF | Just-in-time Self-Verification of Autonomous Systems | 2019 |
| 60 | CerQuS | Certified Quantum Security | 2019 |
| 61 | RESILOC | Resilient Europe and Societies by Innovating Local Communities | 2019 |
| 62 | CB-103 | First effective targeted therapy for T-cell acute lymphoblastic leukemia (T-ALL) and other NOTCH pathway driven cancers | 2019 |
| 63 | StepUP | Solutions and Technologies for deep Energy renovation Processes UPtake | 2019 |
| 64 | NewControl | Integrated, Fail-Operational, Cognitive Perception, Planning and Control Systems for Highly Automated Vehicles | 2019 |
| 65 | InDiQE | Infinite-dimensional quantum effects | 2019 |
| 66 | Dynamic BC | Dynamic Bright Code: Delivering digital content in offline environments by connecting unique LEDbased optical tags with mobile devices. | 2019 |
| 67 | NanoPhosTox | Nanocomposite Engineered Particles for Phosphorus Recovery and Toxicological Risk Assessment for the Aquatic Environment | 2020 |
| 68 | SafeNet | Safe Networks using P4 Programs | 2019 |
| 69 | BISANCE | Biphasic Heat Transport integration for efficient heat exchange within Composite materials Nacelle | 2019 |