Opendata, web and dolomites

H2020 projects about "checking"

The page lists 54 projects related to the topic "checking".

# achronym  title  year 
1 CoqHoTT Coq for Homotopy Type Theory 2015
2 INTO-CPS INtegrated TOol chain for model-based design of CPSs 2015
3 SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Networked Systems 2015
4 DISTRUCT Structure Theory for Directed Graphs 2015
5 GEOAPPS APPS for geotechnical field work 2014
6 Fluorobot Robotic fluorescent microscope for smear slide screening in Tuberculosis Diagnosis 2014
7 ELOXIRAS Electrochemical Oxidation in the Recirculating Aquaculture Systems Industry 2014
8 OPERANDO Online Privacy Enforcement, Rights Assurance and Optimization 2015
9 LV-Pri20 Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT 2015
10 GroupEstate GroupEstate Feasibility Study 2015
11 SET LU Organisation and Delivery of the Luxembourgish Presidency Conference on the European Strategic Energy Technology Plan (SET-Plan) 2015
12 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
13 LASSO Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems 2015
14 MIREL MIREL - MIning and REasoning with Legal texts 2016
15 SC-square SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems 2016
16 NIPUNA Novel metrology tool for more flexible and affordable 3D validation of large industrial components 2016
17 EnviroALARM Early alarm system for groundwater contamination monitoring 2016
18 NASUM Innovative nanotech-based detection equipment in the area of homeland security 2016
19 BREATH BREATH: Biomarkers for Respiratory diseases detected in Exhaled Air through a new Technological instrument for research and Healthcare markets. 2016
20 PVCLOUD Innovative Cloud-Based PV Workflow for Semiconductor Foundries 2017
21 ColdNano-X ZnO-nanotech cold cathode x-ray tube for the security market 2016
22 Logist-IoT SensorToCloud Technologies for Loss Prevention and Smart “Last Mile” Logistics Operations 2017
23 PaVeCo Parametrised Verification and Control 2017
24 INTER Innovative Neutron source for non destructive TEsting and tReatments 2017
25 NOLEAK Self-powered system for leakage detection in water pipes and self-sealing fissures with natural products 2017
26 MHT Development of an innovative Mini Helicon Thruster (MHT) thruster suitable for small satellites 2017
28 SERENA VerSatilE plug-and-play platform enabling remote pREdictive mainteNAnce 2017
29 CORNET Provably Correct Networks 2018
30 CHARIOT Cognitive Heterogeneous Architecture for Industrial IoT 2018
31 ReSEED Rescuing seeds’ heritage: engaging in a new framework of agriculture and innovation since the 18th century 2018
32 PEP2D Printable Electronics on Paper through 2D materials based inks 2018
33 Co-Inform Co-Creating Misinformation-Resilient Societies 2018
34 OPTIMIZERR Errors as cost-optimizing decisions? Redefining the origin and nature of human decision errors in light of associated neural computations 2018
35 PALEOMADA Paleoenvironmental reconstruction in Madagascar 2019
36 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
37 Para-T System The Para-T System A quick blood group device to match in situ the donor bag and the receptor arm during a blood transfusion, avoiding major incompatible errors. 2018
38 MENHIR Mental health monitoring through interactive conversations 2019
39 SocialTruth Open Distributed Digital Content Verification for Hyper-connected Sociality 2018
40 COFRARE 2020 Out of autoclave technologies for frame and shear tie of Regional Aircraft 2018
41 NEWTRAL First real-time fact-checking tool to fight against the fake news and disinformation 2019
42 SOMA Social Observatory for Disinformation and Social Media Analysis 2018
43 New GeneSS New Generation Design Methods for Stainless Steel Structures 2019
44 ExTaSea EXtreme upper TAil of SEA level rise: constraints from geological records 2020
45 CRITICAL-CHAINS IOT- & Blockchain-Enabled Security Framework for New Generation Critical Cyber-Physical Systems In Finance Sector 2019
46 ALGOCERT Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems 2019
47 XSPERINSE X-ray SPEctral detectors for Reliable, Intelligent and INnovative SEcurity 2019
48 PayLead Smart Loyalty Program: Using Data Science to Inspire the Next Purchase 2019
49 YooniK Seamless Guest Experiences through Biometrics in Things 2019
50 PPB Innovative Prima system to clean and Polish Bottles 2019
51 InReady Designing the Service to Improve the Investor Readiness of Start-ups 2019
52 VAPLCS Verification-Aware Programming Language Concurrency Semantics 2020
53 ConPhoNo Next Generation of Concentrated Photovoltaics Using Node Concentrators 2020
54 CAESAR Integrating Safety and Cybersecurity through Stochastic Model Checking 2020