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
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
1994 Traduction d'un sous-ensemble de SDL en Estelle
1994 Nouvelles méthodes séquentielles et parallèles pour l'optimisation de réseaux à coûts linéaires et convexes
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1994 IcoBase, une interface contextuelle orientée "utilisateur" pour bases de données relationnelles
1994 Navigation dans les hypertextes : une interface en Smalltalk
1994 Utilisation des méthodes de recherche d'information pour le filtrage des News de Usenet
1994 Applications de la méthode de recherche avec tabous à divers problèmes d'optimisation combinatoire
1994 Une nouvelle approche connexionniste pour la recherche de documents
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
1994 Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1994 Réflexion de comportement et évaluation partielle en prolog
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
1993 Problèmes stochastiques de tournées de véhicules
1993 Une étude de quatre mesures de complexité algorithmique
1993 Le principe des boîtes noires en cryptologie : application et limites
1993 Génération de tests pour le service de communication personnalisé
1993 Indexation sémantique de documents : application à un corpus technique
1993 Tests d'indépendance de deux séries chronologiques multivariées
1993 Évaluation de trois méthodes de décomposition de systèmes d'information
1993 Interconnexion des réseaux assurant le service de communication personnalisé
1993 Classification de conformations macromoléculaires
1993 Performance et optimisation des systèmes de bases de données orientées objet
1993 Bilevel programming problems: analysis, algorithms and applications
1993 Application de machines à états étendues à la vérification et à la synthèse du matériel
1993 Agents et systèmes, une nécessaire unité
1993 La théorie des catégories en informatique : notions de base et application
1993 Validation symbolique et numérique des solides
1993 Développement d'un environnement de test et de diagnostique
1993 Variantes de la méthode Tabou pour la coloration de graphes
1993 Évaluation du flux de données couvert par une suite de tests
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 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
1993 Mise à jour automatique des cartes forestières à partir d'images satellites
1993 Planification d'horaires du personnel infirmier dans un établissement hospitalier
1993 Indexation syntaxique dans la recherche d'informations
1993 L'application des systèmes hypertextes dans un cadre juridique
1993 Variantes de la méthode du Recuit Simulé pour la coloration des graphes
1993 Multi-partitionnement des réseaux pour des applications en VLSI