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
2011-08 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2011-08 Modélisation procédurale par composants
2011-08 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011-11 Génération efficace de graphes d’appels dynamiques complets
2011-12 Analyse de mouvements faciaux à partir d'images vidéo
2011-12 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution