Community Research and Development Information Service - CORDIS

Results 1 - 8 of 8
Order by: Results/page:
Predicting Properties of Large Heterogeneous Systems with Optimally-Tuned Range-Separated Hybrid Functionals
ID: 278380
Start date: 2011-09-01, End date: 2016-08-31
I propose to develop a broadly applicable, quantitatively reliable, computationally simple approach to the study of large heterogeneous systems, and to apply it to important problems in molecular and organic electronics and photovoltaics. This will be based on a radically dif...
Programme: FP7-IDEAS-ERC
Record Number: 100086
Last updated on: 2017-12-04
Flight Algorithms for Disaggregated Space Architectures
ID: 278231
Start date: 2011-10-01, End date: 2016-09-30
Standard spacecraft designs comprise modules assembled in a single monolithic structure. When unexpected situations occur, the spacecraft are unable to adequately respond, and significant functional and financial losses are unavoidable. For instance, if the payload of a space...
Programme: FP7-IDEAS-ERC
Record Number: 100569
Last updated on: 2017-11-20
Dynamics of Lie group actions on parameter spaces
ID: 279893
Start date: 2011-10-01, End date: 2016-09-30
There are many parallels between Lie group actions on homogeneous spaces and the action of $\SL_2(\R)$ and its subgroups on strata of translation or half-translation surfaces. I propose to investigate these two spaces in parallel, focusing on the dynamical behavior, and more ...
Programme: FP7-IDEAS-ERC
Record Number: 100284
Last updated on: 2017-05-22
Quantum Hamiltonian Complexity
ID: 280157
Start date: 2012-03-01, End date: 2017-11-30
Quantum computation suggests a revolution in technology and in cryptography, a completely new perspective on the foundations of theoretical computer science, and a different approach to the study of physical systems. One of the major new developments in quantum computation ov...
Programme: FP7-IDEAS-ERC
Record Number: 100317
Last updated on: 2016-11-23
Randomness and Computation
[PROJECT] RAC - Randomness and Computation
ID: 279559
Start date: 2011-10-01, End date: 2016-09-30
"This project is concerned with the necessity and availability of randomness in computation. This research area (often referred to as the ""Theory of Derandomization'') is one of the most active and exciting areas in theoretical computer science. We intend to study some of th...
Programme: FP7-IDEAS-ERC
Record Number: 100594
Last updated on: 2016-06-27
The Gamma Ray Burst – Supernova Connection
and Shock Breakout Physics
ID: 279369
Start date: 2012-01-01, End date: 2017-12-31
Long gamma ray bursts (long GRBs) and core-collapse supernovae (CCSNe) are two of the most spectacular explosions in the Universe. They are a focal point of research for many reasons. Nevertheless, despite considerable effort during the last several decades, there are still m...
Programme: FP7-IDEAS-ERC
Record Number: 100027
Last updated on: 2016-05-18
From correct to high-quality reactive systems
ID: 278410
Start date: 2012-01-01, End date: 2017-12-31
Formal verification is the study of algorithms and tools for the development of correct hardware and software designs. Two fundamental problems in formal verification are temporal logic model checking -- given a mathematical model of the system and a temporal-logic formula th...
Programme: FP7-IDEAS-ERC
Record Number: 99815
Last updated on: 2016-04-11
Novel Design of Nanostructures for Renewable Energy:
Fundamental Questions and Advanced Applications
ID: 278779
Start date: 2011-10-01, End date: 2016-09-30
Photovoltaics and liquid fuels are poised as major contributors to the global energy market, promising cleaner, renewable sources of energy than fossil fuels. However, the technologies required to make this possibility a reality are limited by their high cost per kWh, and cur...
Programme: FP7-IDEAS-ERC
Record Number: 100283
Last updated on: 2016-03-17
List retrieved on: 2018-05-21
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top