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 .

Download results of this page


Browse by:

Subject

Aerospace Technology (864)
Agriculture (28)
Biotechnology (29)
Construction Technology (3)
Coordination and Cooperation (2935)
Earth Sciences (281)
Economic Aspects (398)
Education and Training (496)
Electronics and Microelectronics (3044)
Energy Saving (21)
Energy Storage and Energy Transport (2)
Environmental Protection (374)
Evaluation (38)
Food (32)
Forecasting (132)
Industrial Manufacture (684)
Information Processing and Information Systems (8258)
Information and Media (867)
Information and communication technology applications (456)
Innovation and Technology Transfer (1787)
Legislation and Regulations (2)
Life Sciences (535)
Materials Technology (58)
Mathematics and Statistics (76)
Measurement Methods (21)
Medicine and Health (423)
Meteorology (134)
Nanotechnology and Nanosciences (30)
Network technologies (313)
Nuclear Fission (2)
Nuclear Fusion (2)
Other Technology (1)
Physical sciences and engineering (585)
Policies (110)
Radiation Protection (8)
Reference Materials (1)
Regional Development (114)
Resources of the Sea and Fisheries (142)
Robotics (26)
Safety (360)
Scientific Research (3394)
Security (26)
Social sciences and humanities (1363)
Standards (16)
Telecommunications (9085)
Transport (393)
Waste Management (11)

Programme

Other
All
ECSC-STEELRES 6C (1)
ET-LEONARDO DA VINCI 1 (8)
FP1-BAP (2)
FP1-BRITE (12)
FP1-DECOM 2C (1)
FP1-ENNONUC 3C (13)
FP1-ESPRIT 1 (1)
FP1-EURAM (2)
FP1-RADPROT 6C (1)
FP1-RAWMAT 3C (2)
FP1-STIMULATION 1C (4)
FP2-AIM 1 (43)
FP2-BCR 4 (52)
FP2-BRITE/EURAM 1 (1)
FP2-DECOM 3C (1)
FP2-DELTA 1 (30)
FP2-DRIVE 1 (78)
FP2-ESPRIT 2 (4)
FP2-FAST 3 (1)
FP2-JOULE 1 (2)
FP2-RACE 1 (95)
FP2-SCIENCE (3)
FP2-STEP (2)
FP3-AIM 2 (79)
FP3-AIR (2)
FP3-BRITE/EURAM 2 (7)
FP3-CRAFT (2)
FP3-DELTA 2 (30)
FP3-DRIVE 2 (68)
FP3-ENS (14)
FP3-ESPRIT 3 (7)
FP3-HCM (3)
FP3-JOULE 2 (4)
FP3-LIBRARIES (100)
FP3-MAT (2)
FP3-ORA (19)
FP3-RACE 2 (125)
FP3-TELMATPREP C (68)
FP4-ACTS (480)
FP4-BRITE/EURAM 3 (13)
FP4-ENV 2C (136)
FP4-ESPRIT 4 (1199)
FP4-ESSI 2 (77)
FP4-FAIR (1)
FP4-INCO (65)
FP4-INNOVATION (2)
FP4-MAST 3 (142)
FP4-TELEMATICS 2C (1153)
FP4-TMR (106)
FP4-TRANSPORT (12)
H2020-EU.2.1.1.
H2020-EU.2.1.1.1.
H2020-EU.2.1.1.3.
H2020-EU.4.b.
HS-TIDE 0 (37)
HS-TIDE 1 (58)
IC-COST (3)
IC-INTAS (3606)
IC-PECO/COPERNICUS (1)
IS-ECONTENT (109)
IS-IMPACT 2 (3)
IS-INFO2000 (4)
IS-SPRINT 1 (1)
IS-TEDIS 1 (12)
JRC-REMSENS 3C (8)
JRC-REMSENS 4C (17)
NAT-GR-OP-COM-PROD (34)
PRE-BEP (2)
PRE-ENVPROT 3C (1)
PRE-MAP (1)
PRE-MELREG C (2)
PRE-RADPROT 5C (2)
PRE-RAWMAT 2C (12)

Content type

Project (8442)
Result in Brief (3811)
Report Summary (3036)

Country

Albania (10)
Algeria (2)
Argentina (14)
Armenia (134)
Australia (30)
Austria (904)
Azerbaijan (50)
Belarus (313)
Belgium (1794)
Bosnia and Herzegovina (9)
Botswana (2)
Brazil (22)
Bulgaria (106)
Cambodia (2)
Cameroon (1)
Canada (49)
Chile (8)
China (67)
Colombia (5)
Costa Rica (2)
Croatia (22)
Cuba (1)
Cyprus (78)
Czech Republic (264)
Denmark (900)
Dominican Republic (1)
Ecuador (1)
Egypt (16)
Estonia (76)
Ethiopia (2)
Finland (824)
Former Yugoslav Republic of Macedonia (14)
France (4858)
Georgia (178)
Germany (5606)
Ghana (2)
Gibraltar (1)
Greece (1662)
Guatemala (1)
Hungary (280)
Iceland (38)
India (19)
Indonesia (2)
Ireland (749)
Israel (432)
Italy (3519)
Jamaica (2)
Japan (32)
Jordan (6)
Kazakhstan (151)
Kyrgyzstan (31)
Latvia (55)
Lebanon (3)
Lesotho (1)
Liechtenstein (1)
Lithuania (89)
Luxembourg (105)
Malawi (1)
Malaysia (4)
Mali (1)
Malta (31)
Mexico (5)
Moldova (82)
Montenegro (5)
Morocco (8)
Mozambique (4)
Namibia (1)
Netherlands (2197)
New Zealand (2)
Niger (1)
Nigeria (2)
Norway (561)
Palestine (2)
Paraguay (1)
Peru (5)
Philippines (2)
Poland (413)
Portugal (745)
Romania (162)
Russia (2661)
Rwanda (2)
San Marino (1)
Senegal (3)
Serbia (23)
Singapore (22)
Slovakia (100)
Slovenia (157)
South Africa (17)
South Korea (12)
Spain (2417)
Sweden (1324)
Switzerland (1097)
Syria (3)
Taiwan (5)
Tajikistan (12)
Tanzania (4)
Thailand (3)
Tunisia (7)
Turkey (79)
Turkmenistan (14)
Uganda (3)
Ukraine (756)
United Kingdom (5025)
United States (68)
Uruguay (7)
Uzbekistan (108)
Venezuela (1)
Vietnam (1)

