2020

Enrichissement et peuplement dontologie a partir de textes et de donnees du LOD

JONAS Hector

Projet de fin d'études Licence

2017

Methodes et outils pour la specification et la preuve de proprietes difficiles de programmes sequentiels

CARLY Coby

Projet de fin d'études Licence

2011

Vers un developpement ethique et respectueux de la vie privee de l'intelligence artificielle en droit et justice

QUINLAN Nichole

Projet de fin d'études Licence

2011

Une approche basee sur le web semantique pour l'etude de trajectoires de vie

LINUS Kim

Projet de fin d'études Licence

2010

Neural language models : Dealing with large vocabularies

IMANI Jacqueline

Projet de fin d'études Licence