2019

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

CHARITY Leandra

Project graduation Bachelor

2011

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

QUINLAN Nichole

Project graduation Bachelor

2010

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

SYDNEY Aristotle

Project graduation Bachelor