|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Self-adaptable operational semantics
Date de publication :
09-09-2024 |
Auteur(s) :
Jouneaux Gwendal |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
De nos jours, les logiciels sont omniprésents, qu'il s'agisse d'ordinateurs ou d'appareils ménagers intelligents. L'aspect comportemental de ces systèmes est réalisé par des logiciels complexes. Cette complexité logicielle peut être classée en deux catégories : Essentielle et Accidentelle. L'Ingénierie Dirigée par les Modèles (IDM) est une discipline utilisant des modèles pour gérer la complexité ...
Référencé le :
30-06-2025
|
|
Characterization and localization of epileptic networks using surface and intracerebral EEG signals
Date de publication :
12-12-2024 |
Auteur(s) :
Greige Marc |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L’épilepsie est un trouble neurologique qui affecte 0.6% à 0.7% de la population mondiale et se caractérise par des crises récurrentes dues à une activité cérébrale anormale. Pour certains patients épileptiques ne répondant pas de façon satisfaisante aux traitements médicamenteux, il convient parfois de recourir à la chirurgie, nécessitant au préalable une bonne connaissance de la zone épileptogèn...
Référencé le :
26-06-2025
|
|
Autonomous exploration of an unknown 3D environment
Date de publication :
24-01-2025 |
Auteur(s) :
Noël Thibault |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Ce manuscrit présente les méthodes développées pour permettre l’exploration autonome d’un environnement 3D inconnu par un robot mobile. L’exploration est une tâche transverse, regroupant divers sous-problèmes ; ici, nous nous intéressons en particulier à la planification de trajectoires, essentielle pour la navigation autonome du robot. Nous proposons en particulier deux méthodes nouvelles de cons...
Référencé le :
24-06-2025
|
|
Using HLS to raise the design abstraction level for faster exploration of different CPU Micro-architectures
Date de publication :
18-02-2025 |
Auteur(s) :
Hoseininasab Sara sadat |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La conception de circuits complexes, tels que les processeurs, nécessite un prototypage itératif afin d’explorer diverses caractéristiques micro architecturales et d’obtenir des performances optimales. Ce processus repose usuellement sur l’utilisation des langages de description matérielle comme Verilog qui nécessitent beaucoup de travail et sont sujets aux erreurs. Modifier un design impose souve...
Référencé le :
26-05-2025
|
|
Study of the perception and manipulation of virtual objects in augmented reality using wearable haptics
Date de publication :
27-01-2025 |
Auteur(s) :
Normand Erwan |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les dispositifs haptiques portables procurent des sensations tactiles tout en restant compacts. Ils ont été peu utilisés en réalité augmentée (RA), où le contenu virtuel est intégré à la perception du monde réel. Dans cette thèse, nous étudions leur utilisation pour améliorer les interactions de la main avec des objets virtuels et augmentés en RA. Nous commençons par étudier l'impact du rendu visu...
Référencé le :
16-05-2025
|
|
New automated approaches in cryptanalysis
Date de publication :
11-02-2025 |
Auteur(s) :
Nguyen Phuong-Hoa |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La cryptanalyse traditionnelle repose souvent sur des méthodes heuristiques et statistiques, mais les outils automatisés ont récemment suscité une attention particulière. Cette thèse explore leur application pour améliorer la cryptanalyse de chiffrements spécifiques. Nous revisitons d’abord les attaques boomerang à clés liées sur AES, en introduisant un modèle MILP avancé pour gérer les génération...
Référencé le :
16-05-2025
|
|
Assemblage de fragments ADN : structures de graphes et échafaudage de génomes de chloroplastes
Date de publication :
27-11-2023 |
Auteur(s) :
Epain Victor |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L’obtention de la séquence nucléotidique d’une molécule ADN nécessite sa fragmentation par des technologies de séquençage et l’assemblage des fragments. Ces fragments sont appelés lectures. Elles souffrent d’erreurs de séquençage et sont considérées sous deux orientations : celle de leur brin ADN d’origine ou l’inverse-complémentaire pour l’autre brin. L’assemblage se base sur des chevauchements d...
Référencé le :
15-05-2025
|
|
Introduction to structure theory and its application to boolean functions
Date de publication :
19-12-2024 |
Auteur(s) :
Thibault Joan |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette dissertation introduit et formalise la notion de structures comme moyen mathématique de capturer diverses propriétés dans plusieurs domaines scientifiques. Nous définissons les représentations structurelles comme des arbres ou des graphes acycliques dirigés (DAG) de structures, où la sémantique globale est la composition des structures individuelles, permettant un raisonnement inductif et mo...
Référencé le :
30-04-2025
|
|
Automatic program verification by inference of relational models
Date de publication :
17-12-2024 |
Auteur(s) :
Losekoot Théo |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse porte sur la preuve automatique de propriétés concernant la relation entrée/sortie de programmes fonctionnels manipulant des types de données algébriques (ADT). De récents résultats montrent comment approximer un programme fonctionnel en utilisant un automate d'arbre. Bien qu'expressives, ces techniques ne peuvent pas prouver de propriété reliant l'entrée et la sortie d'une fonction, p...
Référencé le :
29-04-2025
|
|
Apprentissage automatique appliqué à l’identification du comportement des utilisateurs de réseaux mobiles 5G et au-delà : classification de l’environnement et de l’application
Date de publication :
17-12-2024 |
Auteur(s) :
Hamidèche Sid Ali |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les futurs réseaux mobiles, 5G et au-delà, sont confrontés à des défis importants pour répondre aux demandes croissantes de services plus rapides, plus fiables et plus innovants. Pour y faire face, les technologies d'intelligence artificielle (IA) peuvent être utilisées pour optimiser les performances du réseau en fonction des besoins et du comportement des utilisateurs. Notre travail présente une...
Référencé le :
29-04-2025
|
|
