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
1991 Un modèle de représentation de l'information géographique dans un système d'analyse spatiale automatisée du terrain
1988 Un modèle de planification des réseaux de distribution d'énergie électrique
1995 Un modèle de l'apprenant basé sur les tâches
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2025 Unified scientific knowledge representation for large language models
1999 Un générateur de code machine pour le compilateur Gambit
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
2009 Un formalisme pour la traçabilité des transformations
2017 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2014 Une signature du polymorphisme structural d’acides ribonucléiques non-codants permettant de comparer leurs niveaux d’activités biochimiques
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
1992 Un environnement interactif-graphique pour le développement d'algorithmes de génération automatique d'arbres de décisions
1991 Un environnement de travail pour le langage de programmation ObjVProlog
1989 Un environnement de mise au point de programmes écrits dans un langage fonctionnel à évaluation paresseuse
1991 Un environnement d'expérimentation des grammaires de Montague
1987 Un environnement d'expérimentation des analyseurs déterministes
2021 Une nouvelle approche pour l’identification des états dynamiques de la parcellisation fonctionnelle cérébrale individuelle
1994 Une nouvelle approche connexionniste pour la recherche de documents
1990 Une méthode efficace pour la compaction bidimensionnelle de circuits intégrés
1998 Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport
1992 Une méthode de gestion du processus de design des circuits intégrés
2005 Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM
1999 Une librairie orientée-objet pour la simulation des réseaux stochastiques dynamiques
1990 Une interface pour la composition de scènes en infographie tridimensionnelle
1987 Une interface graphique pour un système d'analyse de systèmes d'information
2016 Une heuristique de recherche à voisinage variable pour le problème du voyageur de commerce avec fenêtres de temps
2009 Une heuristique à grand voisinage pour un problème de confection de tournée pour un seul véhicule avec cueillettes et livraisons et contrainte de chargement
1987 Une étude des méthodes de calcul des K meilleurs chemins
2022 Une étude des graphes jumeaux via l'auto-abritement