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
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
1993 Une étude de quatre mesures de complexité algorithmique
2026 Une étude de l’interprétabilité dans le problème d’arrêt optimal sous l’aversion du risque
1991 Une coquille de système expert multimédia pour micro-ordinateurs
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2010 Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet
2013 Une approche multi-agents pour le développement d'un jeu vidéo
2014 Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
2004 Une approche globale à l'estimation du mouvement de caméra pour des scènes encombrées
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
2014 Une approche fréquentielle pratique pour l'échantillonnage adaptatif en espace image
1989 Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts
2007 Une approche d'ingénierie ontologique pour l'acquisition et l'exploitation des connaissances à partir de documents textuels : vers des objets de connaissances et d'apprentissage
2004 Une approche CBR textuel de réponse au courrier électronique
1986 Une anthologie des algorithmes probabilistes
1995 Une analyse statique pour la détection de parallélisme emboîté en Dpml
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
2003 Understanding retargeting compilation techniques for network processors
2024 Understanding our 3D world via generative modeling
2022 Understanding, improving, and generalizing generative models
2010 Understanding deep architectures and the effect of unsupervised pre-training
2026 Understanding and improving vision-language models through the lens of the binding problem
2025 Uncertainty quantification metrics for scientific application
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2003 Un cadre d'application pour la visualisation des métriques orientées objet
1995 Un cadre d'application pour interfaces de gestion OSI
2001 Un algorithme génétique pour l'arrimage moléculaire
2000 Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites
2015 Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation