Rechercher des projets européens

2 projets européens trouvés

Recherche sur 125080 projets européens


Correctness by Construction (CORCON)

Date du début: 1 janv. 2014, Date de fin: 31 déc. 2017,

"As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also ...
Voir le projet



Algebraic statistics of general Markov models (TREEMODELS)

Date du début: 1 janv. 2013, Date de fin: 31 déc. 2015,

Statistical models are used in phylogenetics to recover the evolution of species. These models are generally highly complicated and the inference involves using some fragile numerical algorithms. The proposed project aims at an in-depth study of phylogenetic models from a mathematical point of view. We find it convenient to take a perspective of algebraic statistics, which is an emerging field foc ...
Voir le projet