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 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2011 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2011 Un protocole de diffusion des messages dans les réseaux véhiculaires
2011 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
2011 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2011 Modélisation procédurale par composants
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2011 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
2011 Analyse de mouvements faciaux à partir d'images vidéo
2012 Détection des chutes par calcul homographique
2012 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2012 Mures : Un système de recommandation de musique
2012 Complexité raffinée du problème d'intersection d'automates
2012 Heuristic solution methods for multi-attribute vehicle routing problems
2012 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2012 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012 Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MAC
2012 A dynamic sequential route choice model for micro-simulation
2012 Key agreement against quantum adversaries
2012 From Classical to Quantum Secret Sharing
2012 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2012 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2012 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2012 Apprentissage automatique pour la détection de relations d'affaire
2012 L’extraction de phrases en relation de traduction dans Wikipédia
2012 Apprentissage machine efficace : théorie et pratique
2012 Complexité des homomorphismes de graphes avec listes
2012 « Resolution Search » et problèmes d’optimisation discrète
Nombre de résultats : 1485