Community Research and Development Information Service - CORDIS

Results 31 - 40 of 201
Order by: Results/page:
|< < 3 45 6 7 8 9 10 11 12 > >| 
Games and Automata for Logic Extensions
ID: 259454
Start date: 2011-01-01, End date: 2015-12-31
This proposal aims at generalising the central decidability results of Büchi and Rabin to more general settings, and understanding the consequences of those extensions both at theoretical and applicative levels. The original results of Büchi and Rabin state the decidability o...
Programme: FP7-IDEAS-ERC
Record Number: 97598
Last updated on: 2017-05-29
Cryptography and Complexity
[PROJECT] CAC - Cryptography and Complexity
ID: 259426
Start date: 2010-12-01, End date: 2015-11-30
Modern cryptography has deeply rooted connections with computational complexity theory and other areas of computer science. This proposal suggests to explore several {\em new connections} between questions in cryptography and questions from other domains, including computatio...
Programme: FP7-IDEAS-ERC
Record Number: 96964
Last updated on: 2017-05-29
Stretchable Electronic Skins
[PROJECT] ESKIN - Stretchable Electronic Skins
ID: 259419
Start date: 2011-03-01, End date: 2016-02-29
Future electronic systems will be soft and elastic. I propose to explore the materials, technology and integration of stretchable electronic systems, which will transform at will, evenly coat a spherical lens, or smoothly interface with a delicate biological organ. Electronic...
Programme: FP7-IDEAS-ERC
Record Number: 97634
Last updated on: 2017-05-29
Classes of combinatorial objects: from structure to algorithms
ID: 259385
Start date: 2010-12-01, End date: 2015-11-30
The proposed project aims at analyzing fundamental problems from combinatorics using the most current methods available and at providing new structural and algorithmic insights to such problems. The problems considered will be treated on a general level of classes of combinat...
Programme: FP7-IDEAS-ERC
Record Number: 95233
Last updated on: 2017-05-29
Spin dynamics and transport at the quantum edge in low dimensional nanomaterials
ID: 259374
Start date: 2010-11-01, End date: 2015-10-31
Sustainable development in information technology calls for an ever increasing information processing and storage capability. A promising route to maintain exponential growth capability, i.e. to keep on the Moore's roadmap, is to turn to the electron spins as information carr...
Programme: FP7-IDEAS-ERC
Record Number: 96378
Last updated on: 2017-05-29
Large Scale Architectures with Nanometric Structured Interfaces for Charge Separation, Transport and Interception
ID: 259312
Start date: 2011-03-01, End date: 2016-02-29
This research is aimed at developing new architectures at the molecular, nanometric, and macroscopic scales for the design and study of light induced charge transport using synthetic systems. The strategic objective is to establish a comprehensive approach for constructing na...
Programme: FP7-IDEAS-ERC
Record Number: 96389
Last updated on: 2017-05-29
CAMAP: Computer Aided Modeling for Astrophysical Plasmas
ID: 259276
Start date: 2011-03-01, End date: 2017-02-28
This project will be aimed at obtaining a deeper insight into the physical processes taking place in astrophysical magnetized plasmas. To study these scenarios I will employ different numerical codes as virtual tools that enable me to experiment on computers (virtual labs) wi...
Programme: FP7-IDEAS-ERC
Record Number: 98078
Last updated on: 2017-05-29
Chemical EXchanges On WATER-rich worlds: Experimentation and numerical modelling
ID: 259285
Start date: 2011-01-01, End date: 2015-12-31
The present project is dedicated to the characterization of chemical exchanges within water-rich bodies including icy moons of Jupiter and Saturn as well as exoplanets that may be discovered in a near future. Recent spacecraft missions, Galileo (1996-2003) and Cassini-Huygens...
Programme: FP7-IDEAS-ERC
Record Number: 96847
Last updated on: 2017-05-29
Model Checking Unleashed
[PROJECT] MCUNLEASH - Model Checking Unleashed
ID: 259267
Start date: 2010-12-01, End date: 2015-11-30
Model checking is a technique which is being used successfully in automatic program. More than 25 years of research on model checking has brought forward various techniques and tricks which can handle complex tasks or just massive structures as caused by the state-space explo...
Programme: FP7-IDEAS-ERC
Record Number: 96942
Last updated on: 2017-05-29
InteGrated Laboratories to investigate the mechanics of ASeismic vs. Seismic faulting
ID: 259256
Start date: 2010-10-01, End date: 2015-09-30
Earthquakes are potentially catastrophic phenomena that have a huge impact on the environment and society. Understanding the physical processes responsible for earthquakes and faulting requires high quality data and direct observations of the underlying phenomena. However, no...
Programme: FP7-IDEAS-ERC
Record Number: 96075
Last updated on: 2017-05-29
|< < 3 45 6 7 8 9 10 11 12 > >| 
List retrieved on: 2018-01-24
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top