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
2006 Feature selection and term weighting beyond word frequency for calls for tenders documents
2003 A domain-specific search engine for the construction sector
1990 Minimisation d'entropie pour un système de grande taille
1987 Une étude des méthodes de calcul des K meilleurs chemins
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
2024 Quotient Types in Typer