Wspólnotowy Serwis Informacyjny Badan i Rozwoju - 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
Data rozpoczęcia: 2011-01-01, Data zakończenia: 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
[PROJEKT] CAC - Cryptography and Complexity
ID: 259426
Data rozpoczęcia: 2010-12-01, Data zakończenia: 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
[PROJEKT] ESKIN - Stretchable Electronic Skins
ID: 259419
Data rozpoczęcia: 2011-03-01, Data zakończenia: 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
Data rozpoczęcia: 2010-12-01, Data zakończenia: 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
Data rozpoczęcia: 2010-11-01, Data zakończenia: 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
Data rozpoczęcia: 2011-03-01, Data zakończenia: 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
Data rozpoczęcia: 2011-03-01, Data zakończenia: 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
Data rozpoczęcia: 2011-01-01, Data zakończenia: 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
[PROJEKT] MCUNLEASH - Model Checking Unleashed
ID: 259267
Data rozpoczęcia: 2010-12-01, Data zakończenia: 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
Data rozpoczęcia: 2010-10-01, Data zakończenia: 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-05-22
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę