Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
1992 Synthèse de spécifications de protocole à partir de spécifications de service
2002 Synthèse de EFSM observatrices à partir de spécifications HAAD
1992 Synthèse d'algorithmes de contrôle pour environnement réparti
1993 Synthèse automatique de l'algorithme d'Ibarra, Kim et Palis pour la programmation dynamique
2022 Syntactic inductive biases for deep learning methods
1999 Symétrie et sens de l'orientation dans les graphes
2017 Survey of Template-Based Code Generation
2009 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2016 Sur l’identification des états produits par une source quantique maximalement décorrélée
2023 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code