2015

Finding inductive invariants using satisfiability modulo theories and convex optimization

AKEEM Jared

Project graduation Bachelor

2015

Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

WANG Ian

Project graduation Bachelor

2014

Tracking sans marqueur de modeles physiques modulaires et articules

AISSAOUI Salima

Project graduation Bachelor

2014

Outils pour la formalisation en analyse classique : une etude de cas en theorie du controle

AKEEM Jared

Project graduation Bachelor

2014

Factorisation des regions cubiques et application a la concurrence

AISSAOUI Salima

Project graduation Bachelor

2013

Integration automatisee de l'expertise du patient dans le suivi a distance de sa pathologie chronique

RAJA Larissa

Project graduation Bachelor

2013

Combining Heuristics for Optimizing and Scaling the Placement of IoT Applications in the Fog

LUKE Abra

Project graduation Bachelor

2010

Confiance et incertitude dans les environnements distribues : application a la gestion des donnees

ILLANA Phoebe

Project graduation Bachelor