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 descending order Title Sort by title in descending order
2015 Diversified query expansion
2021 Tailored deep learning techniques for information retrieval
2008 Extracting and exploiting word relationships for information retrieval
2004 Compound terms for information retrieval
2010 Désambiguisation de sens par modèles de contextes et son application à la Recherche d’Information
2000 Parallel text mining for cross-language information retrieval using a statistical translation model
2003 Domain-specific question answering system : an application to the construction sector
2023 Context-aware ranking : from search to dialogue
1993 Indexation sémantique de documents : application à un corpus technique
2003 Using domain-specific knowledge to improve information retrieval performance
2023 Automatic symbolic melody generation from lyrics
2022 Local differentially private mechanisms for text privacy protection
2008 Recherche d'information translinguistique sur les documents en arabe
1987 Une étude des méthodes de calcul des K meilleurs chemins
1990 Minimisation d'entropie pour un système de grande taille
2012 A Compiler for the dependently typed language Beluga
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2015 Abitbol : un langage sur mesure pour la métaprogrammation
2009 A Type-Preserving Compiler from System F to Typed Assembly Language
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2024 Quotient Types in Typer
2026 L'inférence de type, étape par étape
2023 Amélioration des messages d'erreurs Typer par algorithme génétique
2022 Gestion manuelle et sécuritaire de la mémoire en Typer
2017 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2022 Développement d’un serveur LSP pour Typer
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
2026 Toward efficient and scalable optimization : theoretical insights and practical challenges
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
2026 Improved unlearning-utility trade-off with public data
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
2007 Reconstruction polyédrique de scènes en trois dimensions à partir de cartes de profondeurs
2017 Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
2014 Evaluating perceptual maps of asymmetries for gait symmetry quantification and pathology detection
2015 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2015 Reconnaissance des actions humaines : méthode basée sur la réduction de dimensionnalité par MDS spatio-temporelle
2002 Détection non-supervisée de contours et localisation de formes à l'aide de modèles statistiques
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
2013 Reconnaissance des actions humaines à partir d'une séquence vidéo
2018 Débruitage d’image par fusion de filtrage spatio-fréquentielle
Number of results : 1670