Opendata, web and dolomites
H2020 projects about "checking"
The page lists 54 projects related to the topic "checking".
| # | |||
|---|---|---|---|
| 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 |
| 27 | GATE | BIG DATA FOR SMART SOCIETY | 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 |