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
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
2004 Développement d'un outil générique de simulation distribuée de marchés électroniques basés sur les enchères
2017-08 Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
2022-01 On the VC-dimension of Tensor Networks
2020-01 Programmation stochastique à deux étapes pour l’ordonnancement des arrivées d’avions sous incertitude
2005 Projection d'un analyseur grammatical via alignement bilingue de mots
2018-08 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2011-02 Transformation by example
1992 Un environnement interactif-graphique pour le développement d'algorithmes de génération automatique d'arbres de décisions
2022-09 Inductive biases for efficient information transfer in artificial networks
1993 Interface graphique de modélisation de connaissances dans un système de conception de cours
2023-07 AI-based modeling of brain and behavior : combining neuroimaging, imitation learning and video games
2015-08 Logiciel de génération de nombres aléatoires dans OpenCL
2015-12 Algorithme de branch-and-price-and-cut pour le problème de conception de réseaux avec coûts fixes, capacités et un seul produit
2008 An anonymizable entity finder in judicial decisions
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
2019-03 Modelling and Reasoning with Software Product Lines with Design Choices
2016-08 Structured prediction and generative modeling using neural networks
2023-08 Sequential decision modeling in uncertain conditions
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde