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
1996 Un système de programmation Scheme pour micro-contrôleur
1996 Topoï, un système de production d'argumentations dialectiques
1996 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
1996 Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes
1996 Satisfaction incrémentielle de contraintes par le biais de la réécriture
1996 Problèmes multicritère avec contraintes d'affectation
1996 Protocole et interface usager pour la négociation de la qualité de service
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 détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
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 Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
1996 Étude et réalisation d'un système conseiller
1996 Application d'une méthode exacte pour la génération d'horaire en soins infirmiers
1996 Formal method for the design of real-time communicating subsystems and controllers
1996 Contribution à l'amélioration des modélisations à objets
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 On the development of conformance test suites in view of their fault coverage
Nombre de résultats : 1510