|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Parameterized verification of distributed shared-memory systems
Date de publication :
11-12-2024 |
Auteur(s) :
Waldburger Nicolas |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes distribués sont constitués de plusieurs composantes informatisés (que nous appelons processus) qui interagissent pour accomplir une tâche commune. Un exemple de tâche est le consensus, où tous les processus doivent se mettre d’accord sur une valeur commune. Dans cette thèse, nous nous intéressons aux systèmes à mémoire partagée, où les processus interagissent en lisant et en écrivant ...
Référencé le :
29-01-2025
|
|
Scalability of public geo-distributed fog computing federations
Date de publication :
09-12-2024 |
Auteur(s) :
Huang Chih-Kai |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Construire une plateforme de fog computing publique, géo-distribuée, multi-tenant et à grande échelle, où n'importe quelle application peut être déployée, nécessite un grand nombre de ressources de calcul placées à différents endroits stratégiques couvrant un pays entier ou même un continent. L'un des défis pour réaliser cette plateforme publique de fog est la scalabilité. À cette fin, cette thèse...
Référencé le :
24-01-2025
|
|
Machine learning for bi-modal EEG-fMRI neurofeedback: EEG electrodes localization and fMRI NF scores prediction
Date de publication :
29-11-2024 |
Auteur(s) :
Pinte Caroline |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore l'apport des méthodes d'apprentissage automatique dans le contexte de la bi-modalité EEG-IRMf, avec pour objectif de localiser automatiquement et précisément les électrodes EEG dans un volume IRM et de prédire des scores neurofeedback IRMf à partir de signaux EEG. La première partie présente le contexte et les outils utilisés, en abordant les modalités EEG et IRMf ainsi que leu...
Référencé le :
20-01-2025
|
|
Haplotype assembly from long reads
Date de publication :
27-11-2024 |
Auteur(s) :
Faure Roland |
Editeur(s) :
Université de Rennes, Université libre de Bruxelles |
Origine de la fiche :
Université de Rennes 1
Cette thèse propose des solutions pour améliorer l'assemblage des génomes à partir de lectures de séquençage de troisième génération (lectures longues). Plus précisément, elle se concentre sur l'amélioration de l'assemblage des (méta)génomes contenant plusieurs haplotypes, comme des génomes polyploïdes ou des souches bactériennes proches. Les assembleurs actuels ont du mal à séparer les haplotypes...
Référencé le :
17-01-2025
|
|
Sensitive devices Identification through learning of radio-frequency fingerprint
Date de publication :
21-11-2024 |
Auteur(s) :
Chillet Alice |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L’identification de dispositifs dits sensibles est soumise à différentes contraintes de sécurité ou de consommation d’énergie, ce qui rend les méthodes d’identification classiques peu adaptées. Pour répondre à ces contraintes, il est possible d’utiliser les défauts intrinsèques de la chaîne de transmission des dispositifs pour les identifier. Ces défauts altèrent le signal transmis et créent alors...
Référencé le :
17-01-2025
|
|
Identification, génotypage et représentation des variants de structure dans les pangénomes
Date de publication :
08-11-2024 |
Auteur(s) :
Romain Sandra |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les variants structuraux (SVs), des variations génomiques de plus de 50 pb, contribuent de manière significative à la diversité génétique et à l'évolution des espèces. La détection et le génotypage précis des SVs est crucial pour comprendre leur rôle dans la variation phénotypique et l'adaptation. Les graphes de variation (VGs) et graphes de pangénomes (PGs), qui représentent les variations génom...
Référencé le :
20-12-2024
|
|
Resource allocation in a cell-less context for 5G wireless networks
Date de publication :
15-09-2024 |
Auteur(s) :
Merlhe Christopher |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L’augmentation significative du nombre d’utilisateurs ayant des besoins toujours croissants, l’émergence de nouveaux services et de nouvelles applications ont amené les réseaux mobiles à évoluer. Les travaux de cette thèse ont pour objectif de répondre à ces enjeux. La première partie de cette thèse s’intéresse particulièrement à l’allocation des ressources classique et fournit quatre contribution...
Référencé le :
20-12-2024
|
|
Static analysis for skeletal semantics
Date de publication :
14-05-2024 |
Auteur(s) :
Rébiscoul Vincent |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Nous interagissons de plus en plus avec des objets pilotés par des programmes. Souvent, une erreur d'exécution d'un programme ne provoque pas de situation dangereuse. Un plantage de téléphone peut être embêtant, mais est généralement sans conséquences graves. Néanmoins, il existe des programmes gérant des tâches critiques, et les échecs de ceux-ci peuvent avoir des conséquences graves. Les pays me...
Référencé le :
19-12-2024
|
|
Fouille de règles numériques pour la prédiction de la dynamique des maladies des plantes
Date de publication :
13-11-2024 |
Auteur(s) :
Gauriau Olivier |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse se concentre sur la prédiction de la dynamique des maladies des plantes et les informations qui peuvent être tirées des modèles obtenus. Pour trouver un compromis entre la performance et la complexité du modèle, on a utilisé des modèles de complexité intermédiaire dits pattern-based. L’objectif était de parvenir à obtenir des modèles de ce type suffisamment performants en se basant sur...
Référencé le :
06-12-2024
|
|
Modèle d'exécution conscient de l'énergie pour les systèmes intermittents
Date de publication :
08-11-2024 |
Auteur(s) :
Reymond Hugo |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les capteurs sans batterie exploitent l'énergie ambiante pour fonctionner dans des lieux isolés, où le remplacement des batteries est impossible. L'énergie récoltée, stockée dans un condensateur, est insuffisante pour une exécution continue, entraînant des pertes d'alimentation qui effacent les données volatiles (registres processeur et mémoire vive), empêchant la progression des programmes. Pour ...
Référencé le :
02-12-2024
|
|
