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
2014 Solution Methods for Service Network Design with Resource Management Consideration
2021 Some phenomenological investigations in deep learning
1992 Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents
1994 Spécification formelle et test pour boîte à outils X.25
2000 Spécifications en XML d'un langage de génération d'exercices pédagogiques
2016 Speech synthesis using recurrent neural networks
2022 Stability-aware simplification of curve networks
2021 Steepest descent as Linear Quadratic Regulation
2017 Stochastic mesh approximations for dynamic hedging with costs
2025 Strategic capacity planning and pricing : a choice-based approach
1990 Structures de données dynamiques pour la représentation de l'information spatiale
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2023 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2016 Sur l’identification des états produits par une source quantique maximalement décorrélée
2017 Survey of Template-Based Code Generation
1993 Synthèse automatique de l'algorithme d'Ibarra, Kim et Palis pour la programmation dynamique
1992 Synthèse de spécifications de protocole à partir de spécifications de service
1990 Système d'aide à la décision et à la formation en matière de planification de réseaux téléphoniques
2000 Système de configuration des politiques de gestion de réseaux
2004 Système de vidéosurveillance et de monitoring
1992 Système multimédia pour l'enseignement de la médecine dentaire
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2022 Taxonomy of datasets in graph learning : a data-driven approach to improve GNN benchmarking
2025 Technical methods for governing AI agents
1993 Test generation based on an FSM model with timers and counters
1993 Tests d'indépendance de deux séries chronologiques multivariées
1997 Texture volumique multi-échelle pour l'affichage de scènes complexes
2024 The equivalence of contrastive learning and graph convolution in collaborative filtering
1992 The LOTOS language :distributed implementation and fairness
2004 Théorie et pratique de la construction humaine supervisée du sens
2024 The role of continual learning and adaptive computation in improving computational efficiency of deep learning
2009 Timing verification in transaction modeling
1996 Topoï, un système de production d'argumentations dialectiques
2025 Towards accurate RNA structural evaluation : a study of RNA tertiary structural evaluation and ARES performance improvement
2025 Towards adaptive personalization in conversational search
2023 Towards a unified model for speech and language processing
2021 Towards computationally efficient neural networks with adaptive and dynamic computations
2020 Towards deep unsupervised inverse graphics
2019 Towards learning sentence representation with self-supervision
2022 Towards meaningful and data-efficient learning : exploring GAN losses, improving few-shot benchmarks, and multimodal video captioning
2020 Towards privacy preserving cooperative cloud based intrusion detection systems
2023 Towards the reduction of greenhouse gas emissions : models and algorithms for ridesharing and carbon capture and storage
2020 Towards using intelligent techniques to assist software specialists in their tasks
2009 Training deep convolutional architectures for vision
2023 Traitement automatique du langage naturel pour les textes juridiques : prédiction de verdict et exploitation de connaissances du domaine
2007 Traitement interactif de plis dans la simulation de tissus
1990 Transformations de programmes logiques : Bases sémantiques et applications
2015 Transformations quasi-conformes de maillages volumiques et applications en infographie
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2003 Un cadre d'application pour la visualisation des métriques orientées objet
Number of results : 604