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
1992 Synthèse de spécifications de protocole à partir de spécifications de service
2022 Évaluation de la charge mentale des pilotes en manœuvre aérienne
1996 Contribution à l'amélioration des modélisations à objets
1997 Construction des machines à état abstrait à partir des modèles VHDL
2019 On challenges in training recurrent neural networks
2012 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2024 Self-supervision for reinforcement learning
2016 Optimization models and methods for real-time transportation planning in forestry
2024 FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation
1993 Étude de traduction entre les langages de spécification SDL et VHDL
2008 Design et implémentation sur FPGA d'un algorithme DES
2016 Comparing of radial and tangencial geometric for cylindric panorama
2025 Vers des jumeaux numériques intelligents en agriculture en environnement contrôlé : contributions conjointes en détection de fruits par vision et en simulation trans-domaines.
2021 Forecasting for operational planning of M1M systems
2016 Une heuristique de recherche à voisinage variable pour le problème du voyageur de commerce avec fenêtres de temps
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
2004 Modèles de langue en recherche d'information
2015 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
2013 Recognition of Facial Expressions with Autoencoders and Convolutional-Nets
2026 Facility location under customer preferences, cumulative demand, and market competition
2018 Advances in deep learning with limited supervision and computational resources
2026 L'inférence de type, étape par étape
2012 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2013 Détection de chute à l'aide d'une caméra de profondeur
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure
2018 Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
2009 Rendu d'images en demi-tons par diffusion d'erreur sensible à la structure
2005 Contribution à la conjecture d'Erdos-Farber-Lovász
2018 Lagrangian-based methods for single and multi-layer multicommodity capacitated network design
2002 Algorithmes pour le réarrangement des génomes par inversions
2021 Virtual reality therapy for Alzheimer’s disease with speech instruction and real-time neurofeedback system
2004 Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
2015 Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos
2017 Generative models for natural images
2023 Improving predictive behavior under distributional shift
2023 Parameter-efficient modeling and robust automatic evaluation of image captioning
2011 Un protocole de diffusion des messages dans les réseaux véhiculaires
2013 La résolution du problème de formation de cellules dans un contexte multicritère
1991 Étude de l'oubli dans un modèle connexionniste de mémoire associative
2023 Differentiable best response shaping
2021 Creation of a vocal emotional profile (VEP) and measurement tools
2024 Beyond the status quo in deep reinforcement learning
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
1998 Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides
2003 Modèles et algorithmes pour les enchères combinatoires
2000 Agent émotif dans un système tutoriel intelligent
2021 Renforcement de la sécurité à travers les réseaux programmables
2018 Estimation of Noisy Cost Functions by Conventional and Adjusted Simulated Annealing Techniques
1993 Variantes de la méthode du Recuit Simulé pour la coloration des graphes