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
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2023-02 Variations sur le protocole BB84 avec bases de polarisation secrètes
2021-07 Variational aleatoric uncertainty calibration in neural regression
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2021-11 Utilisation du plongement du domaine pour l’adaptation non supervisée en traduction automatique
1999 Utilisation d'hyper-paramètres pour la sélection de variables
2016-12 Utilisation des citations pour le résumé automatique de la contribution d'articles scientifiques
2014-01 Utilisation de représentations de mots pour l’étiquetage de rôles sémantiques suivant FrameNet
2004 Utilisation de miroirs dans un système de reconstruction interactif