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
2015-04 From Word Embeddings to Large Vocabulary Neural Machine Translation
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
1990 Complexité, langages hors-contexte et structures algébriques non associatives
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
2001 Programmes de branchement restreints pour un problème P-complet
2006 Programmes de génération et machines de Turing algébriques
2012-01 Complexité raffinée du problème d'intersection d'automates
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2021-08 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning
2004 Intégration de la tarification et de l'allocation de la capacité en transport aérien : une approche bi-niveau à grande échelle
2011-12 Tarification logit dans un réseau
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides