3 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Breast Cancer Somatic Genetics Study (BASIS)
Date du début: 1 juil. 2010, Date de fin: 31 déc. 2014,
"All cancers arise due to somatically acquired mutations in their genomes which alter the function of key cancer genes. Understanding these critical mutational events underlying cancer development is paramount for advancing prevention, early detection, monitoring and treatment of the disease. Breast cancer is the most common class of cancer diagnosed in women worldwide with more than one million c ...
Voir le projet
16
Participants partenaires
TERMINÉ
Formalisation of Mathematics (FORMATH)
Date du début: 1 mars 2010, Date de fin: 31 juil. 2013,
We propose to developed libraries of formalized mathematics concerning linear algebra, real number computation, and algebraic topology. The main originality of this work will be to structure these libraries as a software development, relying on a basis that has already shown its power in the formal proof of the four color theorem, and to address topics that were mostly left untouched by previous r ...
Voir le projet
4
Participants partenaires
TERMINÉ
Co-operative Research on Environmental Problems in Europe (CRÊPE)
Date du début: 1 mai 2008, Date de fin: 30 nov. 2010,
Overall aim: The CRÊPE project will empower and resource civil society organisations (CSOs) to participate in co-operative research on agri-environmental issues, as a means to achieve these subsidiary aims: 1. Capabilities: To strengthen CSOs’ capacity to participate in research, while engaging with diverse perspectives and expertise, thus facilitating co-operation between researchers and non-re ...
Voir le projet