Advanced search

Search projects and results

Results 1 - 10 of 15308
Results/page:
12 3 4 5 6 7 8 9 10 > >| 
Mid-Term Report Summary - SPECMATE (Specification Mining and Testing)
The SPECMATE project aims to extract specifications from software systems by means of automated test generation. Within SPECMATE, we develop robust and highly scalable automatic test generators for central domains such as Web sites, mobile apps, or service infrastructures;...
Programme: FP7-IDEAS-ERC
Record Number: 181886
Last updated on: 2016-04-20
Specification Mining and Testing
[PROJECT] SPECMATE - Specification Mining and Testing
ID: 290914
Start date: 2012-01-01, End date: 2016-12-31
"In the past decade, automated validation of software systems has made spectacular progresses. On the testing side, it is now possible to automatically generate test cases that effectively explore the entire program structure; on the verification side, we can now formally pro...
Programme: FP7-IDEAS-ERC
Record Number: 101762
Last updated on: 2015-03-10
Verifying and Synthesizing Software Compositions
ID: 321174
Start date: 2013-04-01, End date: 2018-03-31
One of the first things a programmer must commit to in developing any significant piece of software is the representation of the data. In applications where performance or memory consumption is important, this representation is often quite complex: the data may be indexed in ...
Programme: FP7-IDEAS-ERC
Record Number: 107220
Last updated on: 2016-05-02
Mid-Term Report Summary - VSSC (Verifying and Synthesizing Software Compositions)
We developed automatic methods for proving safety of infinite systems with applications to concurrent and distributed systems including software defined networks. These methods will improve the security of software systems and improve software productivity by early detection...
Programme: FP7-IDEAS-ERC
Record Number: 181873
Last updated on: 2016-05-03
Extreme biophysics: single molecule characterisation of extremophilic protein folding
ID: 258259
Start date: 2011-01-01, End date: 2016-09-30
"Extremophilic (extreme-loving) organisms have evolved unique features to enable them to function in extreme environmental conditions. Despite much progress in understanding extremophilic protein structure, there is a lack of quantitative information on the conformational dyn...
Programme: FP7-IDEAS-ERC
Record Number: 96816
Last updated on: 2015-09-10
Mid-Term Report Summary 2 - EXTREME BIOPHYSICS (Extreme biophysics: single molecule characterisation of extremophilic protein folding)
Life has adapted to a vast range of environmental conditions and it is now difficult to find any place on Earth devoid of life. Some conditions are extreme in the sense of being unfavourable to most eukaryotic life forms. The adaption of proteins played a key role in enabling...
Programme: FP7-IDEAS-ERC
Record Number: 180848
Last updated on: 2016-03-24
Global Optimization Methods in Computer Vision, Pattern Recognition and Medical Imaging
ID: 209480
Start date: 2008-07-01, End date: 2013-06-30
Computer vision concerns itself with understanding the real world through the analysis of images. Typical problems are object recognition, medical image segmentation, geometric reconstruction problems and navigation of autonomous vehicles. Such problems often lead to complica...
Programme: FP7-IDEAS-ERC
Record Number: 87487
Last updated on: 2016-03-11
Final Report Summary - GLOBALVISION (Global Optimization Methods in Computer Vision, Pattern Recognition and Medical Imaging)
Computer vision concerns itself with understanding the real world through the analysis of images. Typical problems are object recognition, medical image segmentation, geometric reconstruction problems and navigation of autonomous vehicles. Such problems often lead to...
Programme: FP7-IDEAS-ERC
Record Number: 180834
Last updated on: 2016-03-08
Non-Rigid Shape Reconstruction and Deformation Analysis
ID: 267414
Start date: 2011-01-01, End date: 2016-12-31
"Deformable and non-rigid objects, both natural and artificial, surround us at all scales from nano to macro, and play an important role in many applications ranging from medical image analysis to robotics and gaming. Such applications require the ability to acquire, reconstr...
Programme: FP7-IDEAS-ERC
Record Number: 97566
Last updated on: 2015-08-03
Mid-Term Report Summary 2 - NORDIA (Non-Rigid Shape Reconstruction and Deformation Analysis)
Ron Kimmel’s group has significantly advanced the field of shape processing and analysis in various fronts. The group at the Technion has been working in the fields of applied and fundamental theoretic research exploring old and new geometries and importing tools from theory...
Programme: FP7-IDEAS-ERC
Record Number: 180827
Last updated on: 2016-03-24
12 3 4 5 6 7 8 9 10 > >| 
List retrieved on: 2017-02-23