2020

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

SLADE Elton

Project graduation Bachelor

2020

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

IMANI Jacqueline

Project graduation Bachelor

2019

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

YOSHI Madison

Project graduation Bachelor

2018

Apprentissage pour le controle de plateformes paralleles a large echelle

SYDNEY Aristotle

Project graduation Bachelor

2018

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

IONA Aline

Project graduation Bachelor

2016

Module de confiance pour externalisation de donnees dans le Cloud

ZACHERY Jasper

Project graduation Bachelor

2013

Architecture logicielle et outils pour systemes d'exploitation reconfigurables

GLORIA Dustin

Project graduation Bachelor