2020

Verification par model-checking de programmes concurrents parametres sur des modeles memoires faibles

SLADE Elton

Projet de fin d'études Licence

2020

Gestion des incoherences pour l'acces aux donnees en presence d'ontologies

IMANI Jacqueline

Projet de fin d'études Licence

2019

Deep Learning for morphokinetic information extraction on time lapse microscopy images of human embryo

YOSHI Madison

Projet de fin d'études Licence

2018

Apprentissage pour le controle de plateformes paralleles a large echelle

SYDNEY Aristotle

Projet de fin d'études Licence

2018

Maintenance Predictive de reseaux dequipements fondee sur des contraintes spatiales et temporelles

IONA Aline

Projet de fin d'études Licence

2016

Module de confiance pour externalisation de donnees dans le Cloud

ZACHERY Jasper

Projet de fin d'études Licence

2013

Architecture logicielle et outils pour systemes d'exploitation reconfigurables

GLORIA Dustin

Projet de fin d'études Licence