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.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
1993 Variantes de la méthode Tabou pour la coloration de graphes
1992 Étude comparative de méthodologies de layout orienté
1992 Diagnostic tests for protocol implementations modeled by finite state machines
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2000-01 Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
2020-07 Multi-player games in the era of machine learning
2011-12 Tarification logit dans un réseau
1989 Générateur d'itinéraires d'enlèvement de la neige
2021-08 Mechanical characterization of rigid discrete interlocking materials
1988 Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
1989 Réalisation d'un système intelligent de manipulation de bases de données
2015-04 Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
1993 Agents et systèmes, une nécessaire unité
2014-11 Apprentissage des réseaux de neurones profonds et applications en traitement automatique de la langue naturelle
2014-04 Modélisation procédurale de mondes virtuels par pavage d'occultation
2014-04 Deep learning of representations and its application to computer vision
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2012-02 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2019-08 Deep active localization
2017-01 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1998 A study on two arc routing problems
2018-11 Improved training of generative models
2022-10 From specialists to generalists : inductive biases of deep learning for higher level cognition
2020-07 On two sequential problems : the load planning and sequencing problem and the non-normal recurrent neural network
1997 Towards a formal definition of security for quantum protocols
2015-04 L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité