Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

CORDIS reúne toda la información sobre los proyectos financiados por Horizonte 2020 , y ahora también resúmenes de los informes relacionados. Se puede descargar toda la documentación de estos proyectos en el Portal de datos abiertos de la UE .

My refinements

  • Tema:
  • Aplicaciones de tecnología de la información y la comunicación Delete refinement

Download results of this page


Restringir por:

Programa

Otros
Todo
CIP (120)

Tipo de contenido

Proyecto (913)
Resultado resumido (318)
Informe resumido (152)

País

Alemania (682)
Argentina (1)
Armenia (1)
Australia (9)
Austria (218)
Brasil (4)
Bulgaria (35)
Bélgica (286)
Canadá (4)
Chequia (71)
China (9)
Chipre (29)
Corea del Sur (2)
Croacia (21)
Dinamarca (92)
Eslovaquia (27)
Eslovenia (60)
España (455)
Estados Unidos (21)
Estonia (33)
Finlandia (128)
Francia (492)
Gibraltar (1)
Grecia (244)
Groenlandia (1)
Hungría (80)
India (4)
Indonesia (1)
Irlanda (126)
Islandia (14)
Israel (86)
Italia (511)
Japón (8)
Letonia (24)
Liechtenstein (1)
Lituania (21)
Luxemburgo (18)
Malta (11)
Montenegro (1)
México (1)
Mónaco (1)
Noruega (93)
Nueva Zelanda (2)
Países Bajos (312)
Polonia (101)
Portugal (110)
Reino Unido (568)
Rumanía (53)
Rusia (11)
Serbia (30)
Singapur (1)
Sudáfrica (4)
Suecia (193)
Suiza (199)
Taiwán (2)
Turquía (36)

Advanced search

Búsqueda de proyectos y resultados

Results 1 - 10 of 1383
Results/page:
12 3 4 5 6 7 8 9 10 > >| 
Final Report Summary - PREPROCESSING (RIGOROUS THEORY OF PREPROCESSING)
The main research goal of this project was the quest for rigorous mathematical theory explaining the power and failure of heuristics. A large family of heuristics consists of preprocessing techniques, also known as data reduction or kernelization. Preprocessing means reducing...
Programme: FP7-IDEAS-ERC
Record Number: 187194
Last updated on: 2016-07-20
RIGOROUS THEORY OF PREPROCESSING
[PROYECTO] PREPROCESSING - RIGOROUS THEORY OF PREPROCESSING
ID: 267959
Fecha de inicio: 2011-04-01, Fecha de finalización: 2016-03-31
The main research goal of this project is the quest for rigorous mathematical theory explaining the power and failure of heuristics. The incapability of current computational models to explain the success of heuristic algorithms in practical computing is the subject of wide d...
Programme: FP7-IDEAS-ERC
Record Number: 97611
Last updated on: 2017-06-26
Final Report Summary - VERIWARE (From Software Verification to Everyware Verification)
“It is the start of school term and Amy is getting her daughter Ariel ready for school. She checks her smartwatch, which advises her to reduce stress and exercise more. Ariel has chronotropic deficiency and does not tolerate exercise, but she has been much better since she...
Programme: FP7-IDEAS-ERC
Record Number: 189599
Last updated on: 2016-10-07
From Software Verification to Everyware Verification
ID: 246967
Fecha de inicio: 2010-05-01, Fecha de finalización: 2016-04-30
In the words of Adam Greenfield, the age of ubiquitous computing is here: a computing without computers, where information processing has diffused into everyday life, and virtually disappeared from view . Conventional hardware and software has evolved into everyware sensor-en...
Programme: FP7-IDEAS-ERC
Record Number: 94340
Last updated on: 2017-06-26
Mid-Term Report Summary - LBCAD (Lower bounds for combinatorial algorithms and dynamic problems)
The project so far led to several new discoveries and many other results which substantially deepen our understanding of computational complexity. The most suprising is the discovery of the concept of catalytic computation which runs counter to the usual lower-bound intuition...
Programme: FP7-IDEAS-ERC
Record Number: 191604
Last updated on: 2016-11-21
Lower bounds for combinatorial algorithms and dynamic problems
ID: 616787
Fecha de inicio: 2014-02-01, Fecha de finalización: 2019-01-31
This project aims to establish the time complexity of algorithms for two classes of problems. The first class consists of problems related to Boolean matrix multiplication and matrix multiplication over various semirings. This class contains problems such as computing transit...
Programme: FP7-IDEAS-ERC
Record Number: 192410
Last updated on: 2017-06-26
Optical Ultra-Sensor
[PROYECTO] OPUS - Optical Ultra-Sensor
ID: 341206
Fecha de inicio: 2014-11-01, Fecha de finalización: 2019-10-31
This project aims at pushing the limits of optical sensing on a microchip by orders of magnitude, thereby allowing for ultra-high sensitivity in optical detection and enabling first-time-ever demonstrations of several optical sensing principles on a microchip. My idea is base...
Programme: FP7-IDEAS-ERC
Record Number: 192343
Last updated on: 2017-06-26
High-Performance Secure Computation with Applications to Privacy and Cloud Security
ID: 615172
Fecha de inicio: 2014-10-01, Fecha de finalización: 2019-09-30
"Secure two-party and multiparty computation has long stood at the center of the foundations of theoretical cryptography. However, in the last five years there has been blistering progress on the question of efficient secure computation. We are close to the stage that secure ...
Programme: FP7-IDEAS-ERC
Record Number: 188662
Last updated on: 2015-03-11
Periodic Report Summary 2 - HIPS (High-Performance Secure Computation with Applications to Privacy and Cloud Security)
Secure multiparty computation enables parties with private inputs to carry out joint computations on their input without revealing anything but the result. This has applications to privacy preserving medical research and queries, private search, elections and auctions, and...
Programme: FP7-IDEAS-ERC
Record Number: 199511
Last updated on: 2017-06-21
Advanced Data-Driven Black-box modelling
[PROYECTO] A-DATADRIVE-B - Advanced Data-Driven Black-box modelling
ID: 290923
Fecha de inicio: 2012-04-01, Fecha de finalización: 2017-03-31
Making accurate predictions is a crucial factor in many systems (such as in modelling energy consumption, power load forecasting, traffic networks, process industry, environmental modelling, biomedicine, brain-machine interfaces) for cost savings, efficiency, health, safety a...
Programme: FP7-IDEAS-ERC
Record Number: 102083
Last updated on: 2016-01-08
12 3 4 5 6 7 8 9 10 > >| 
List retrieved on: 2017-06-27