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
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2009-10 A Type-Preserving Compiler from System F to Typed Assembly Language
2011-06 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2022-04 Développement d’un serveur LSP pour Typer
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2021-05 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2017-03 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2023-04 Amélioration des messages d'erreurs Typer par algorithme génétique
2021-05 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2022-08 Understanding, improving, and generalizing generative models
2019-12 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
2022-08 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-07 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
2016-04 Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies
2018-05 Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
2019-04 Détection de changement en imagerie satellitaire multimodale
Nombre de résultats : 1178