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 croissant Titre Trier par titre en ordre croissant
1996 Génération intégrée de textes et de graphiques statistiques
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1996 Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable
1996 Étude et réalisation d'un système conseiller
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
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 Developing network management applications using application frameworks and literate programming
1996 Contributions à l'étude du non-déterminisme restreint
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1996 Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques
1995 Un modèle de l'apprenant basé sur les tâches
1995 Éditeur de démonstrations par l'exemple
1995 Programmation bi-niveaux et son application au problème d'affection du trafic avec contrôles de signaux
1995 Problèmes d'affectation avec contraintes d'alternatives et application à la gestion des stages de résidence
1995 Un système tutorial intelligent basé sur un système critique
1995 Planification des admissions dans un service de chirurgie
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
1995 Contributions au simplexe primal adapté au réseau et implantations séquentielle et parallèle efficaces
1995 Architecture d'un système d'aide intelligente à la conception de cours SAICC
1995 Évaluation de fonctions sur données privées
1995 Construction incrémentielle de spécifications pour systèmes distribués
1995 Simulation de protocoles de cryptographie quantique
1995 Horaires du personnel infirmier générés avec approches heuristiques
1995 Méthode de fusion du volume d'une malformation artério-veineuse reconstruit avec un volume d'images de résonance magnétique
1995 Machine abstraite catégorique et parallélisme de données
1995 Un cadre d'application pour interfaces de gestion OSI
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
1995 Hypermédia astronomique
1995 Architecture de système Tutoriel Intelligent pour l'analyse du raisonnement de l'apprenant
1995 Programmation quadratique en variables binaires
1995 L'ordinateur quantique : complexité et stabilisation des calculs
1995 Modélisation et simulation de conversations dans un univers multi-agent
1995 Planification de textes d'instructions : sélectio du contenu et de la structure rhétorique
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1995 Une analyse statique pour la détection de parallélisme emboîté en Dpml
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
1995 Heuristiques pour la planification de réseaux de distribution d'énergie électrique
Nombre de résultats : 1620