Opendata, web and dolomites

H2020 projects about "verifying"

The page lists 69 projects related to the topic "verifying".

# achronym  title  year 
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