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
1990 Fault-tolerant sorting networks
1990 Navigation visuelle dans une base de données multimédia
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1990 Calcul simultané de la matrice de demande et des flots optimaux de marchandises sur un réseau multimodal
1990 Une interface pour la composition de scènes en infographie tridimensionnelle
1990 La prédiction des structures macromoléculaires par une approche symbolique
1990 La conception de logiciels d'assistance dans un contexte d'apprentissage
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
1990 Génération intégrée de textes et de graphiques
1990 Modélisation et réalisation d'un système tutoriel intelligent
1990 Structures de données dynamiques pour la représentation de l'information spatiale
1990 Complexité, langages hors-contexte et structures algébriques non associatives
1990 Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes
1990 Conception d'un réseau privé de transmission par paquets
1990 Édition et simulation interactives de partitions en notation Laban
1990 Minimisation d'entropie pour un système de grande taille
1990 Conception et implantation d'un langage de programmation intégrant trois paradigmes: la programmation logique, la programmation par objets et la programmation répartie
1990 Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices
1990 Planification à moyen terme de l'entretien préventif des équipements de production d'un système hydroélectrique
1990 Structuration des bases de connaissances par généralisation
1990 Modèle de figures articulées pour personnages animés par ordinateur en programmation orientée objet
1990 Algorithmes de transformations d'images 2D et recherche d'esthétique
1990 Étude et réalisation de planificateurs de systèmes tutoriels intelligents
1990 Réduction de graphe parallèle et spéculative d'un langage fonctionnel
1990 La cinématique inverse comme outil d'animation d'acteurs synthétiques
1990 Expression de concepts temporels en génération automatique de textes
1990 Algorithmes pour l'exponentielle d'une matrice avec une estimation de la précision
1990 Modèle de distribution d'énergie électrique avec structure de réseau
1989 Génération de questions adaptées à l'usager pour un système de consultation médicale
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
1989 Le modèle d'indépendance dans le contexte de variables ordinales
1989 Simulation et modélisation de capteurs dans un environnement robotique
1989 Énumération et génération d'arbres et d'arborescences binaires sous contraintes
1989 Générateur d'itinéraires d'enlèvement de la neige
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1989 Chronolog, un langage de représentation des connaissances temporelles
1989 Modélisation d'objets filiformes pour la synthèse d'images réalistes
1989 Inférences sur plusieurs mesures de liaison entre deux vecteurs aléatoires et algorithmes de sélection de variables
1989 Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts
1989 Réalisation d'un système intelligent de manipulation de bases de données
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
1989 Méthodologies de dimensionnement de réservoirs hydroélectriques utilisant des approches déterministe et stochastique
1989 Prévision à court terme de la demande d'électricité à l'aide de modèles de séries chronologiques
1989 Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises
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 La puissance de tests d'ajustement avec des données censurées
1989 Méthodes d'échanges pour problèmes d'affectation
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
1989 Approches de résolution du problème de programmation fractionnaire généralisée