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
1993 Variantes de la méthode du Recuit Simulé pour la coloration des graphes
1993 Mise à jour automatique des textes de loi
1993 Contribution au développement d'un environnement pour les objets coopératifs
1993 Expression de la localisation temporelle dans un générateur de texte
1993 Étude de traduction entre les langages de spécification SDL et VHDL
1993 Validation symbolique et numérique des solides
1993 Indexation syntaxique dans la recherche d'informations
1993 Applications du probabilisme à l'algorithmique
1993 Auto-apprentissage, à l'aide de réseaux de neurones, de fonctions heuristiques utilisées dans les jeux stratégiques
1993 Synthèse automatique de l'algorithme d'Ibarra, Kim et Palis pour la programmation dynamique
1993 Problèmes stochastiques de tournées de véhicules
1993 La technique de recherche Tabou adaptée au problème de la classification automatique avec contrainte supplémentaire sur la capacité des classes
1993 Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan
1993 Indexation sémantique de documents : application à un corpus technique
1993 Application d'une approche structurelle pour l'évaluation du développement dentaire
1993 L'application des systèmes hypertextes dans un cadre juridique
1993 Développement d'un environnement de test et de diagnostique
1993 Visualisation de données électrophysiologiques dynamiques sur un modèle tridimensionnel du coeur
1993 Planification d'horaires du personnel infirmier dans un établissement hospitalier
1993 Génération de tests pour le service de communication personnalisé
1993 Agents et systèmes, une nécessaire unité
1993 Mise à jour automatique des cartes forestières à partir d'images satellites
1993 Analyse de radiographies de la main pour l'estimation de l'âge osseux
1993 Variantes de la méthode Tabou pour la coloration de graphes
1993 Multi-partitionnement des réseaux pour des applications en VLSI
1993 Évaluation du potentiel d'un modèle connexionniste pour la classification de textures échographiques médicales
1993 Classification de conformations macromoléculaires
1993 La théorie des catégories en informatique : notions de base et application
1993 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
1993 Une étude de quatre mesures de complexité algorithmique
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
1994 Une nouvelle approche connexionniste pour la recherche de documents
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
1994 IcoBase, une interface contextuelle orientée "utilisateur" pour bases de données relationnelles
1994 La génération automatique de descriptions de systèmes dynamiques
1994 Réflexion de comportement et évaluation partielle en prolog
1994 Navigation dans les hypertextes : une interface en Smalltalk
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1994 Navigation et repérage d'information dans les hypertextes de grande taille
1994 Étude sur la planification de texte : application au sous-domaine de la population active
1994 La génération pseudo-aléatoire cryptographiquement sécuritaire et ses considérations pratiques
1994 Utilisation des méthodes de recherche d'information pour le filtrage des News de Usenet
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
1994 Applications de la méthode de recherche avec tabous à divers problèmes d'optimisation combinatoire
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
1994 Planification des réseaux de distribution électrique avec contraintes de fiabilité
1994 Traduction d'un sous-ensemble de SDL en Estelle
1994 Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
1994 Nouvelles méthodes séquentielles et parallèles pour l'optimisation de réseaux à coûts linéaires et convexes