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
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
1994 Navigation et repérage d'information dans les hypertextes de grande taille
1994 Spécification formelle et test pour boîte à outils X.25
1994 Réflexion de comportement et évaluation partielle en prolog
1994 Utilisation des méthodes de recherche d'information pour le filtrage des News de Usenet
1994 Nouvelles méthodes de Tchebychev de nature algébrique-numérique pour la solution des équations différentielles ordinaires
1994 Étude sur la planification de texte : application au sous-domaine de la population active
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1994 Applications de la méthode de recherche avec tabous à divers problèmes d'optimisation combinatoire
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
1994 Intégration des langages ASN. 1 et Mondel : traduction des structures de données ASN. 1 en Mondel à l'aide de l'outil CENTAUR
1994 Implantation d'un langage à prototypes avec réflexion de comportement
1994 La génération automatique de descriptions de systèmes dynamiques
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1994 Outils d'édition de composantes pédagogiques pour la construction de démonstrations de tâches sur simulateur
1994 Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
1995 Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence
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 Architecture d'un système d'aide intelligente à la conception de cours SAICC
1995 Raisonnement par cas et notion d'inconduite en droit de l'assurance-chômage
1995 Une analyse statique pour la détection de parallélisme emboîté en Dpml
1995 Planification des admissions dans un service de chirurgie
1995 Modélisation et simulation de conversations dans un univers multi-agent
1995 Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique
1995 Neural networks for the vehicle dispatching problem
1995 Des tests de conformité du protocole AAL de type 5 pour les réseaux à haut débit
1995 Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces
1995 Machine abstraite catégorique et parallélisme de données
1995 Éditeur de démonstrations par l'exemple
1995 Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant
1995 Un cadre d'application pour interfaces de gestion OSI
1995 Heuristiques pour la planification de réseaux de distribution d'énergie électrique
1995 Simulation de protocoles de cryptographie quantique
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
1995 Programmation quadratique en variables binaires
1995 Méthode de fusion du volume d'une malformation artério-veineuse reconstruit avec un volume d'images de résonance magnétique