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.

 

 

For a detailed search
Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
1999 Modélisation des boucles dans les protéines
2008 Prédiction structurale de biomolécules à l'aide d'une construction d'automates cellulaires simulant la dynamique moléculaire
2005 Analyse des données d'expression de gènes
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
2011 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
1999 Étude des environnements de microsimulation économique avec agents partiellement rationnels
1998 Phylogénétique basée sur les cassures du génome
1994 Réflexion de comportement et évaluation partielle en prolog
1994 Implantation d'un langage à prototypes avec réflexion de comportement
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
2008 Network pricing problems : complexity, polyhedral study and solution approaches
2001 Tarification et conception de réseau en télécommunication
2018 Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides
2011 Tarification logit dans un réseau
2004 Intégration de la tarification et de l'allocation de la capacité en transport aérien : une approche bi-niveau à grande échelle
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2021 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning
2018 Le produit direct de fonctions et les programmes de branchement avec oracle
2012 Complexité raffinée du problème d'intersection d'automates
2018 Programmes de branchement catalytiques : algorithmes et applications
2006 Programmes de génération et machines de Turing algébriques
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2001 Programmes de branchement restreints pour un problème P-complet
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1990 Complexité, langages hors-contexte et structures algébriques non associatives
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
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 Calibration, rectification et stéréoscopie
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
1999 Classification d'images SPECT du cerveau basée sur une analyse de la texture
2010 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
2025 Human action recognition based on skeleton graph neural networks using self-distillation
2001 Réhaussement d'une séquence échographique par filtrage non-linéaire spatio-temporel
2003 Réalité augmentée en chirurgie : développement d'un pointeur intelligent
1995 Méthode de fusion du volume d'une malformation artério-veineuse reconstruit avec un volume d'images de résonance magnétique
2025 Segmentation automatisée des nerfs cornéens sous-basal utilisant l'apprentissage profond
1999 Extraction de paramètres hémodynamiques par traitement d'images en cinéangiographie
2023 Analysis of the human corneal shape with machine learning
2014 Video-based analysis of Gait pathologies
1992 Analyse d'images stéréoscopiques basée sur la détermination du flux optique
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
2017 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1993 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
2024 Mobility anomaly detection with intelligent video surveillance