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
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2025 Vers des jumeaux numériques intelligents en agriculture en environnement contrôlé : contributions conjointes en détection de fruits par vision et en simulation trans-domaines.
2000 Vers la construction automatique d'un module inconnu dans un système composé
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
2023 Vers la mitigation des biais en traitement neuronal des langues
2022 Vers la sécurité des conteneurs : les comprendre et les sécuriser
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
2018 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2000 Vers un paradigme transformationnel dans le développement orienté objet
Nombre de résultats : 1620