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
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
1995 L'ordinateur quantique : complexité et stabilisation des calculs
1995 Modélisation et simulation de conversations dans un univers multi-agent
1995 Un cadre d'application pour interfaces de gestion OSI
1995 Programmation quadratique en variables binaires
1995 Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant
1995 Neural networks for the vehicle dispatching problem
1995 Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique
1995 Un modèle de l'apprenant basé sur les tâches
1995 Machine abstraite catégorique et parallélisme de données
1995 Construction incrémentielle de spécifications pour systèmes distribués
1995 Heuristiques pour la planification de réseaux de distribution d'énergie électrique
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1996 Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1996 Formal method for the design of real-time communicating subsystems and controllers
1996 Un système de programmation Scheme pour micro-contrôleur
1996 Automatisation de plans de chargement en transport aérien commercial
1996 Étude et réalisation d'un système conseiller
1996 Un outil pour la spécification de matériel et la génération de modèles exécutables