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
1995 Raisonnement par cas et notion d'inconduite en droit de l'assurance-chômage
1995 Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
1995 Un système tutorial intelligent basé sur un système critique
1995 Machine abstraite catégorique et parallélisme de données
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
1995 L'ordinateur quantique : complexité et stabilisation des calculs
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
1996 La sécurité des protocoles de la cryptographie quantique
1996 Contributions à l'étude du non-déterminisme restreint
1996 Application d'une méthode exacte pour la génération d'horaire en soins infirmiers
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
1996 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
1996 Problèmes multicritère avec contraintes d'affectation
1996 Un système de programmation Scheme pour micro-contrôleur
1996 Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications
1996 Automatisation de plans de chargement en transport aérien commercial
1996 Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent
1996 Étude et réalisation d'un système conseiller
1996 Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes
1996 Contribution à l'amélioration des modélisations à objets
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 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 Un outil pour la spécification de matériel et la génération de modèles exécutables
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
1996 Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
1996 Topoï, un système de production d'argumentations dialectiques
Number of results : 1601