Community Research and Development Information Service - CORDIS

Horizon 2020 project information and now also report summaries are available on CORDIS. All H2020 projects can be downloaded from the EU Open Data Portal .

My refinements


Download results of this page


Refine by:

Programme

FP7
All
FP7-IDEAS-ERC (21)

Content type

Project (7)
Result in Brief (6)
Report Summary (8)

Advanced search

Search projects and results

Results 1 - 10 of 21
Results/page:
12 3 > 
Mid-Term Report Summary - FIELDS-KNOTS (Quantum fields and knot homologies)
The project "Quantum Fields and Knot Homologies" is devoted to the analysis of relations between physics and mathematics, and more precisely – between quantum field theory and string theory, and mathematical knot theory and random matrix theory. Knot theory is a fascinating...
Programme: FP7-IDEAS-ERC
Record Number: 195428
Last updated on: 2017-03-13
Final Report Summary - PAAL (Practical Approximation Algorithms)
The goal of this proposal is the development and study of practical approximation algorithms. We base our study on theoretical models that can describe requirements for algorithms that make them practically efficient. Our research on approximation algorithms is...
Programme: FP7-IDEAS-ERC
Record Number: 183385
Last updated on: 2016-05-26
Practical Approximation Algorithms
ID: 259515
Start date: 2010-11-01, End date: 2015-10-31
The goal of this proposal is the development and study of practical approximation algorithms. We will base our study on theoretical models that can describe requirements for algorithms that make them practically efficient. We plan to develop an efficient and useful programmin...
Programme: FP7-IDEAS-ERC
Record Number: 96687
Last updated on: 2017-05-26
Final Report Summary - OGLEIV (Optical Gravitational Lensing Experiment: New Frontiers in Observational Astronomy)
The OGLE-IV long-term large-scale photometric sky survey started regular observations in March 2010. Since then it has been regularly monitoring thousands of square degrees of the most stellar dense regions of the sky containing over a billion of objects. Currently OGLE-IV is...
Programme: FP7-IDEAS-ERC
Record Number: 179252
Last updated on: 2016-03-15
Optical Gravitational Lensing Experiment: New Frontiers in Observational Astronomy
ID: 246678
Start date: 2010-01-01, End date: 2014-12-31
We apply for financial support for the new, fourth phase of the Optical Gravitational Lensing Experiment (OGLE-IV) - one of the largest scale sky surveys worldwide, operating continuously since 1992. During its operation the OGLE project contributed significantly to many fiel...
Programme: FP7-IDEAS-ERC
Record Number: 93185
Last updated on: 2017-05-25
Final Report Summary - SOSNA (Expressive Power of Tree Logics)
Buchi proved that over infinite words, monadic second-order logic has the same expressive power as a natural class of automata, which are currently called Buchi automata. This work was continued by Rabin, who extended to infinite trees the correspondence between monadic...
Programme: FP7-IDEAS-ERC
Record Number: 179333
Last updated on: 2016-03-14
Expressive Power of Tree Logics
ID: 239850
Start date: 2009-11-01, End date: 2014-10-31
Logics for expressing properties of labeled trees and forests figure importantly in several different areas of Computer Science, including verification (branching temporal logics) and database theory (many XML query languages). The goal of this project is to investigate the e...
Programme: FP7-IDEAS-ERC
Record Number: 92414
Last updated on: 2017-05-25
Final Report Summary - CNTM (Cryptography on Non-Trusted Machines)
The goal of this project was to study the methods for protecting cryptographic schemes against the attacks on cryptographic devices on which these schemes are implemented. The examples of such attacks include the malicious software intrusions (like e.g. viruses), the so-called...
Programme: FP7-IDEAS-ERC
Record Number: 180241
Last updated on: 2016-03-09
Cryptography on Non-Trusted Machines
ID: 207908
Start date: 2008-11-01, End date: 2013-10-31
This project is about the design of cryptographic schemes that are secure even if implemented on not-secure devices. The motivation for this problem comes from an observation that most of the real-life attacks on cryptographic devices do not break their mathematical foundatio...
Programme: FP7-IDEAS-ERC
Record Number: 88560
Last updated on: 2017-05-29
Functionalisation of Diluted Magnetic Semiconductors
ID: 227690
Start date: 2009-01-01, End date: 2013-12-31
Low-temperature studies of transition metal doped III-V and II-VI compounds carried out over the last decade have demonstrated the unprecedented opportunity offered by these systems for exploring physical phenomena and device concepts in previously unavailable combinations of...
Programme: FP7-IDEAS-ERC
Record Number: 89067
Last updated on: 2017-05-25
12 3 > 
List retrieved on: 2018-01-19
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top