Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Title
Now showing items 425-524 of 1178
-
Evaluating Design Decay during Software Evolution
(2013-02-01)Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues dans le ... -
Evaluating perceptual maps of asymmetries for gait symmetry quantification and pathology detection
(2015-04-30)Le mouvement de la marche est un processus essentiel de l'activité humaine et aussi le résultat de nombreuses interactions collaboratives entre les systèmes neurologiques, articulaires et musculo-squelettiques fonctionnant ensemble efficacement. ... -
Évaluation de la charge mentale des pilotes en manœuvre aérienne
(2023-02-22)La charge de travail cognitive d'un pilote d'aviation, qui englobe sa capacité mentale à effectuer les manœuvres d'un avion, varie selon l’étape de pilotage et le nombre de tâches convergeant simultanément sur le pilote. Cette charge de travail peut ... -
Évaluation de politiques de séquençage d'arrivées d'avions par Simulation Monte Carlo
(2018-03-21)Avec l’augmentation croissante du trafic aérien, la gestion des pistes aéroportuaires devient un problème crucial, tant au niveau des opérations que de la sécurité. En effet, les pistes ont une capacité limitée et il convient de respecter une certaine ... -
Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires
(2015-02-18)La formation est une stratégie clé pour le développement des compétences. Les entreprises continuent à investir dans la formation et le développement, mais elles possèdent rarement des données pour évaluer les résultats de cet investissement. La plupart ... -
Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
(2012-03-01)Les gènes sont les parties du génome qui codent pour les protéines. Les gènes d’une ou plusieurs espèces peuvent être regroupés en "familles", en fonction de leur similarité de séquence. Cependant, pour connaître les relations fonctionnelles entre ces ... -
Évolution des génomes par mutations locales et globales : une approche d’alignement
(2017-03-28)Durant leur évolution, les génomes accumulent des mutations pouvant affecter d’un nucléotide à plusieurs gènes. Les modifications au niveau du nombre et de l’organisation des gènes dans les génomes sont dues à des mutations globales, telles que les ... -
Evolution of domain-specific languages depending on external libraries
(2021-03-24)L'ingénierie dirigée par les modèles est une approche qui s'appuie sur l'abstraction pour exprimer davantage les concepts du domaine. Ainsi, les ingénieurs logiciels développent des langages dédiés (LD) qui encapsulent la structure, les contraintes ... -
Evolving artificial neural networks to imitate human behaviour in Shinobi III : return of the Ninja master
(2021-10-21)Notre société est de plus en plus friande d’outils informatiques. Ce phénomène s’est particulièrement accru lors de cette dernière décennie suite, entre autres, à l’émergence d’un nouveau paradigme d’Intelligence Artificielle. Plus précisément, le ... -
Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
(2011-03-03)Cette thèse s’intéresse à trois problèmes fondamentaux de la vision par ordinateur qui sont le suivi vidéo, le calibrage et la reconstruction 3D. Les approches proposées sont strictement basées sur des contraintes photométriques et géométriques présentent ... -
An exploratory study of decision-focused learning for mutli-commodity network design in transportation
(2023-11-22)This thesis presents an exploration into the topic of decision-focused learning (DFL) for network design. The approach represents a novel experiment combining machine learning (ML) with mathematical optimization. In recent years, the progress of DFL ... -
Exploring Attention Based Model for Captioning Images
(2018-03-21)Comprendre ce qu’il y a dans une image est l’enjeu primaire de la vision par ordinateur. Depuis 2012, les réseaux de neurones se sont imposés comme le modèle de facto pour de nombreuses applications d’apprentissage automatique. Inspirés par les récents ... -
Extended distribution effects for realistic appearance and light transport
(2021-07-14)L'imagerie moderne générée par ordinateur cherche constamment à être de plus en plus représentative de la réalité physique tout autour de nous, et un de ces phénomènes clés est la notion d'effets de distribution. Les effets de distribution sont une ... -
Extending domain-specific modeling editors with multi-touch interactions
(2021-07-14)L'ingénierie dirigée par les modèles (MDE) est une méthodologie d'ingénierie logiciel qui permet aux ingénieurs de définir des modèles conceptuels pour un domaine spécifique. La MDE est supportée par des outils de modélisation, qui sont des éditeurs ... -
Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
(2010-06-03)La méthode de subdivision Catmull-Clark ainsi que la méthode de subdivision Loop sont des normes industrielle de facto. D'autre part, la méthode de subdivision 4-8 est bien adaptée à la subdivision adaptative, parce que cette méthode augmente le nombre ... -
Extraction de comportements reproductibles en avatar virtuel
(2022-03-16)Face à une image représentant une personne, nous (les êtres humains) pouvons visualiser les différentes parties de la personne en trois dimensions (tridimensionnellement – 3D) malgré l'aspect bidimensionnel (2D) de l'image. Cette compétence est maîtrisée ... -
L’extraction de phrases en relation de traduction dans Wikipédia
(2012-09-04)Afin d'enrichir les données de corpus bilingues parallèles, il peut être judicieux de travailler avec des corpus dits comparables. En effet dans ce type de corpus, même si les documents dans la langue cible ne sont pas l'exacte traduction de ceux dans ... -
Extraction de phrases parallèles à partir d’un corpus comparable avec des réseaux de neurones récurrents bidirectionnels
(2018-05-10)Les corpus parallèles sont cruciaux pour le bon fonctionnement des applications multilingues du traitement automatique du langage naturel. Comme ils sont des ressources essentielles, le nombre limité de corpus parallèles, que nous trouvons pour un ... -
Extraction of UML class diagrams from natural language specifications
(2023-02-22)Dans l’ingénierie dirigée par modèle, les diagrammes de classes UML servent à la planification et à la communication entre les différents acteurs d’un projet logiciel. Dans ce mémoire, nous proposons une méthode automatique pour l’extraction des ... -
Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
(2010-03-04)De nos jours, les logiciels doivent continuellement évoluer et intégrer toujours plus de fonctionnalités pour ne pas devenir obsolètes. C'est pourquoi, la maintenance représente plus de 60% du coût d'un logiciel. Pour réduire les coûts de programmation, ... -
Factorized second order methods in neural networks
(2018-03-21)Les méthodes d'optimisation de premier ordre (descente de gradient) ont permis d'obtenir des succès impressionnants pour entrainer des réseaux de neurones artificiels. Les méthodes de second ordre permettent en théorie d'accélérer l'optimisation d'une ... -
FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation
(2024-04-17)L'évolution rapide des réseaux sociaux en ligne (RSO) représente un défi significatif dans l'identification et l'atténuation des fausses informations, incluant les fausses nouvelles, la désinformation et la mésinformation. Cette complexité est amplifiée ... -
Fair vaccination strategies with influence maximization : a case study on COVID-19
(2024-01-31)Pendant la pandémie de Covid-19, les minorités raciales et les groupes économiquement défavorisés ont connu des taux accrus d’infection, d’hospitalisation et de décès dans les zones urbaines. Cette disparité témoigne de l’oppression systématique à ... -
Fairness through domain awareness : mitigating popularity bias for music discovery
(2023-12-20)The last decade has brought with it a wave of innovative technology, shifting the channels through which creative content is created, consumed, and categorized. And, as our interactions with creative multimedia content shift towards online platforms, ... -
Fear prediction for training robust RL agents
(2023-05-03)Les algorithmes d’apprentissage par renforcement conditionné par les buts apprennent à accomplir des tâches en interagissant avec leur environnement. Ce faisant, ils apprennent à propos du monde qui les entourent de façon graduelle et adaptive. Parmi ... -
Feature extraction on faces : from landmark localization to depth estimation
(2019-06-19)Le sujet de cette thèse porte sur les algorithmes d'apprentissage qui extraient les caractéristiques importantes des visages. Les caractéristiques d’intérêt principal sont des points clés; La localisation en deux dimensions (2D) ou en trois dimensions ... -
Feedforward deep architectures for classification and synthesis
(2018-03-21)Cette thèse par article présente plusieurs contributions au domaine de l'apprentissage de représentations profondes, avec des applications aux problèmes de classification et de synthèse d'images naturelles. Plus spécifiquement, cette thèse présente ... -
FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
(2023-09-13)L’automatisation de la prise de décision dans des applications qui affectent directement la qualité de vie des individus grâce aux algorithmes de réseaux de neurones est devenue monnaie courante. Ce mémoire porte sur les enjeux d’équité individuelle ... -
Few-shot prompt learning for automating model completion
(2023-11-01)Les modélisateurs rencontrent souvent des défis ou des difficultés lorsqu’il s’agit de concevoir un modèle logiciel particulier. Dans cette thèse, nous avons exploré différentes voies et examiné différentes approches pour résoudre cette problématique. ... -
Le filtrage du protocole SMB
(2001) -
Finer grained evaluation methods for better understanding of deep neural network representations
(2024-05-22)Établir des méthodes d'évaluation pour les systèmes d'intelligence artificielle (IA) est une étape importante pour précisément connaître leurs limites et ainsi prévenir les dommages qu'ils pourraient causer et savoir quels aspects devraient être ... -
Flou de mouvement réaliste en temps réel
(2015-02-18)Le flou de mouvement de haute qualité est un effet de plus en plus important en rendu interactif. Avec l'augmentation constante en qualité des ressources et en fidélité des scènes vient un désir semblable pour des effets lenticulaires plus détaillés ... -
Forecasting for operational planning of M1M systems
(2022-03-16)Cette thèse porte sur la prévision de la demande des expéditeurs et des offres de capacité des transporteurs pour la planification opérationnelle des systèmes `Many-to-One-to-Many' (M1M). Un tel système agit comme un décideur intermédiaire entre les ... -
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 ... -
Generating graphical and projectional editors
(2023-02-22)En ingénierie dirigée par les modèles, les langages spécifiques au domaine (DSL) offrent des notations adaptées à un domaine précis pour représenter ses différents concepts. De nombreux outils permettent la définition de DSLs en explicitant les ... -
Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
(2015-09-23)Nous proposons une approche qui génère des scénarios de visualisation à partir des descriptions de tâches d'analyse de code. La dérivation de scénario est considérée comme un processus d'optimisation. Dans ce contexte, nous évaluons différentes ... -
Génération automatique de lettres de recrutement
(2017-03-28)Ce mémoire de maîtrise présente le développement d’un système de génération de la langue naturelle pour automatiser les lettres de contact envoyées par les chasseurs de tête. Les travaux de Ehud Reiter ont inspiré la portion de génération de texte. La ... -
Génération de données : de l’anonymisation à la construction de populations synthétiques
(2023-02-22)Les coûts élevés de collecte de données ne rendent souvent possible que l’échantillonnage d’un sous-ensemble de la population d’intérêt. Il arrive également que les données collectées renferment des renseignements personnels et sensibles au sujet des ... -
Génération de données synthétiques pour l'adaptation hors-domaine non-supervisée en réponse aux questions : méthodes basées sur des règles contre réseaux de neurones
(2024-03-27)Les modèles de réponse aux questions ont montré des résultats impressionnants sur plusieurs ensembles de données et tâches de réponse aux questions. Cependant, lorsqu'ils sont testés sur des ensembles de données hors domaine, la performance diminue. ... -
Génération de résumés par abstraction
(2014-03-03)Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, en forment le coeur. Elles ... -
Génération efficace de graphes d’appels dynamiques complets
(2012-02-02)Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille ... -
Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
(2011-03-03)Les réseaux de neurones à réservoir, dont le principe est de combiner un vaste réseau de neurones fixes avec un apprenant ne possédant aucune forme de mémoire, ont récemment connu un gain en popularité dans les communautés d’apprentissage machine, de ... -
Generative models : a critical review
(2018-10-18)Dans cette thèse, nous introduisons et motivons la modélisation générative comme une tâche centrale pour l’apprentissage automatique et fournissons une vue critique des algorithmes qui ont été proposés pour résoudre cette tâche. Nous montrons comment ... -
Generative models for natural images
(2018-03-21)Nous traitons de modèles génératifs construits avec des réseaux de neurones dans le contexte de la modélisation d’images. De nos jours, trois types de modèles sont particulièrement prédominants: les modèles à variables latentes, tel que ... -
Gentleman : a lightweight web-based projectional editor
(2022-03-16)Lors de la conception et la manipulation de logiciel par modélisation, il est avantageux de bénéficier d’un grand degré de liberté au niveau de la présentation afin de comprendre l’information et prendre une action en exerçant peu d’effort cognitif et ... -
Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-12-02)Depuis quelques années, la recherche dans le domaine des réseaux maillés sans fil ("Wireless Mesh Network (WMN)" en anglais) suscite un grand intérêt auprès de la communauté des chercheurs en télécommunications. Ceci est dû aux nombreux avantages que ... -
Gestion des ressources dans les réseaux cellulaires sans fil
(2014-05-01)L’émergence de nouvelles applications et de nouveaux services (tels que les applications multimédias, la voix-sur-IP, la télévision-sur-IP, la vidéo-sur-demande, etc.) et le besoin croissant de mobilité des utilisateurs entrainent une demande de bande ... -
Gestion manuelle et sécuritaire de la mémoire en Typer
(2023-05-29)Dans ce mémoire, je présente une technique pour combiner du code de bas niveau à un langage purement fonctionnel avec types dépendants. Par code de bas niveau, je veux dire n’importe quel programme écrit dans un langage qui permet le contrôle direct ... -
Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
(2016-05-25)L’évolution continue des besoins d’apprentissage vers plus d’efficacité et plus de personnalisation a favorisé l’émergence de nouveaux outils et dimensions dont l’objectif est de rendre l’apprentissage accessible à tout le monde et adapté aux contextes ...
