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
2000 Définition d'une mesure de compatibilité séquence-structure dans les protéines à l'aide de modèles probabilistes graphiques et de réseaux de neurones artificiels
2000 Agent émotif dans un système tutoriel intelligent
2000 Covérification des systèmes intégrés
2000 Optimisation des interactions au sein d'un réseau de connaissances
2000 Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2
2000 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2000 Spécifications en XML d'un langage de génération d'exercices pédagogiques
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2001 Modélisation des effets réseaux dans le transport des matières dangereuses
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2001 Model reductions in MDG-based model checking
2001 Modélisation automatisée de la structure 3-D des ARNs
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
2001 A simplified Java, J
2001 Sélection d'oligonucléotides pour la fabrication de biopuces d'ADN
2001 Identification des objets dans les applications léguées basée sur les algorithmes génétiques
2001 Recherche de structures secondaires dans les séquences biologiques
2001 Extraction automatique de filtres dans le cadre de la production automatique de résumés
2001 State abstraction in SDL
Nombre de résultats : 1661