Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018 Programmes de branchement catalytiques : algorithmes et applications
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
2001 Programmes de branchement restreints pour un problème P-complet
1990 Complexité, langages hors-contexte et structures algébriques non associatives
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2011 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2018 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2015 From Word Embeddings to Large Vocabulary Neural Machine Translation
1999 Classification d'images SPECT du cerveau basée sur une analyse de la texture
2014 Video-based postural sway analysis in a controlled environment
2012 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2023 Analysis of the human corneal shape with machine learning
2011 Analyse de mouvements faciaux à partir d'images vidéo
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
2010 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2003 Réalité augmentée en chirurgie : développement d'un pointeur intelligent
2025 Human action recognition based on skeleton graph neural networks using self-distillation
1993 Application d'une approche structurelle pour l'évaluation du développement dentaire
1993 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
2012 Détection des chutes par calcul homographique
2017 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1993 Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan
1992 Analyse d'images stéréoscopiques basée sur la détermination du flux optique
2015 Analyse quantifiée de l'asymétrie de la marche par application de Poincaré
2013 Détection de chute à l'aide d'une caméra de profondeur
2014 Video-based analysis of Gait pathologies
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
2004 Système de vidéosurveillance et de monitoring
1999 Extraction de paramètres hémodynamiques par traitement d'images en cinéangiographie
1999 Calibration, rectification et stéréoscopie
2001 Réhaussement d'une séquence échographique par filtrage non-linéaire spatio-temporel
1992 Segmentation et reconstruction tridimensionnelle de coupes histologiques du coeur
2024 Mobility anomaly detection with intelligent video surveillance
2003 3D reconstruction of a catheter path from a single view X-ray sequence
2019 Analysis of 3D human gait reconstructed with a depth camera and mirrors
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
2002 Analyse des champs de déformation pour la classification d'images SPECT 3D du cerveau
2000 Graphes de flot et coupes en restauration bayesienne d'images
1993 Visualisation de données électrophysiologiques dynamiques sur un modèle tridimensionnel du coeur
2009 Reconstruction 3D des artères par imagerie intravasculaire ultrasonore (IVUS) et angiographie monoplan
2003 Atlas numérique spatio-temporel des artères coronaires
1999 Construction et utilisation de modèles anatomiques
1996 Automatisation de plans de chargement en transport aérien commercial
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1990 Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes
2007 Reconstruction polyédrique de scènes en trois dimensions à partir de cartes de profondeurs