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
2018-05 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2011-04 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2012-11 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2001 Programmes de branchement restreints pour un problème P-complet
2012-01 Complexité raffinée du problème d'intersection d'automates
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2006 Programmes de génération et machines de Turing algébriques
2021-08 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning