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
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2019-08 Unsupervised representation learning in interactive environments
2011-04 Un protocole de diffusion des messages dans les réseaux véhiculaires
2002 Un protocole de communication pour applications transactionnelles distribuées
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
2013-08 Un outil d’évaluation neurocognitive des interactions humain-machine
2008 Un outil de conception pour les réseaux maillés sans fil
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
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-12 Un formalisme pour la traçabilité des transformations
2017-01 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-05 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
2021-07 Une nouvelle approche pour l’identification des états dynamiques de la parcellisation fonctionnelle cérébrale individuelle
1998 Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport
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
2016-04 Une heuristique de recherche à voisinage variable pour le problème du voyageur de commerce avec fenêtres de temps
2009-04 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
2022-03 Une étude des graphes jumeaux via l'auto-abritement
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2010-12 Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2014-12 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
2014-10 Une approche fréquentielle pratique pour l'échantillonnage adaptatif en espace image
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
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
2003 Understanding retargeting compilation techniques for network processors
2022-08 Understanding, improving, and generalizing generative models
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
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-11 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-03 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
2021-05 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2016-12 Turbulence de surface pour des simulations de fluides basées sur un système de particules
2015-01 Transformations quasi-conformes de maillages volumiques et applications en infographie
2011-02 Transformation by example
2007 Traitement interactif de plis dans la simulation de tissus
2022-01 Traitement des données scRNA-seq issues de la technologie Drop-Seq : application à l’étude des réseaux transcriptionnels dans le cancer du sein