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
2004 Système de vidéosurveillance et de monitoring
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2000 Système de configuration des politiques de gestion de réseaux
1989 Système de conception symbolique pour circuits intégrés à très grande échelle
2000 Système de colonie de fourmis GENI pour le problème du voyageur de commerce
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1990 Système d'aide à la décision et à la formation en matière de planification de réseaux téléphoniques
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-08 Syntactic inductive biases for deep learning methods
1999 Symétrie et sens de l'orientation dans les graphes
2017-04 Survey of Template-Based Code Generation
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2023-07 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2023-04 Sur l’application de la structure de graphes pour le calcul automatique de nombres de reproduction dans les modèles à compartiments déterministes
2024-03 Sur la génération d'exemples pour réduire le coût d'annotation
2000 Sur des méthodes et algorithmes de factorisation et leur application en cryptologie
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2020-05 Study and experimentation of cognitive decline measurements in a virtual reality environment
1990 Structures de données dynamiques pour la représentation de l'information spatiale
2016-08 Structured prediction and generative modeling using neural networks
2011-04 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
1990 Structuration des bases de connaissances par généralisation
2024-05 Strategic planning of intracity electric vehicle charging station locations with integrated advanced demand dynamics
2019-12 Stochastic optimization of staffing for multiskill call centers
2017-07 Stochastic mesh approximations for dynamic hedging with costs
2021-08 Steepest descent as Linear Quadratic Regulation