Community Research and Development Information Service - CORDIS

Results 31 - 40 of 223
Order by: Results/page:
|< < 3 45 6 7 8 9 10 11 12 > >| 
Understanding the Hardness of Theorem Proving
ID: 279611
Start date: 2012-07-01, End date: 2018-06-30
This project aims to explore the fundamental question in computer science and mathematics regarding what computational problems can feasibly be solved on a computer. More specifically, we want to study algorithms for proving logic formulas as well as impossibility results for...
Programme: FP7-IDEAS-ERC
Record Number: 100596
Last updated on: 2017-06-21
In-situ metrology for the controlled growth and interfacing of nanomaterials
ID: 279342
Start date: 2011-12-01, End date: 2016-11-30
This proposal will use novel in-situ metrology to probe the atomic level mechanisms that govern the growth and device behaviour of nanomaterials in realistic process environments. We focus on the catalytic chemical vapour deposition of carbon nanotubes, graphene, Si/Ge nanowi...
Programme: FP7-IDEAS-ERC
Record Number: 100118
Last updated on: 2017-06-21
Direct and Indirect Searches for New Physics with Diboson Final States at ATLAS
ID: 279170
Start date: 2011-12-01, End date: 2016-11-30
The Large Hadron Collider (LHC) at the European Organisation for Nuclear Research (CERN) promises a major step forward in the understanding of the fundamental nature of matter. Four large experiments at the LHC are complementary addressing the question of the origin of our Un...
Programme: FP7-IDEAS-ERC
Record Number: 101464
Last updated on: 2017-06-21
The Moment of Truth for WIMP Dark Matter
[PROJECT] WIMPS KAIROS - The Moment of Truth for WIMP Dark Matter
ID: 277591
Start date: 2011-11-01, End date: 2016-10-31
Identifying Dark Matter is a top priority in Particle Physics and Cosmology. Among Dark Matter candidates, WIMPs (weakly interacting massive particles) play a special role, since they naturally arise from well motivated extensions of the standard model of particle physics. As...
Programme: FP7-IDEAS-ERC
Record Number: 101085
Last updated on: 2017-06-21
The interplay between quantum coherence and environment in the photosynthetic electronic energy transfer and light-harvesting: a quantum chemical picture
ID: 277755
Start date: 2011-09-01, End date: 2016-08-31
Photon energy absorption and electronic energy transfer (EET) represents the first fundamental step in both natural and artificial light-harvesting systems. The most striking example is photosynthesis, in which plants, algae and bacteria are able to transfer the absorbed ligh...
Programme: FP7-IDEAS-ERC
Record Number: 100042
Last updated on: 2017-06-12
Mechanical modeling of interfaces in advanced materials and structures
ID: 279439
Start date: 2011-12-01, End date: 2016-11-30
This proposal aims at providing fundamental research results in computational mechanical modelling of structural interfaces at different scales, encompassing debonding and contact phenomena. Interfaces are present everywhere in the physical reality, and have a deep impact in ...
Programme: FP7-IDEAS-ERC
Record Number: 99952
Last updated on: 2017-06-12
Atomic Quantum Metrology
[PROJECT] AQUMET - Atomic Quantum Metrology
ID: 280169
Start date: 2012-01-01, End date: 2016-12-31
This project aims to detect magnetic fields with high spatial and temporal resolution and unprecedented sensitivity using ultra-cold atoms as interferometric sensors. The project will, on the one hand, test and demonstrate the most advanced concepts in the dynamic field of qu...
Programme: FP7-IDEAS-ERC
Record Number: 100262
Last updated on: 2017-06-05
Towards more efficient materials for technological processes
ID: 279520
Start date: 2012-01-01, End date: 2016-12-31
With the increasing need for efficient, energy-saving, and environmentally friendly procedures, adsorbents with tailored structures and tunable surface properties have to be found. To make an informed choice of material for a given application, one must first have knowledge o...
Programme: FP7-IDEAS-ERC
Record Number: 100781
Last updated on: 2017-06-05
Network Topology Complements Genome as a Source of Biological Information
ID: 278212
Start date: 2012-01-01, End date: 2017-12-31
Genetic sequences have had an enormous impact on our understanding of biology. The expectation is that biological network data will have a similar impact. However, progress is hindered by a lack of sophisticated graph theoretic tools that will mine these large networked datas...
Programme: FP7-IDEAS-ERC
Record Number: 101088
Last updated on: 2017-06-05
Modal analysis of atmospheric balance, predictability and climate
ID: 280153
Start date: 2011-12-01, End date: 2016-11-30
Despite large progress in modelling of atmospheric processes and computing capabilities and concentrated efforts to increase complexity of the atmospheric models, the assessment of accuracy of natural atmospheric climate variability, its predictability and interaction with an...
Programme: FP7-IDEAS-ERC
Record Number: 99858
Last updated on: 2017-05-29
|< < 3 45 6 7 8 9 10 11 12 > >| 
List retrieved on: 2017-11-19
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top