Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Title
Now showing items 134-153 of 1167
-
The art of post-truth in quantum cryptography
(2021-03-24)L’établissement de clé quantique (abrégé QKD en anglais) permet à deux participants distants, Alice et Bob, d’établir une clé secrète commune (mais aléatoire) qui est connue uniquement de ces deux personnes (c’est-à-dire inconnue d’Ève et de tout autre ... -
Articulating design-time uncertainty with DRUIDE
(2021-03-24)Les modélisateurs rencontrent souvent des incertitudes sur la manière de concevoir un modèle logiciel particulier. Les recherches existantes ont montré comment les modélisateurs peuvent travailler en présence de ce type d' ''incertitude au moment de ... -
Assessing neural network dynamics under normal and altered states of consciousness with MEG : methodological challenges and proposed solutions for atypical power spectra
(2021-11-23)Cette dernière décennie a vu un certain nombre d'avancées significatives en mathématiques, en apprentissage computationnel et en traitement de signal, qui n'ont pas encore été pleinement exploitées en neurosciences. En particulier, l'évaluation de la ... -
Assessing the robustness of genetic codes and genomes
(2020-12-16)Deux approches principales existent pour évaluer la robustesse des codes génétiques et des séquences de codage. L'approche statistique est basée sur des estimations empiriques de probabilité calculées à partir d'échantillons aléatoires de permutations ... -
Attention, concentration, and distraction measure using EEG and eye tracking in virtual reality
(2023-05-03)Attention is important in learning, Attention-deficit/hyperactivity disorder, Driving, and many other fields. Hence, intelligent tutoring systems, Attention-deficit/hyperactivity disorder diagnosis systems, and distraction detection of driver systems ... -
L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
(2012-11-02)Les logiciels de correction grammaticale commettent parfois des détections illégitimes (fausses alertes), que nous appelons ici surdétections. La présente étude décrit les expériences de mise au point d’un système créé pour identifier et mettre en ... -
AURA : a hybrid approach to identify framework evolution
(2010-04-01)Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été ... -
Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
(2019-06-19)L'objectif de cette thèse est de présenter ma modeste contribution à l'effort collectif de l'humanité pour comprendre l'intelligence et construire des machines intelligentes. Ceci est une thèse par articles (cinq au total), tous représentant une ... -
Autoencoders for natural language semantics
(2023-08-15)Les auto-encodeurs sont des réseaux de neurones artificiels qui apprennent des représentations. Dans un auto-encodeur, l’encodeur transforme une entrée en une représentation, et le décodeur essaie de prédire l’entrée à partir de la représentation. Cette ... -
Automates à contraintes semilinéaires = Automata with a semilinear constraint
(2013-09-03)Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout ... -
Automates cellulaires quantiques et relativité déformée
(2017-09-27)Nous montrons qu’un modèle pour une théorie des champs à base d’automate cellulaire quantique est compatible avec une relativité restreinte déformée. En asso- ciant les lois de la physique à la règle d’évolution de l’automate, nous obtenons une ... -
Automatic symbolic melody generation from lyrics
(2024-01-31)Music generation is a popular task in the domain of music artificial intelligence, aiming at generating music automatically. Music generation includes both symbolic and acoustic music generation. The former focuses on the score level, while the latter ... -
Automatic taxonomy evaluation
(2023-03-22)Les taxonomies sont une représentation essentielle des connaissances, jouant un rôle central dans de nombreuses applications riches en connaissances. Malgré cela, leur construction est laborieuse que ce soit manuellement ou automatiquement, et l'évaluation ... -
Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
(2023-02-22)L’ingénierie dirigée par les modèles (EDM) est un paradigme de développement logiciel qui promeut l’utilisation de modèles en tant qu’artefacts de première plan et de processus automatisés pour en dériver d’autres artefacts tels que le code, la ...