Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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
1989 Génération de questions adaptées à l'usager pour un système de consultation médicale
1989 Modélisation d'objets filiformes pour la synthèse d'images réalistes
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
1989 Un environnement de mise au point de programmes écrits dans un langage fonctionnel à évaluation paresseuse
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1989 Système de conception symbolique pour circuits intégrés à très grande échelle
1989 Réalisation d'un système intelligent de manipulation de bases de données
1989 Méthodologies de dimensionnement de réservoirs hydroélectriques utilisant des approches déterministe et stochastique
1989 Analyse automatique de résultats de tests appliquée aux protocoles de communication
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
1989 Énumération et génération d'arbres et d'arborescences binaires sous contraintes
1989 Gestionnaire de notation Laban et animation de figurines humaines
1990 La prédiction des structures macromoléculaires par une approche symbolique
1990 Des implantations parallèles de l'algorithme d'approximation linéaire pour la résolution du problème d'affectation du trafic
1990 Modèle de distribution d'énergie électrique avec structure de réseau
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1990 Réduction de graphe parallèle et spéculative d'un langage fonctionnel
1990 Minimisation d'entropie pour un système de grande taille
1990 Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes