6 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Understanding the Hardness of Theorem Proving (UtHoTP)
Date du début: 1 juil. 2012, Date de fin: 30 juin 2017,
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 this problem.Proving formulas in propositional logic is a problem of immense importance both theoretically and practically. ...
Voir le projet
1
Participant partenaire
TERMINÉ
The Human Brain Project (HBP)
Date du début: 1 oct. 2013, Date de fin: 30 sept. 2016,
Understanding the human brain is one of the greatest challenges facing 21st century science. If we can rise to the challenge, we can gain profound insights into what makes us human, develop new treatments for brain diseases and build revolutionary new computing technologies. Today, for the first time, modern ICT has brought these goals within sight. The goal of the Human Brain Project, part of the ...
Voir le projet
116
Participants partenaires
TERMINÉ
Extensive UNIfied-domain SimulatiON of the human voice (Eunison)
Date du début: 1 mars 2013, Date de fin: 31 mai 2016,
Everyone needs their voice, and speech has a pivotal function in modern society. A detailed, working model of the voice would contribute to the human atlas and would find profound applications in fields such as speech technology, medical research, pedagogy, linguistics and the arts. But the physics are very intricate: we make the sounds of speech, song and emotions using multiple mechanisms; and t ...
Voir le projet
6
Participants partenaires
TERMINÉ
Statistical Physics Approaches to Networks Across Disciplines (NETADIS)
Date du début: 1 mars 2012, Date de fin: 29 févr. 2016,
"Networks are ubiquitous in all aspects of human existence. They manifest themselves in everyday life, they underpin the most advanced information and communication technologies, and they provide a powerful framework for addressing a wide spectrum of complex problems in the natural sciences, in engineering, and in economics and the social sciences. Networks, network-related science, and network-ba ...
Voir le projet
9
Participants partenaires
TERMINÉ
Usable and Efficient Secure Multiparty Computation (UaESMC)
Date du début: 1 févr. 2012, Date de fin: 31 juil. 2015,
In this project, we will bring the techniques and tools for Secure Multiparty Computation (SMC) to a level where they can be applied to decisional and computational problems of practical size in several different social and economic sectors. To achieve this, we will apply a multi-pronged research effort to build the theoretical foundations for the practical aspects of SMC application. Our project ...
Voir le projet
4
Participants partenaires
TERMINÉ
Approximation of NP-hard optimization problems (ApproxNP)
Date du début: 1 janv. 2009, Date de fin: 31 déc. 2014,
The proposed project aims to create a center of excellence that aims at understanding the approximability of NP-hard optimization problems. In particular, for central problems like vertex cover, coloring of graphs, and various constraint satisfaction problems we want to study upper and lower bounds on how well they can be approximated in polynomial time. Many existing strong results are based on ...
Voir le projet