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
2000 Architecture et programme d'entraînement pour agents qui apprennent par renforcement
2000 Étude et réalisation d'un agent pédagogique explicatif
2000 La compilation de patrons de filtrage sous Erlang
2000 Développement de cours pour un environnement distribué de formation à distance
2000 Calculs multipartites
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2000 Gestionnaire de connaissances pour systèmes hybrides objets-règles
2001 RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
2001 Tarification et conception de réseau en télécommunication
2001 Contributions à la compression de données
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2001 Model reductions in MDG-based model checking
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2001 Recherche de structures secondaires dans les séquences biologiques
2001 Sélection d'oligonucléotides pour la fabrication de biopuces d'ADN
2001 Développement d'une méthode de recherche avec tabous pour un problème de chargement de réseaux de télécommunications
2001 Integrating MDG variable ordering in a VHDL-MDG design verification system
2001 Compositional verification using interface recognizers/suppliers (IRS)
Number of results : 1659