Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires par titre
Voici les éléments 480-499 de 1181
-
Un formalisme pour la traçabilité des transformations
(2010-04-01)Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus ... -
Formulation interactive des requêtes pour l’analyse et la compréhension du code source
(2011-03-03)Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, ... -
FPGA-based object detection using classification circuits
(2015-09-23)Dans l'apprentissage machine, la classification est le processus d’assigner une nouvelle observation à une certaine catégorie. Les classifieurs qui mettent en œuvre des algorithmes de classification ont été largement étudié au cours des dernières ... -
A framework for domain-specific modeling on graph databases
(2022-03-16)La complexité du logiciel augmente tout le temps: les systèmes deviennent plus grands et plus complexes. La modélisation est un élément central de génie logicielle pour relever les défis de la complexité. Cependant, un défi majeur auquel est confronté ... -
Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency
(2019-06-19)La collaboration en temps réel est un cas spécial de collaboration où les utilisateurs travaillent sur le même élément simultanément et sont au courant des modifications des autres utilisateurs en temps réel. Les données distribuées doivent rester ... -
From Classical to Quantum Secret Sharing
(2015-09-23)Dans ce mémoire, nous nous pencherons tout particulièrement sur une primitive cryptographique connue sous le nom de partage de secret. Nous explorerons autant le domaine classique que le domaine quantique de ces primitives, couronnant notre étude par ... -
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
(2019-03-13)Le Model-Driven Engineering (MDE) est une approche de développement logiciel qui propose d’élever le niveau d’abstraction des langages afin de déplacer l’effort de conception et de compréhension depuis le point de vue des programmeurs vers celui ... -
From specialists to generalists : inductive biases of deep learning for higher level cognition
(2023-05-03)Les réseaux de neurones actuels obtiennent des résultats de pointe dans une gamme de domaines problématiques difficiles. Avec suffisamment de données et de calculs, les réseaux de neurones actuels peuvent obtenir des résultats de niveau humain sur ... -
From Word Embeddings to Large Vocabulary Neural Machine Translation
(2016-03-23)Dans ce mémoire, nous examinons certaines propriétés des représentations distribuées de mots et nous proposons une technique pour élargir le vocabulaire des systèmes de traduction automatique neurale. En premier lieu, nous considérons un problème ... -
La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
(2017-03-28)Nous nous intéressons à la réalisation par états quantiques de primitives cryptographiques classiques. Nous introduisons les concepts de l’avantage et de epsilon -enveloppes. Ensuite, nous démontrons que pour tout état, il existe un état strict-correct ... -
Galois lattice dynamics
(2003) -
Game theoretical characterization of the multi-agent network expansion game
(2022-10-26)Dans les chaînes d’approvisionnement, les producteurs font souvent appel à des entreprises de transport pour livrer leurs marchandises. Cela peut entraîner une concurrence entre les transporteurs qui cherchent à maximiser leurs revenus individuels en ... -
A game theoretical model for a collaborative e-learning platform on privacy awareness
(2020-12-16)De nos jours, avec l'utilisation croissante des technologies numériques, l'éducation à la préservation de la vie privée joue un rôle important en particulier pour les adolescents. Bien que plusieurs plateformes d'apprentissage en ligne à la sensibilisation ... -
Generalization in federated learning
(2023-02-22)L'apprentissage fédéré est un paradigme émergent qui permet à un grand nombre de clients disposant de données hétérogènes de coordonner l'apprentissage d'un modèle global unifié sans avoir besoin de partager les données entre eux ou avec un stockage ... -
Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée
(2020-06-04)This thesis is about linear random number generators with a large integer modulus. It is essential to be able to check that a generator has good properties in Monte-Carlo simulation. The generator family studied here produces points that possess a well ...