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
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
1989 Implantation exacte de transactions à l'aide de machines séquentielles
2011-04 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2000 Covérification des systèmes intégrés
2004 Planification de tournées de véhicules pour le problème de livraison à domicile
2010-08 Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules
1999 Symétrie et sens de l'orientation dans les graphes
2003 Comparaison de deux techniques de décodage pour la traduction probabiliste
2008 Novel multicast protocols in ad-hoc networks
2020-08 Entity-centric representations in deep learning
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2016-10 SLA violation prediction : a machine learning perspective
2024-04 Generative models, theory and applications
2012-11 Mures : Un système de recommandation de musique
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
2023-08 Co-simulation for controlled environment agriculture
2021-08 Étude de modèles neuronaux de questions-réponses
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
1992 Synthèse de spécifications de protocole à partir de spécifications de service
2022-08 É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-11 On challenges in training recurrent neural networks
2012-01 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2024-03 Self-supervision for reinforcement learning
2016-04 Optimization models and methods for real-time transportation planning in forestry
2024-03 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-11 Comparing of radial and tangencial geometric for cylindric panorama
2021-12 Forecasting for operational planning of M1M systems
2016-04 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-07 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
2013-12 Recognition of Facial Expressions with Autoencoders and Convolutional-Nets
2018-12 Advances in deep learning with limited supervision and computational resources
2012-06 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2013-04 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-10 Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
2009-12 Rendu d'images en demi-tons par diffusion d'erreur sensible à la structure
2005 Contribution à la conjecture d'Erdos-Farber-Lovász
2018-09 Lagrangian-based methods for single and multi-layer multicommodity capacitated network design
2002 Algorithmes pour le réarrangement des génomes par inversions
2021-05 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
Nombre de résultats : 1474