Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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
1994 La génération automatique de descriptions de systèmes dynamiques
1995 Évaluation de fonctions sur données privées
1995 Neural networks for the vehicle dispatching problem
1995 Un système tutorial intelligent basé sur un système critique
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1995 Simulation de protocoles de cryptographie quantique
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
1995 Un cadre d'application pour interfaces de gestion OSI
1995 Un modèle de l'apprenant basé sur les tâches
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
1995 Construction incrémentielle de spécifications pour systèmes distribués
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
1995 Horaires du personnel infirmier générés avec approches heuristiques
1996 Approches génétiques pour le problème de répartition de véhicules
1996 Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits
1996 Contributions à l'étude du non-déterminisme restreint
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
1996 Topoï, un système de production d'argumentations dialectiques