Opendata, web and dolomites
H2020 projects about "verification"
The page lists 273 projects related to the topic "verification".
| # | |||
|---|---|---|---|
| 1 | HIPSTER | Deployment of high pressure and temperature food processing for sustainable, safe and nutritious foods with fresh-like quality | 2015 |
| 2 | FLEXOP | Flutter Free FLight Envelope eXpansion for ecOnomical Performance improvement | 2015 |
| 3 | SYNTECH | Synthesis Technologies for Reactive Systems Software Engineers | 2015 |
| 4 | FLARECAST | Flare Likelihood and Region Eruption Forecasting | 2015 |
| 5 | INVEST | IN-orbit Validation of European Space Technologies | 2015 |
| 6 | Rheform | Replacement of hydrazine for orbital and launcher propulsion systems | 2015 |
| 7 | UnCoVerCPS | Unifying Control and Verification of Cyber-Physical Systems | 2015 |
| 8 | RePhrase | REfactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach | 2015 |
| 9 | SCISSOR | Security In trusted SCADA and smart-grids | 2015 |
| 10 | CloudSocket | Business and IT-Cloud Alignment using a Smart Socket | 2015 |
| 11 | DICE | Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements | 2015 |
| 12 | IMMORTAL | Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems | 2015 |
| 13 | TAPPS | Trusted Apps for open CPS | 2015 |
| 14 | SPOOC | Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols | 2015 |
| 15 | CWASI | Coping with water scarcity in a globalized world | 2015 |
| 16 | PAW | Automated Program Analysis for Advanced Web Applications | 2015 |
| 17 | SSBD | Small Summaries for Big Data | 2015 |
| 18 | OCTAVE | Objective Control for TAlker VErification | 2015 |
| 19 | DISTRUCT | Structure Theory for Directed Graphs | 2015 |
| 20 | EPC_PLUS | Energy Performance Contracting Plus | 2015 |
| 21 | multEE | Facilitating Multi-level governance for energy efficiency | 2015 |
| 22 | EEPLIANT | Energy Efficiency Complaint Products 2014 | 2015 |
| 23 | OntoPerson | The Ontology of Personal Identity | 2015 |
| 24 | SignSigma | Launching the next generation of mobile and multi-platform signature system based on biometric parameters | 2014 |
| 25 | Ownerchip | Digital Rights Management Infrastructure For 3D Printed Artifacts | 2014 |
| 26 | PILOTS | Prototyping Internet Lot of Things Software | 2014 |
| 27 | SpeechXRays | Multi-channel biometrics combining acoustic and machine vision analysis of speech, lip movement and face | 2015 |
| 28 | EMoGrIS | Ecological Modelling of the Greenland Ice Sheet Surface Ecosystem | 2016 |
| 29 | seQureNet | Secure information processing in quantum networks | 2015 |
| 30 | SHDS | Seismic-resistant Highly Deformable Structures | 2015 |
| 31 | OPERACQC | Operational characterization of quantum correlations | 2015 |
| 32 | LV-Pri20 | Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT | 2015 |
| 33 | ID_MOBILE | Solution to authenticate and read ID documents using mobile devices at point of origin in real-time, eliminating manual handling and providing better, more secure services. | 2015 |
| 34 | RemBAP | Remote Building Analytics platform for Utilities to deliver large-scale efficiency to SMEs and commercial portfolios | 2015 |
| 35 | NASTEX | Study feasibility and best route to market for telecare solution in Germany and Japan | 2015 |
| 36 | EMInstr | Development of a New Wavelength Scanning Interferometer for Embedded Metrology | 2015 |
| 37 | LeakFree | Development of a reliable quality control system using advanced Non-Destructive Evaluation (NDE) technologies for the production environment of leak-free fuel tanks from plastics and composites | 2015 |
| 38 | HIQ-Home | Advanced System for Eco, Energy and Cost Efficient, Comfortable and Secure Smart Homes | 2015 |
| 39 | CiWater | Feasibility study for water leakage detector CiWater | 2015 |
| 40 | SEDEUF | Sedicii Innovative Authentication | 2014 |
| 41 | iBUS | iBUS – an integrated business model for customer driven custom product supply chains | 2015 |
| 42 | SITEX-II | Sustainable network for Independent Technical EXpertise of radioactive waste disposal - Interactions and Implementation | 2015 |
| 43 | CIRDvalid | CIRDvalid – Clinical validation of a set of 11 biomarkers and a system of diagnostic and therapeutical devices for the resuscitation of patients suffering from long-lasting cardiac arrest | 2015 |
| 44 | TheCityGame pilot | TheCityGame; Feasibility study and mini-pilots | 2015 |
| 45 | TEST-IC | Integrated Cicuit Testing Software | 2015 |
| 46 | Excalibur 2.0 | Revolutionary trustworthy platform for seamless authentication of Internet users | 2015 |
| 47 | smaRtAIL | Smart protective coatings on classic materials for a new generation of ecologically sustainable ‛green’ railway vehicles | 2015 |
| 48 | 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 |
| 49 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 50 | AI4REASON | Artificial Intelligence for Large-Scale Computer-Assisted Reasoning | 2015 |
| 51 | LEONID | Lung cancEr fusiOn geNes: a new dIagnostic Device | 2015 |
| 52 | LASSO | Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems | 2015 |
| 53 | SESAME | thermal hydraulics Simulations and Experiments for the Safety Assessment of MEtal cooled reactors | 2015 |
| 54 | TOPAs | Tools for cOntinuous building Performance Auditing | 2015 |
| 55 | ZERO-PLUS | Achieving near Zero and Positive Energy Settlements in Europe using Advanced Energy Technology | 2015 |
| 56 | RoVi | Robotic manipulator with visuo-haptic sensing | 2015 |
| 57 | ECO-LOGIC GREEN FARM | Design of an agricultural greenhouse for intensive growing of microalgae in fresh / sea water with a syngas production plant and organic farming of chickens and pigs outdoors. | 2015 |
| 58 | ReconCell | A Reconfigurable robot workCell for fast set-up of automated assembly processes in SMEs | 2015 |
| 59 | SPIRYT | Platform for envIRonmentallY Sustainable Textile processing, to be replicated worldwide in the fashion industry Feasibility Study | 2015 |
| 60 | BREAKBEN | Breaking the Nonuniqueness Barrier in Electromagnetic Neuroimaging | 2016 |
| 61 | SAFEPOWER | Safe and secure mixed-criticality systems with low power requirements | 2016 |
| 62 | PHANTOM | Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computing Systems | 2015 |
| 63 | SuperHD-ToolBox | Next generation Image Processing Engine to support the creation, processing, deployment and transmission of super high definition images for large format ‘smart’ digital displays and signage | 2015 |
| 64 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 65 | Bcl-Inhib | Discovery of Bcl-3 inhibitors as Potential Chemopreventive Agent for skin cancer | 2015 |
| 66 | IMAGE | Innovative Methodologies and technologies for reducing Aircraft noise Generation and Emission | 2016 |
| 67 | GAP60PTP | Gap Waveguides for Point-To-Point Wireless Links at 60 GHz and beyond | 2016 |
| 68 | IDENTITY | Computer Vision Enabled Multimedia Forensics and People Identification | 2016 |
| 69 | INTAS | INdustrial and tertiary product Testing and Application of Standards | 2016 |
| 70 | MSTYR15 | Market Surveillance Action for Tyres 2015 | 2016 |
| 71 | TAPAS | Tools for Assessment and Planning of Aquaculture Sustainability | 2016 |
| 72 | SOPHIA | Securing Software against Physical Attacks | 2016 |
| 73 | GvHDCure | Understanding the dynamics of the immune system to cure graft-versus-host disease (GvHD). | 2016 |
| 74 | BLADEOUT | CROR Blade-Out Impact Simulations and Sample Manufacturing | 2016 |
| 75 | HYBOCOMIX | Hydrogen bonds in diblock copolymer/ homopolymer melt | 2016 |
| 76 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
| 77 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 |
| 78 | PROCEED | PROCess-based sEamless development of useful Earth system predictions over lanD | 2017 |
| 79 | TOPACT | Topological defects in nematic liquid crystals of active colloidal rods | 2016 |
| 80 | DDM-GNI | Discrete Dirac Mechanics and Geometric Numerical Integration Methods for Plasma Physics | 2016 |
| 81 | DELMIT | Maintaining the Human Mitochondrial Genome | 2016 |
| 82 | AMASS | Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems | 2016 |
| 83 | PROTECT | Pervasive and UseR Focused BiomeTrics BordEr ProjeCT | 2016 |
| 84 | CITADEL | Critical Infrastructure Protection using Adaptive MILS | 2016 |
| 85 | iEcoH | Integrating Ecosystem Heterogeneity to Enhance ESM Performance | 2016 |
| 86 | GenoPri | Quantifying and Protecting the Privacy of Genomic Data | 2016 |
| 87 | INFRASTAR | Innovation and Networking for Fatigue and Reliability Analysis of Structures - Training for Assessment of Risk | 2016 |
| 88 | TUNE | Testing the Untestable: Model Testing of Complex Software-Intensive Systems | 2016 |
| 89 | Quartzene | Quartzene - Market uptake of the world's first low cost aerogel-type nano-material | 2016 |
| 90 | ENABLE-S3 | European Initiative to Enable Validation for Highly Automated Safe and Secure Systems | 2016 |
| 91 | SafeCOP | Safe Cooperating Cyber-Physical Systems using Wireless Communication | 2016 |
| 92 | POWVER | Power to the People. Verified. | 2016 |
| 93 | PROPCONEL | More electric, advanced hydromechanics propeller control components. | 2016 |
| 94 | BISS | Biometric Identification Security System | 2016 |
| 95 | 3D-Forensics/FTI | Mobile high-resolution 3D-Scanner and 3D data analysis for forensic evidence fast track to innovation | 2016 |
| 96 | LIBI | Lightning Interception Blade Implant | 2016 |
| 97 | NLPRO | Natural Language Programming: Turning Text into Executable Code | 2016 |
| 98 | EntangleGen | Entanglement Generation in Universal Quantum Dynamics | 2016 |
| 99 | Paybon | Paybon - disrupting the massive global meal voucher market with a smartphone delivery system | 2016 |
| 100 | DigiSCAN | DigiSCAN | 2016 |
| 101 | ZAero | Zero-defect manufacturing of composite parts in the aerospace industry | 2016 |
| 102 | EJDFoodSci | Food science, technology and engineering - European Joint Doctorate training towards knowledge, skills and mobility | 2016 |
| 103 | SCORE | Score board of competitiveness of European transport manufacturing industries | 2016 |
| 104 | RADIAN | Facilitating Collaboration in ReseArch and Development to Foster Further Innovation in European AeroNautics | 2016 |
| 105 | AtmoHealth | A pan-national collaborative analytics platform for the exploration and improvement of population health | 2016 |
| 106 | COEMS | Continuous Observation of Embedded Multicore Systems | 2016 |
| 107 | CPSwarm | CPSwarm | 2017 |
| 108 | PJ22 SEabird | PJ22:Validation and Demonstration Engineering | 2016 |
| 109 | SIROM | Standard Interface for Robotic Manipulation of Payloads in Future Space Missions | 2016 |
| 110 | ESROCOS | European Space Robot Control Operating System | 2016 |
| 111 | ERGO | EUROPEAN ROBOTIC GOAL-ORIENTED AUTONOMOUS CONTROLLER | 2016 |
| 112 | ShipTest | Fully automated laser guided inspection robot for weld defect detection on ship hulls | 2016 |
| 113 | SAFE4RAIL | SAFE architecture for Robust distributed Application Integration in roLling stock | 2016 |
| 114 | SPECIAL | Scalable Policy-awarE linked data arChitecture for prIvacy, trAnsparency and compLiance | 2017 |
| 115 | CERBERO | Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments | 2017 |
| 116 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 117 | ECSASDPE | European and Chinese Platform for Stacked Aero-Structure Drilling Process and Equipment | 2017 |
| 118 | PVCLOUD | Innovative Cloud-Based PV Workflow for Semiconductor Foundries | 2017 |
| 119 | CPB 4.0 | Worldwide unique, resource-conserving and energy-efficient treatment of industrial wastewater polluted by oils and heavy metals for implementing the EU Water Framework Directive in a company | 2017 |
| 120 | Force Servo | Force Servo | 2017 |
| 121 | AMICI | Accelerator and Magnet Infrastructure for Cooperation and Innovation | 2017 |
| 122 | RACCOON | A Rigorous Approach to Consistency in Cloud Databases | 2017 |
| 123 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 124 | MedEye | Accelerated market launch of MedEye, a plug-and-play medication safety solution | 2017 |
| 125 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 126 | POPSTAR | Reasoning about Physical properties Of security Protocols with an Application To contactless Systems | 2017 |
| 127 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
| 128 | AgroRadar | Using Copernicus Earth Observation radar data to disrupt Precision Agriculture | 2017 |
| 129 | MIP | My Impact Portal | 2017 |
| 130 | SWORD | Security Without Obscurity for Reliable Devices | 2017 |
| 131 | Bendsai | Feasibility study for Bendsai – world’s first standardised machine tending robot | 2017 |
| 132 | Elbee | Elbee, a worldwide unique drive-from-wheelchair vehicle | 2017 |
| 133 | ONCOmetENHANCERS | Elucidating the Role of Enhancer Methylation Variation in Cancer and Developing Enhancer-based Markers and Targets for Precision Medicine | 2017 |
| 134 | LocationWise | LocationWise Payment Card Validation: A cloud based location verification system that willsignificantly lower cost of payment card cyber security | 2017 |
| 135 | MedRoute | On the route of multiculturalism(s). Marking and hybridizing identities in the late 17th and early 18th centuries Mediterranean port cities | 2017 |
| 136 | PADECOT | PArtial Differential Equation model-based COntrol of Traffic flow | 2017 |
| 137 | HIPPOCRATE | Hybrid Imaging of PET and PrOmpt gamma for preCision RAnge- and biological- guidance in proton ThErapy | 2017 |
| 138 | Mofina | Mobile Filovirus Nucleic Acid Test – Sofia ref.: 115848 | 2015 |
| 139 | SMILE | SMart mobILity at the European land borders | 2017 |
| 140 | TestConCert | TestConCert is a future-proof fusion of automation technology using IoT communication strategies with flight test bench control and test management from requirement up to the certification document. | 2017 |
| 141 | GREENTOP | GREENTOP - Gamification of cRowdcomputing to ENhance EarTh Observation data Processing | 2017 |
| 142 | AccessVote | The First European Platform for Accesible Paper Vote Cast | 2017 |
| 143 | SIRMIO | Small animal proton Irradiator for Research in Molecular Image-guided radiation-Oncology | 2017 |
| 144 | RUN4LIFE | RECOVERY AND UTILIZATION OF NUTRIENTS 4 LOW IMPACT FERTILIZER | 2017 |
| 145 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 146 | BREEZE | HyBRid photocatalyitic air filtEr for rEmoving pollutants and odours from aircraft cabin ZonE | 2017 |
| 147 | EnergySequence | Building data scientist to help us dive deep into the very large amount structured time series data pertaining to building energy use | 2017 |
| 148 | HYDRO_RIG 3G | Development of a hydraulic installation for electro-hydraulic integration of hybrid surface actuation systems in on-ground rigs | 2017 |
| 149 | 5GTANGO | 5G Development and validation platform for global industry-specific network services and Apps | 2017 |
| 150 | 5G-MEDIA | Programmable edge-to-cloud virtualization fabric for the 5G Media industry | 2017 |
| 151 | BlockchainKYC | Blockchain-based, 100% automated KYC (Know Your Customer) service | 2017 |
| 152 | MetaTox-HS | Advanced Solutions for High Sensitivity Metabolism and Toxicity Assays | 2017 |
| 153 | Z-BRE4K | Strategies and Predictive Maintenance models wrapped around physical systems for Zero-unexpected-Breakdowns and increased operating life of Factories | 2017 |
| 154 | ARS | Autonomous Robotic Surgery | 2017 |
| 155 | A-FOD | SAFER and TIMELY FLIGHTS with Automated Foreign Object Detection System | 2017 |
| 156 | EEPLIANT2 | Energy Efficiency Compliant Products 2 | 2017 |
| 157 | Spine | Open source toolbox for modelling integrated energy systems | 2017 |
| 158 | CORNET | Provably Correct Networks | 2018 |
| 159 | AV-SMP | Algorithmic Verification of String Manipulating Programs | 2017 |
| 160 | FloatMastBlue | Offshore Wind Energy Cost Reduction by an Innovative Floating Met Mast Platform | 2017 |
| 161 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |
| 162 | CIRCASA | Coordination of International Research Cooperation on soil CArbon Sequestration in Agriculture | 2017 |
| 163 | RealTide | Advanced monitoring, simulation and control of tidal devices in unsteady, highly turbulent realistic tide environments | 2018 |
| 164 | MUSE | Multi-perspective Ultrasound Strain Imaging & Elastography | 2018 |
| 165 | eDREAM | eDREAM - enabling new Demand REsponse Advanced, Market oriented and Secure technologies, solutions and business models | 2018 |
| 166 | Smart-Trust | Smart Trust: Secure Mobile ID for Trusted Smart Borders | 2018 |
| 167 | EVOAtm | Evolutionary ATM. A modelling framework to assess the impact of ATM evolutions | 2018 |
| 168 | PISCES | PISCES - Reducing bycatch – Saving fishing crews money – Facilitating complianceEnabling the long-term sustainability of the fishing industry | 2017 |
| 169 | DyVirt | Dynamic virtualisation: modelling performance of engineering structures | 2018 |
| 170 | Magnetic Fluids | A Key Enabling Technology for metals recovery and water management based on functionalized magnetic particles for galvanic industry | 2018 |
| 171 | NEXTTRIP | NEXT generation civil Tilt Rotor Interactional aerodynamic tail oPtimisation | 2018 |
| 172 | ASTRO | Assembly Tooling for the Fast Rotorcraft Project | 2018 |
| 173 | SISCAN | Single-shot dispersion-scan device for the characterization of ultrashort laser pulses | 2018 |
| 174 | ThromboSLE | Accurate assessment of thrombosis risk in systemic lupus erythematosus | 2018 |
| 175 | ACOSVA | Advanced Characterization of Organic-rich Shales using Vapour Adsorption | 2018 |
| 176 | Browsec | Foundations and Tools for Client-Side Web Security | 2018 |
| 177 | CAPPERAM | Contrast Agents for Protontherapy PET Range Monitoring | 2018 |
| 178 | MQC | Maintaining Quantum Coherence for Quantum Information Applications | 2018 |
| 179 | BPR4GDPR | Business Process Re-engineering and functional toolkit for GDPR compliance | 2018 |
| 180 | ION | Information Diffusion on Networks | 2019 |
| 181 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 182 | ARIAS | Advanced Research Into Aeromechanical Solutions | 2018 |
| 183 | PaVeS | Parametrized Verification and Synthesis | 2018 |
| 184 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 185 | KERMA | A NEW VERIFICATION SYSTEM FOR COMPLEX RADIOTHERAPY TREATMENTS | 2018 |
| 186 | PureWater | Feasibility study for industrial scale-up of the novel high-efficiency biocompatible and easy-to-operate water treatment membrane. | 2018 |
| 187 | Triboconditioning | Development of an innovative and cost-efficient process for friction and wear reduction | 2018 |
| 188 | Qosmology | Quantum Effects in Early Universe Cosmology | 2018 |
| 189 | FREESPACE | Free-space optical transmission links with unprecedented receiver sensitivity | 2018 |
| 190 | AST | Automatic System Testing | 2019 |
| 191 | TESLA | Living on the Edge: Tunable Electronics from Edge Structures in 1D Layered Materials | 2019 |
| 192 | CEWASTE | Voluntary certification scheme for waste treatment | 2018 |
| 193 | MIDAS | Modular and Integrated Digital Probe for SAT Aircraft Air Data System | 2018 |
| 194 | SPARKs | Static Analysis for the VErification of Spreadsheets | 2019 |
| 195 | SocialTruth | Open Distributed Digital Content Verification for Hyper-connected Sociality | 2018 |
| 196 | QualiChain | Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation | 2019 |
| 197 | BEACON | Boosting Agricultural Insurance based on Earth Observation data | 2019 |
| 198 | TecALSens | Advanced Load Sensing technology for Aerospace Application | 2018 |
| 199 | IDEN | Innovative Distributed Electrical Network | 2018 |
| 200 | BinCola | Evaluation of the Benefits of innovative Concepts of laminar nacelle and HTP installed on a business jet configuration | 2018 |
| 201 | PROVENANCE | Providing Verification Assistance for New Content | 2018 |
| 202 | SARMENTI | Smart multisensor embedded and secure system for soil nutrient and gaseous emission monitoring | 2019 |
| 203 | ADVANCE | Addressing Verification and Validation Challenges in Future Cyber-Physical Systems | 2019 |
| 204 | CroP | Leveraging predictive technologies to increase operational & cost efficiencies in the European cargo claims value chain. | 2018 |
| 205 | VERICOMP | Foundations of Verifiable Computing | 2019 |
| 206 | PASS | Program Analysis for Safe and Secure Software Evolution | 2019 |
| 207 | VerifiedID | The online platform for Identity Verification that gives back personal data ownership to the citizens | 2018 |
| 208 | SPHINX | A Universal Cyber Security Toolkit for Health-Care Industry | 2019 |
| 209 | WeVerify | WIDER AND ENHANCED VERIFICATION FOR YOU | 2018 |
| 210 | EUNOMIA | User-oriented, secure, trustful & decentralised social media | 2018 |
| 211 | UNICORE | A Common Code Base and Toolkit for Deployment of Applications to Secure and Reliable Virtual Execution Environments | 2019 |
| 212 | justITSELF | Just-in-time Self-Verification of Autonomous Systems | 2019 |
| 213 | CerQuS | Certified Quantum Security | 2019 |
| 214 | LOQR | Digital Identity Management Platform: Verifying, Authenticating and Managing the end-to-end Digital Identity Lifecycle | 2019 |
| 215 | Smart Certificate | The trusted solution for issuing certified documents to the blockchain, checkable in just a click | 2018 |
| 216 | DIAPASoN | Differential Program Semantics | 2019 |
| 217 | NG-EGSE | Next Generation Modular EGSE Architecture | 2019 |
| 218 | QAFA | Quantum Algorithms from Foundations to Applications | 2019 |
| 219 | BIO2G | Technology for 2G biofuel and biosolvents production verified in a pilot plant | 2019 |
| 220 | NEWTRAL | First real-time fact-checking tool to fight against the fake news and disinformation | 2019 |
| 221 | Eddie | Eddie – smart neurorehabilitation software | 2019 |
| 222 | ACCENTO | ACCENTO (Active Clearence Contol dEsigN and characTerizatiOn). Advanced investigations on different Low Pressure Turbine Active Clearance Control (LPTACC) system by means of CFD and experiments. | 2019 |
| 223 | WIBOND | WING BOX BONDING | 2019 |
| 224 | SOMA | Social Observatory for Disinformation and Social Media Analysis | 2018 |
| 225 | FIVER | Innovative solution for FMS computed trajectories validation by means of pilot actions emulation, comparison with PANS-OPS criteria and data mining techniques. | 2018 |
| 226 | EMULRADIO4RAIL | EMULATION OF RADIO ACCESS TECHNOLOGIES FOR RAILWAY COMMUNICATIONS | 2018 |
| 227 | GATE4RAIL | GNSS Automated Virtualized Test Environment for RAIL | 2018 |
| 228 | EngPTC2 | Exploring new technologies for the next generation pulse tube cryocooler below 2K | 2019 |
| 229 | FUN2MODEL | From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning | 2019 |
| 230 | GREEN-FRC | Fibre Reinforced Concrete with Recycled and Waste Materials Optimised for Improved Sustainability of Urban Projects | 2020 |
| 231 | CONPARA | Control parametric resonance of wave energy conversion systems | 2019 |
| 232 | ScalableControl | Scalable Control of Interconnected Systems | 2019 |
| 233 | EEPLIANT3 | Energy Efficiency Compliant Products 3 | 2019 |
| 234 | D4FLY | Detecting Document frauD and iDentity on the fly | 2019 |
| 235 | ALGOCERT | Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems | 2019 |
| 236 | ENSMOV | Enhancing the Implementation and Monitoring and Verification practices of Energy Saving Policies under Article 7 of the EED | 2019 |
| 237 | QualDeEPC | High-quality Energy Performance Assessment and Certification in Europe Accelerating Deep Energy Renovation (QualDeEPC) | 2019 |
| 238 | SMEmPower Efficiency | A holistic framework for Empowering SME's capacity to increase their energy efficiency | 2019 |
| 239 | CLS | Technology to use any standard microscope for correlative imaging | 2019 |
| 240 | ELEMENT | Effective Lifetime Extension in the Marine Environment for Tidal Energy | 2019 |
| 241 | WhiteMech | White-Box Self-Programming Mechanisms | 2019 |
| 242 | FinEERGo-Dom | Financing scheme for Energy Efficiency and Renewable energy Guaranteed in Deep renovations of building stock | 2019 |
| 243 | 5G-VICTORI | VertIcal demos over Common large scale field Trials fOr Rail, energy and media Industries | 2019 |
| 244 | iv4XR | Intelligent Verification/Validation for Extended Reality Based Systems | 2019 |
| 245 | CUSTOMER | Customizable Embedded Real-Time Systems: Challenges and Key Techniques | 2019 |
| 246 | 5G CONNI | Private 5G Networks for Connected Industries | 2019 |
| 247 | HIPERSIM | Automated, Fast Generation of High-Performance Instruction Set Simulators for Microprocessors | 2019 |
| 248 | DATACONTROL | DataControl: Reliable, Secure and Comprehensive cloud backup as a service solution | 2019 |
| 249 | IPUD | An Implantable Peritoneal Ultrafiltration Device that actively and continuously prevents fluid overload in congestive heart failure patients | 2019 |
| 250 | MechanoGPER | Development of GPER agonists as a novel therapeutic option for pancreatic cancer | 2019 |
| 251 | SafeNet | Safe Networks using P4 Programs | 2019 |
| 252 | Mag-ID | Magnetic identification | 2019 |
| 253 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 |
| 254 | TABASCO | Testing Advanced Basic Structures with novel Low-Cost Solutions | 2019 |
| 255 | FAVIT | FEASIBILITY ANALYSIS OF INNOVATIVE PRACTICES IN VIRTUAL TESTING METHODS FOR AIRCRAFT CERTIFICATION | 2019 |
| 256 | SmaCS | Smart Cabin System for cabin readiness | 2019 |
| 257 | AS-DISCO | AS-DISCO - Audio Suite for Disruptive Cockpit Demonstrator | 2019 |
| 258 | FunBlocks | Fundamental Building Blocks – Understanding plasticity in complex crystals based on their simplest, intergrown units | 2020 |
| 259 | SafeNcy | SafeNcy - the safe emergency trajectory generator | 2019 |
| 260 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 261 | AVANGARD | Advanced manufacturing solutions tightly aligned with business needs | 2019 |
| 262 | Bug-Flash | Coherent Back-Lasing from Atmospheric Insects | 2020 |
| 263 | ADMORPH | Towards Adaptively Morphing Embedded Systems | 2020 |
| 264 | bio-T | Enabling medical device vendors to realize the potential of the data collectible by their devices | 2019 |
| 265 | Dezyne Enterprise | The easiest way to build complete, correct and consistent embedded software for cyberphysical systems | 2019 |
| 266 | eBORDER | Secure and Wireless Multimodal Biometric Scanning Device for Passenger Verification Targeting Land and Sea Border Control | 2020 |
| 267 | OPTIMA | cOmmunication Platform for TraffIc ManAgement demonstrator | 2019 |
| 268 | Daego | Secure, reliable machine learning based technology platform for the creation and authentication of Digital Identities to enable safe digital transactions across Europe | 2019 |
| 269 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 270 | AVeriTeC | Automated Verification of Textual Claims | 2020 |
| 271 | LEAFHOUND | Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications | 2020 |
| 272 | TNT | Truth-not-Trust | 2020 |
| 273 | BLaSt | Better Languages for Statistics: foundations for non-parametric probabilistic programming | 2020 |