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
1993 Indexation sémantique de documents : application à un corpus technique
2023 Context-aware ranking : from search to dialogue
2007 Context-sensitive information retrieval
2021 Dialogue systems based on pre-trained language models
1998 Utilisation d'un thésaurus manuel pour la recherche d'information
2003 Domain-specific question answering system : an application to the construction sector
2025 Robust, efficient, and knowledge-augmented text generation with pre-trained language models
2003 Using domain-specific knowledge to improve information retrieval performance
2024 The equivalence of contrastive learning and graph convolution in collaborative filtering
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
2009 A Type-Preserving Compiler from System F to Typed Assembly Language
2015 Abitbol : un langage sur mesure pour la métaprogrammation
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
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2023 Amélioration des messages d'erreurs Typer par algorithme génétique
2022 Développement d’un serveur LSP pour Typer
2017 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2024 Quotient Types in 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
2022 Understanding, improving, and generalizing generative models
2025 Towards more robust theoretical frameworks for deep neural network optimization
2019 On the bias-variance tradeoff : textbooks need an update
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
Nombre de résultats : 1612