2019

Formalisations en Coq pour la decision de problemes en geometrie algebrique reelle

CHARITY Leandra

Projet de fin d'études Licence

2011

Apprentissage des espaces de forme du modele 3d humain habille en mouvement

QUINLAN Nichole

Projet de fin d'études Licence

2010

Synchronisation d'oscillateurs biologiques : modelisation, analyse et couplage du cycle cellulaire et de lhorloge circadienne

SYDNEY Aristotle

Projet de fin d'études Licence