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 croissant Titre Trier par titre en ordre croissant
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2012-01 Complexité raffinée du problème d'intersection d'automates
2006 Programmes de génération et machines de Turing algébriques
2001 Programmes de branchement restreints pour un problème P-complet
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1990 Complexité, langages hors-contexte et structures algébriques non associatives
2012-11 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2011-04 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2018-05 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2015-04 From Word Embeddings to Large Vocabulary Neural Machine Translation
2001 Réhaussement d'une séquence échographique par filtrage non-linéaire spatio-temporel
2023-01 Analysis of the human corneal shape with machine learning
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
1992 Segmentation et reconstruction tridimensionnelle de coupes histologiques du coeur
1992 Analyse d'images stéréoscopiques basée sur la détermination du flux optique
1993 Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan
2012-12 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2014-08 Video-based postural sway analysis in a controlled environment
2012-08 Détection des chutes par calcul homographique
2014-12 Video-based analysis of Gait pathologies
1993 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
2010-03 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
1993 Application d'une approche structurelle pour l'évaluation du développement dentaire
2004 Système de vidéosurveillance et de monitoring
2017-01 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1999 Calibration, rectification et stéréoscopie