The page lists 188 projects related to the topic "guarantees".
| # | |||
|---|---|---|---|
| 1 | COMPUTED | Computational User Interface Design | 2015 | 
| 2 | IODISPlay | IOD service mISsions PortfoLio | 2015 | 
| 3 | FREEWAT | FREE and open source software tools for WATer resource management | 2015 | 
| 4 | MyCyFAPP | Innovative approach for self-management and social welfare of Cystic Fibrosis patients in Europe: development, validation and implementation of a telematics tool. | 2015 | 
| 5 | UnCoVerCPS | Unifying Control and Verification of Cyber-Physical Systems | 2015 | 
| 6 | HECTOR | HARDWARE ENABLED CRYPTO AND RANDOMNESS | 2015 | 
| 7 | MIREGAS | Programmable multi-wavelength Mid-IR source for gas sensing | 2015 | 
| 8 | ESCUDO-CLOUD | Enforceable Security in the Cloud to Uphold Data Ownership | 2015 | 
| 9 | SERECA | Secure Enclaves for REactive Cloud Applications | 2015 | 
| 10 | SPOOC | Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols | 2015 | 
| 11 | ERANet SmartGridPlus | ERA-Net Smart Grids Plus: support deep knowledge sharing between regional and European Smart Grids initiatives | 2015 | 
| 12 | Flex4Grid | Prosumer Flexibility Services for Smart Grid Management | 2015 | 
| 13 | PROSAFE | Promoting the Implementation of Safe by Design | 2015 | 
| 14 | SUNShINE | Save your bUildiNg by SavINg Energy – towards 202020m2 of deeply renovated multifamily residential buildings | 2015 | 
| 15 | EPC_PLUS | Energy Performance Contracting Plus | 2015 | 
| 16 | TYPES | Towards transparencY and Privacy in the onlinE advertising businesS | 2015 | 
| 17 | ToEfDeCo | Towards Guaranteeing the Right to Effective Assistance of Defence Counsel in Member States in Trans-border Criminal Cases | 2016 | 
| 18 | SMP | THE SUSTAINABLE MOBILITY PLANNER (SMP) | 2015 | 
| 19 | MCTDC | Multi-channel time-to-digital converter sensor with ultra high resolution | 2015 | 
| 20 | EinsteinVRH | Einstein Relation for the Variable Range Hopping model | 2016 | 
| 21 | A2F Conference | Presidency Conference on Access to Finance for Research, Innovation and Growth | 2014 | 
| 22 | First InnovativeWeek | This 3 day conference will be focused to the financial instruments, facilities and measures launched under Horizon 2020 to enhance access to finance for research, innovation and SMEs. | 2015 | 
| 23 | VirtuWind | Virtual and programmable industrial network prototype deployed in operational Wind park | 2015 | 
| 24 | LASSO | Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems | 2015 | 
| 25 | ExaNeSt | European Exascale System Interconnect and Storage | 2015 | 
| 26 | MANGO | MANGO: exploring Manycore Architectures for Next-GeneratiOn HPC systems | 2015 | 
| 27 | OX-SIHA | INTEGRAL WATER SANITATION SYSTEM | 2015 | 
| 28 | VegaAlga | Sustainable agricultural eco-system: business and technological solution for eco-conscious vegetable cultivation using on-site produced algae fertilizer | 2015 | 
| 29 | HERCULES | High-Performance Real-time Architectures for Low-Power Embedded Systems | 2016 | 
| 30 | COCOA CLOUD | COllaborative CO-creation of web Applications on the CLOUD | 2015 | 
| 31 | AUNPALL | DEVELOPMENT OF A NEW AUTOMATED MACHINE TO UNWRAP PALLETS EFFICIENTLY AND SAFELY | 2015 | 
| 32 | FOVEDIS | Formal specification and verification of distributed data structures | 2016 | 
| 33 | Local State | State Formation Through the Local Production of Property and Citizenship | 2016 | 
| 34 | REPROGRAM | Targeting epigenetic REPROGRamming of innate immune cells in Atherosclerosis Management and other chronic inflammatory diseases | 2016 | 
| 35 | UniServer | A Universal Micro-Server Ecosystem by Exceeding the Energy and Performance Scaling Boundaries | 2016 | 
| 36 | FEUTURE | The Future of EU-Turkey Relations. Mapping Dynamics and Testing Scenarios | 2016 | 
| 37 | GRAPHCPX | A graph complex valued field theory | 2016 | 
| 38 | ProFoundNet | Probabilistic Foundations for Networks | 2016 | 
| 39 | TOCNeT | Teaching Old Crypto New Tricks | 2016 | 
| 40 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 | 
| 41 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 | 
| 42 | VISSUALLY | Customised exhibit solutions through visual innovation | 2016 | 
| 43 | 3DKF | PIX DENTAL SYSTEM: FEASIBILITY STUDY | 2016 | 
| 44 | VORTSHEET | Vortex sheets - from new intuitions to crucial questions. | 2017 | 
| 45 | Urban_Wins | Urban metabolism accounts for building Waste management Innovative Networks and Strategies | 2016 | 
| 46 | APEG | Algorithmic Performance Guarantees: Foundations and Applications | 2016 | 
| 47 | SIFRm | Semantic Indexing of French Biomedical Data Resources - mobility | 2016 | 
| 48 | SCALABLA | SCALABLA: a platform for elastic multimedia communications enabling natural social interaction and personalization | 2016 | 
| 49 | CUBETTO | New CUBic shElter concepT TO foster living responses | 2016 | 
| 50 | HITSUPERJU | Higher-dimensional topological solids realized with multiterminal superconducting junctions | 2016 | 
| 51 | PREKARN | The learning of prehistory of knapping stone | 2016 | 
| 52 | POWERVE | Portable Weigher for Railway Vehicles | 2016 | 
| 53 | VERDI | polyValent mEsopoRous nanosystem for bone DIseases | 2016 | 
| 54 | HyproCell | Development and validation of integrated multiprocess HYbrid PROduction CELLs for rapid individualized laser-based production | 2016 | 
| 55 | BASMATI | Cloud Brokerage Across Borders for Mobile Users and Applications | 2016 | 
| 56 | MOSAIC | MOdular high concentration SolAr Configuration | 2016 | 
| 57 | NICENAV | Navigation-grade ITAR-free Certifiable Equipment for the Navigation of Air Vehicle, based onFOG technology | 2016 | 
| 58 | NovelTopo | Novel topological phases of matter: From topological invariants to experiments | 2016 | 
| 59 | CA-RES3 | Concerted Action supporting the transposition and implementation of Directive 2009/28/EC on the promotion of the use of energy from renewable sources (RES Directive) | 2016 | 
| 60 | TBTF | Addressing Too Big to Fail: Resolution, Organizational Structure, and Funding of Global Banks | 2016 | 
| 61 | OWANDBO | Smart secure system to share resources between OWners AND BOrrowers in a peer-to-peer collaborative consumption market | 2016 | 
| 62 | GREENBIOCATALYST | NEW GENERATION OF BIOCATALYSTS FOR THE CHEMICAL INDUSTRY | 2016 | 
| 63 | ILIAD | Intra-Logistics with Integrated Automatic Deployment: safe and scalable fleets in shared spaces | 2017 | 
| 64 | ERIDIAN | Ensured Randomness Integrity in Device-Independent Networks | 2016 | 
| 65 | RACCOON | A Rigorous Approach to Consistency in Cloud Databases | 2017 | 
| 66 | PRE-EST | Preparatory Phase for the European Solar Telescope | 2017 | 
| 67 | SWORD | Security Without Obscurity for Reliable Devices | 2017 | 
| 68 | PEAC | Provably-Correct Efficient Algorithms for Clustering | 2017 | 
| 69 | CHINO | The Health Data Security Platform for EU Developers Enterprises | 2017 | 
| 70 | EPILIPIN | Deciphering the role of oxylipins in the epigenetic mechanisms controlling plant immunization. | 2018 | 
| 71 | PADECOT | PArtial Differential Equation model-based COntrol of Traffic flow | 2017 | 
| 72 | GICA | Geolocalisation of Individuals in Critical Areas | 2017 | 
| 73 | SEQUOIA | Robust algorithms for learning from modern data | 2017 | 
| 74 | EENINNOAUSTRIA2 | Establishing Services Enhancing the Innovation Management Capacity of SMEs in the Enterprise Europe Network | 2017 | 
| 75 | MAGNET | Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques | 2017 | 
| 76 | ToRH | A Theory of Reliable Hardware | 2017 | 
| 77 | BITRECS | Biomedicine international training research programme for excellent clinician-scientists | 2017 | 
| 78 | OpSec | Goodmill - Operational Security Through Ensured Connectivity | 2017 | 
| 79 | EDU | EggDetect Unit, the first non-invasive technology to detect egg fertility pre-incubation and thechicken's gender pre-hatching | 2017 | 
| 80 | BigFastData | Charting a New Horizon of Big and Fast Data Analysis through Integrated Algorithm Design | 2017 | 
| 81 | DUVlight | Development of a compact, user-friendly and cost effective source for the generation of powerful and broad ultrashort pulses in the deep-UV | 2018 | 
| 82 | AQB-CARE | AQUABUDDY-CARE: A Groundbreaking Solution for Elderly and Disabled people with Reduced Mobility that Finally Enables Caregivers to Effectively and Safely Bathe/Shower them in their own Beds. | 2017 | 
| 83 | UR Browser | The first all-European web browser capable of guaranteeing comprehensive online privacy and security for EU Internet users | 2017 | 
| 84 | FORA | Fog Computing for Robotics and Industrial Automation | 2017 | 
| 85 | CORNET | Provably Correct Networks | 2018 | 
| 86 | VOQAL.AI | VOQAL.AI; A COLLABORATIVE OPEN SOURCE AND MULTILINGUAL PLATFORM FOR COST EFFECTIVE CHATBOTS AND VIRTUAL ASSISTANTS DEVELOPMENT | 2017 | 
| 87 | SVIS | Supervised Verification of Infinite-State Systems | 2018 | 
| 88 | CHANNELMAT | Microchannels for controlling cellular mechanotransduction | 2017 | 
| 89 | ENSPACE | Enhanced Navigation in Space | 2017 | 
| 90 | BEHAPI | Behavioural Application Program Interfaces | 2018 | 
| 91 | Signa2.0 | Signaturit | 2018 | 
| 92 | CLASS | Edge and CLoud Computation: A Highly Distributed Software Architecture for Big Data AnalyticS | 2018 | 
| 93 | MOLOKO | Multiplex phOtonic sensor for pLasmonic-based Online detection of contaminants in milK | 2018 | 
| 94 | INNOPREFAT | Natural Food formulation for the prevention and treatment the Obesity and Metabolic Syndrome obtained with herbal extracts | 2017 | 
| 95 | D-SynMA | Distributed Synthesis: from Single to Multiple Agents | 2018 | 
| 96 | HousEEnvest | Energy Efficiency Investments in multifamily houses | 2018 | 
| 97 | HAPPEN | Holistic AProach and Platform for the deep renovation of the med residential built ENvironment | 2018 | 
| 98 | PRS | PRS, a disruptive technology for the industrial repair of large series of reusable plastic articles in the circular economy | 2018 | 
| 99 | Verbatizer | A cutting edge transcription process and technology revolutionizing the transcription industry. | 2018 | 
| 100 | Zbox | ZBOX: THE NEXT GENERATION OF FOLDABLE CONTAINERS | 2018 | 
| 101 | LiftMatch | Lifting Methods for Global Matching Problems | 2018 | 
| 102 | VILT-DEV | Virtual Instructor-Led IT Developer Training Program | 2018 | 
| 103 | Treat2ReUse | Treatment of Animal Waste to Reduce Gaseous Emissions and Promote Nutrient Reuse | 2019 | 
| 104 | Browsec | Foundations and Tools for Client-Side Web Security | 2018 | 
| 105 | ECHO | Harmonization of Regulation of Abusive Non-Judicial Debt Collection in the European Union: Models, Benefits and Challenges | 2019 | 
| 106 | SuPerCom | Sustainable Performance for High-Performance Embedded Computing Systems | 2018 | 
| 107 | SCOUT | Supporting Causal Conclusions from Observational Survival Studies | 2018 | 
| 108 | RECIPE | REliable power and time-ConstraInts-aware Predictive management of heterogeneous Exascale systems | 2018 | 
| 109 | 5G_GaN2 | Advanced RF Transceivers for 5G base stations based on GaN Technology. | 2018 | 
| 110 | OCAL | Optimal Control at Large | 2018 | 
| 111 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 | 
| 112 | SAPHIR | Scalable DSP algorithms for high performance hardware applied to 5G MaMi systems | 2018 | 
| 113 | ACCOPT | ACelerated COnvex OPTimization | 2018 | 
| 114 | EditMHC | How MHC-I editing complexes shape the hierarchical immune response | 2019 | 
| 115 | USEFUL WASTES | TECHNOLOGY FOR THE REUSE OF BRINES FROM REVERSE OSMOSIS | 2018 | 
| 116 | Solar Bank | Virtual Energy Trading IT System to couple photovoltaic production and electric vehicles charging. | 2018 | 
| 117 | AutoTADes | Automating Timed Automata Design | 2018 | 
| 118 | BioDermaCare | Advanced Hand Sanitizing and Compliance System for the Healthcare Sector | 2018 | 
| 119 | NS System | A real-time and continuous brain monitoring system to record and track brain activity and extract biomarkers for neurological conditions | 2018 | 
| 120 | SALLY R | Securing a healthy indoor air climate while saving energy in buildings with space technology | 2018 | 
| 121 | Wonderlogix STUDIO | End-to-end web platform for the design and implementation of Industrial Control Systems | 2018 | 
| 122 | Chino.io | The Data Security Platform for Health Application Developers | 2018 | 
| 123 | Schrott24 | Scrap dealing in the digital age: a transparent and efficient platform for price and supply chain management | 2018 | 
| 124 | Milis | Milis, a novel sweet protein for use as flavouring in the food and beverage industry | 2018 | 
| 125 | SOPaaS | Smart Ordering Plan as a Service | 2018 | 
| 126 | ReduceSearch | Rigorous Search Space Reduction | 2019 | 
| 127 | QIP | Towards a Quantitative Theory of Integer Programming | 2019 | 
| 128 | TOROS | A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems | 2019 | 
| 129 | UncertainENV | The Power of Randomization in Uncertain Environments | 2019 | 
| 130 | COMPRISE | Cost-effective, Multilingual, Privacy-driven voice-enabled Services | 2018 | 
| 131 | Euro-Argo RISE | Euro-Argo Research Infrastructure Sustainability and Enhancement | 2019 | 
| 132 | ASCLEPIOS | Advanced Secure Cloud Encrypted Platform for Internationally Orchestrated Solutions in Healthcare | 2018 | 
| 133 | ECHO | Practical Imaging and Inversion of Transient Light Transport | 2018 | 
| 134 | ECCO95 | The world’s fastest high definition 3D stereo laser scanner for highest quality in modern production environments | 2019 | 
| 135 | Hydrogreen | Towards local circular economy: biomass-based pyrogasification process for the production of green hydrogen | 2018 | 
| 136 | NU-CLEUS | Exploring coherent neutrino-nucleus scattering with gram-scale cryogenic calorimeters | 2019 | 
| 137 | IE-2018-Vienna | Innovative Enterprise Vienna 2018 | 2018 | 
| 138 | UTOPEST | Unified Theory of Efficient Optimization and Estimation | 2019 | 
| 139 | GLOBE | Global Governance and the European Union: Future Trends and Scenarios | 2019 | 
| 140 | SCARE | Side-Channel Aware Engineering | 2018 | 
| 141 | WATERMAX | First European Aeration Systems based on NANOBUBBLES TECHNOLOGY for Waste Water Treatment | 2019 | 
| 142 | RayVS1 | A unique radar sensor system to monitor movement and vital signs for elderly people in care homes | 2019 | 
| 143 | EENINNOAUSTRIA3 | Establishing Services Enhancing the Innovation Management Capacity of SMEs in the Enterprise Europe Network Austria | 2019 | 
| 144 | CPD | ADVANCED CATALYTIC DEPOLYMERIZATION TECHNOLOGY | 2019 | 
| 145 | COOL-SENS | Advanced monitoring solution to prevent losses and assure full transparency along the cold chain | 2019 | 
| 146 | CATTLECHAIN 4.0 | Enhancing farm productivity and guaranteeing CATTLE traceability and welfare with blockCHAIN | 2019 | 
| 147 | EQUALITY | CORRECTING INEQUALITY THROUGH LAW: HOW COURTS CONCEPTUALIZE EQUALITY IN THEIR CONSTITUTIONAL JURISPRUDENCE | 2019 | 
| 148 | Founders | Assessing the economic role of the founder crops prior to the emergence of agriculture | 2020 | 
| 149 | SEDILAND | Sediment regime disturbance of river catchments in a changing land cover context: Geoenvironmental and population dynamics | 2019 | 
| 150 | BOIL-MODE-ON | unraveling nucleate BOILing: MODEling, mesoscale simulatiONs and experiments | 2019 | 
| 151 | AmBIENCe | Active managed Buildings with Energy performaNce Contracting | 2019 | 
| 152 | B-different | The RNA-Binding Protein ZFP36L1 regulates the terminal differentiation of B lymphocytes | 2020 | 
| 153 | SmartCHP | Smart and flexible heat and power from biomass derived liquids for small-scale CHP application | 2019 | 
| 154 | GreenArc500 | The first effective oil and water pre-separator, enabling clean water release and fuel efficiency onboard ships | 2019 | 
| 155 | FRAMTID | Sustainable food packaging technology as an alternative to plastic | 2019 | 
| 156 | Drone Harmony | From flight mission planning for drones to 4D asset modelling | 2019 | 
| 157 | XSpectra | XSpectra: The Most Advanced Real Time Food Contaminants Detector | 2019 | 
| 158 | ZENEO | ZENEO® Adrenaline Needle-free adrenaline pre-filled autoinjector rescues you from an anaphylactic shock | 2019 | 
| 159 | REGATRACE | REnewable GAs TRAde Centre in Europe | 2019 | 
| 160 | PuppetPlays | Reappraising Western European Repertoires for Puppet and Marionette Theatres | 2019 | 
| 161 | REAL | local Renewable-based Energy Autonomy from the transformation of solid recovery fueL | 2019 | 
| 162 | ALGABOOSTER | Marine microalgae immunostimulant complex to boost the competitiveness of the EU aquaculture sector | 2019 | 
| 163 | IPUD | An Implantable Peritoneal Ultrafiltration Device that actively and continuously prevents fluid overload in congestive heart failure patients | 2019 | 
| 164 | EULAT Eradicate GBC | Establishment and Exploitation of a European-Latin American Research Consortium towards Eradication of Preventable Gallbladder Cancer | 2019 | 
| 165 | De-RISC | De-RISC: Dependable Real-time Infrastructure for Safety-critical Computer | 2019 | 
| 166 | VAPLCS | Verification-Aware Programming Language Concurrency Semantics | 2020 | 
| 167 | TPAAE | Transcultural Perspective in Art and Art Education | 2020 | 
| 168 | SWING | Signals, Waves, and Learning: A Data-Driven Paradigm for Wave-Based Inverse Problems | 2020 | 
| 169 | PRS | PRS, an industrial repair system for large series of reusable plastic articles in a circular economy | 2019 | 
| 170 | REBOUND | An algorithmic framework for reducing bias and polarization in online media | 2020 | 
| 171 | DIH4CPS | Fostering DIHs for Embedding Interoperability in Cyber-Physical Systems of European SMEs | 2020 | 
| 172 | ACCORDION | Adaptive edge/cloud compute and network continuum over a heterogeneous sparse edge infrastructure to support nextgen applications | 2020 | 
| 173 | GREEN-MAP | NOVEL GREEN POLYMERIC MATERIALS FOR MEDICAL PACKAGING AND DISPOSABLES TO IMPROVE HOSPITAL SUSTAINABILITY | 2020 | 
| 174 | Rising STARS | RISE International Network for Solutions Technologies and Applications of Real-time Systems | 2020 | 
| 175 | FFEs | Frozen Fried Eggs: Industrial process for the manufacture of frozen fried eggs | 2019 | 
| 176 | 1-SWARM | Integrated development and operations management framework for cyber-physical systems of systems under the paradigm of swarm intelligence | 2020 | 
| 177 | E-Optimum | Energy leading-edge technology for high performance gear shaping machines | 2020 | 
| 178 | AdjustNet | Self-Adjusting Networks | 2020 | 
| 179 | HSS | Homomorphic Secret Sharing: Secure Computation and Beyond | 2020 | 
| 180 | EENINNOAUSTRIA4 | Establishing Services Enhancing the Innovation Management Capacity of SMEs in the Enterprise Europe Network Austria | 2020 | 
| 181 | SCFTAlg | Algebraic Foundations of Supersymmetric Quantum Field Theory | 2020 | 
| 182 | OPTIMAL | Coming-of-age of Process Research: Connecting Theory with Measurement and Modelling | 2020 | 
| 183 | NANOMORT | Development of a novel and ecologic mortar based on nanoparticles of lime and organic additives for the repair of Built Heritage and new construction | 2020 | 
| 184 | PropRT | Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | 2020 | 
| 185 | DiStRes | Disentangling the stringent response to engineer novel anti-persister drugs | 2020 | 
| 186 | NEANDER-TALe | Origins and Evolution of the Neanderthal Cranial Morphology | 2021 | 
| 187 | SmartSAST | Non-covalent photoresponsive tags for photoacoustic imaging: Giving voice to living matter | 2020 | 
| 188 | DeFacto | Design Automation for Smart Factories | 2020 |