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 ascending order Title Sort by title in ascending order
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1996 Résolution du problème de tournées de véhicules à flotte hétérogène à l'aide de la recherche avec tabous
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
1996 Un outil pour la spécification de matériel et la génération de modèles exécutables
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 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
1996 Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
1996 Un système de programmation Scheme pour micro-contrôleur
1995 Hypermédia astronomique
1995 Horaires du personnel infirmier générés avec approches heuristiques
1995 Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant
1995 Raisonnement par cas et notion d'inconduite en droit de l'assurance-chômage
1995 Évaluation de fonctions sur données privées
1995 Programmation quadratique en variables binaires
1995 Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique
1995 Un cadre d'application pour interfaces de gestion OSI
1995 L'ordinateur quantique : complexité et stabilisation des calculs
1995 Un modèle de l'apprenant basé sur les tâches
1995 Modélisation et simulation de conversations dans un univers multi-agent
1995 Heuristiques pour la planification de réseaux de distribution d'énergie électrique
1995 Programmation bi-niveaux et son application au problème d'affection du trafic avec contrôles de signaux
1995 Une analyse statique pour la détection de parallélisme emboîté en Dpml
1995 Machine abstraite catégorique et parallélisme de données
1995 Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence
1995 Neural networks for the vehicle dispatching problem
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
1995 Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces
1995 Éditeur de démonstrations par l'exemple
Number of results : 1662