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
1989 Implantation exacte de transactions à l'aide de machines séquentielles
1989 Intégration des systèmes tutoriels traditionnels et des systèmes tutoriels intelligents
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
1989 Énumération et génération d'arbres et d'arborescences binaires sous contraintes
1989 Chronolog, un langage de représentation des connaissances temporelles
1989 Génération de questions adaptées à l'usager pour un système de consultation médicale
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 Prévision à court terme de la demande d'électricité à l'aide de modèles de séries chronologiques
1989 Inférences sur plusieurs mesures de liaison entre deux vecteurs aléatoires et algorithmes de sélection de variables
1989 Approches de résolution du problème de programmation fractionnaire généralisée
1989 Un environnement de mise au point de programmes écrits dans un langage fonctionnel à évaluation paresseuse
1989 Système de conception symbolique pour circuits intégrés à très grande échelle
1989 Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1989 Gestionnaire de notation Laban et animation de figurines humaines
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1989 Réalisation d'un système intelligent de manipulation de bases de données
1989 La puissance de tests d'ajustement avec des données censurées
1989 Le problème des reines : thème et variations
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
1989 Algorithme pour trouver les composantes 3-connexes d'un graphe
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 Le modèle d'indépendance dans le contexte de variables ordinales
1988 Un modèle de planification des réseaux de distribution d'énergie électrique
1988 Application d'une méthode de "branch-and bound" au problème de localisation avec transferts entre les dépôts
1988 Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
1988 La conception interactive de caractères typographiques
1988 Le traitement théorique et pratique de partitions polygonales de l'espace bidimensionnel
1988 Le problème de répartition optimale des puissances pour les systèmes d'énergie électrique en régime permanent
1987 La détection automatique des fautes de syntaxe en français
1987 Le système ODST, un outil d'aide au développement de schémas thérapeutiques en médecine
1987 Une interface graphique pour un système d'analyse de systèmes d'information
1987 Interface usager de simulateurs de circuits VLSI
1987 Modèle physique d'animation du corps humain
1987 Application de méthodes de Newton au problème d'équilibre spatial sur un réseau général
1987 Une étude des méthodes de calcul des K meilleurs chemins
1987 Prototype d'un système d'aide à la conception de tests de protocoles
1987 Vérification automatique de circuits transistors VSLI [i.e. VLSI]
1987 Élaboration des horaires pour les chauffeurs de véhicules postaux
1987 Contribution à la description et à la réalisation de systèmes interactifs
1987 Méthodes heuristiques pour la conception de calendriers sportifs
1987 Étude et réalisation d'un environnement éducatif pour un système d'enseignement bureautique intelligemment assisté par ordinateur
1987 Comparaison de la puissance de statistiques portemanteau pour tester l'hypothèse d'indépendance
1987 Un simulateur réparti et hiérarchique de circuits VLSI
1987 Étude et réalisation d'un traducteur iconique-relationnel
1987 Un système informatique pour le développement et l'expérimentation d'algorithmes de génération de tournées
1987 Étude et réalisation d'un système d'aide à la conception de bases de données
1987 Un système d'aide à la prédiction des structures tertiaires d'acides nucléiques et de protéines
Number of results : 1661