6 European Projects Found
Searched on 125080 European Projects
FINISHED
Understanding the Hardness of Theorem Proving (UtHoTP)
Start date: Jul 1, 2012, End date: Jun 30, 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. ...
Read Project
1
Partner Participant
FINISHED
The Human Brain Project (HBP)
Start date: Oct 1, 2013, End date: Sep 30, 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 ...
Read Project
116
Partners Participants
FINISHED
Extensive UNIfied-domain SimulatiON of the human voice (Eunison)
Start date: Mar 1, 2013, End date: May 31, 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 ...
Read Project
6
Partners Participants
FINISHED
Statistical Physics Approaches to Networks Across Disciplines (NETADIS)
Start date: Mar 1, 2012, End date: Feb 29, 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 ...
Read Project
9
Partners Participants
FINISHED
Usable and Efficient Secure Multiparty Computation (UaESMC)
Start date: Feb 1, 2012, End date: Jul 31, 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 ...
Read Project
4
Partners Participants
FINISHED
Approximation of NP-hard optimization problems (ApproxNP)
Start date: Jan 1, 2009, End date: Dec 31, 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 ...
Read Project
