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 |