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
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2022 Gestion manuelle et sécuritaire de la mémoire en Typer
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2022 Développement d’un serveur LSP pour Typer
2023 Amélioration des messages d'erreurs Typer par algorithme génétique
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2024 Quotient Types in Typer
2017 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2021 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2024 The shifting landscape of data : learning to tame distributional shifts
2024 Generative models, theory and applications
2019 On the bias-variance tradeoff : textbooks need an update
2025 Towards more robust theoretical frameworks for deep neural network optimization
2022 Understanding, improving, and generalizing generative models
2008 Architecture et filtres pour la détection des chenaux dans la glace de l'océan Arctique
2005 Intégration d'une nouvelle approche sémantique basée sur les caractéristiques visuelles des concepts dans un système de recherche d'images par contenu et par texte
2022 Segmentation des images radiographiques à rayon-X basée sur la fusion entropique et Reconstruction 3D biplanaire des os basée sur la modélisation statistique non-linéaire
2021 Une nouvelle approche pour l’identification des états dynamiques de la parcellisation fonctionnelle cérébrale individuelle
2006 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2008 Segmentation non-supervisée d'images couleur par sur-segmentation Markovienne en régions et procédure de regroupement de régions par graphes pondérés
2015 Reconnaissance des actions humaines : méthode basée sur la réduction de dimensionnalité par MDS spatio-temporelle
2008 Évaluation d'un modèle a priori basé sur un seuillage de la TCD en super-résolution et comparaison avec d'autres modèles a priori
2006 Étude de contraintes spatiales bas niveau appliquées à la vision par ordinateur
2002 Détection non-supervisée de contours et localisation de formes à l'aide de modèles statistiques
2021 Contributions à la sonification d’image et à la classification de sons
2017 Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
2023 Estimation de cartes d'énergie du bruit apériodique de la marche humaine avec une caméra de profondeur pour la détection de pathologies et modèles légers de détection d'objets saillants basés sur l'opposition de couleurs
2015 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2018 Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
2013 Reconnaissance des actions humaines à partir d'une séquence vidéo
2014 Evaluating perceptual maps of asymmetries for gait symmetry quantification and pathology detection
2007 Reconstruction polyédrique de scènes en trois dimensions à partir de cartes de profondeurs
2018 Débruitage d’image par fusion de filtrage spatio-fréquentielle
2016 Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies
2019 Détection de changement en imagerie satellitaire multimodale
2013 Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1996 Automatisation de plans de chargement en transport aérien commercial
1995 Programmation quadratique en variables binaires
1995 Planification des admissions dans un service de chirurgie
1990 Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes
1999 Construction et utilisation de modèles anatomiques
2003 Atlas numérique spatio-temporel des artères coronaires
1993 La morphologie mathématique appliquée à l'histomorphométrie osseuse
2009 Reconstruction 3D des artères par imagerie intravasculaire ultrasonore (IVUS) et angiographie monoplan
1993 Visualisation de données électrophysiologiques dynamiques sur un modèle tridimensionnel du coeur
2000 Graphes de flot et coupes en restauration bayesienne d'images
2002 Analyse des champs de déformation pour la classification d'images SPECT 3D du cerveau
2015 Analyse de maillages surfaciques par construction et comparaison de modèles moyens et par décomposition par graphes s’appuyant sur les courbures discrètes : application à l’étude de la cornée humaine
2019 Analysis of 3D human gait reconstructed with a depth camera and mirrors
Nombre de résultats : 1601