|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Analysis of thoracic and intra-gastric cardiac vibration signals for the monitoring of heart failure
Date de publication :
10-03-2023 |
Auteur(s) :
Areiza Laverde Henry Jhoán |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Le développement d'un système de surveillance des vibrations cardiaques offrant une gestion intégrée des paramètres multimodaux avec un dispositif peu invasif est actuellement nécessaire dans le domaine des maladies cardiovasculaires chroniques, afin de déclencher une attention médicale précoce et adéquate contre les événements de décompensation et de réduire les hospitalisations. L'objectif princ...
Référencé le :
25-08-2023
|
|
Caractérisation de deux bactéries commensales intestinales : Bacteroides fragilis et Roseburia intestinalis
Date de publication :
02-02-2023 |
Auteur(s) :
Gautier Thomas |
Editeur(s) :
Universite de Rennes |
Origine de la fiche :
Université de Rennes 1
L’épithélium intestinal et le microbiote intestinal sont en équilibre dans l’intestin. Cependant, cet équilibre peut être rompu par différents facteurs endogènes ou exogènes, conduisant à la dysbiose intestinale. La dysbiose intestinale est une perturbation de la composition du microbiote intestinal, pouvant être corrélée à l’apparition de certaines pathologies intestinales, telles que la maladie ...
Référencé le :
25-08-2023
|
|
Contributions to the scalability of automatic precision tuning
Date de publication :
10-03-2023 |
Auteur(s) :
Ha Van-Phu |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La consommation d'énergie est l'un des problèmes majeurs de l'informatique aujourd'hui, du calcul haute performance aux systèmes embarqués. Ces dernières années, l'approximation des calculs a reçu un regain d'intérêt pour améliorer l'efficacité énergétique. De nombreuses applications n'exigent pas une précision élevée, et les techniques de calcul approximatif augmentent l'espace de conception en f...
Référencé le :
25-08-2023
|
|
Modélisation de mouvements réactifs et comportements non verbaux pour la création d'acteurs digitaux pour la réalité virtuelle
Date de publication :
27-02-2023 |
Auteur(s) :
Jovane Alberto |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore des solutions pour enrichir les interactions des utilisateurs avec les humains virtuels. Nous nous concentrons sur les caractéristiques non-verbales du mouvement, sur la façon dont elles sont représentées par les agents virtuels, et sur la façon d'adapter ces éléments pour doter les humains virtuels de capacités expressives dynamiques. Dans ce contexte, nous proposons un systèm...
Référencé le :
28-08-2023
|
|
Deep software variability for resilient performance models of configurable systems
Date de publication :
17-04-2023 |
Auteur(s) :
Lesoil Luc |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes logiciels sont fortement configurables, au sens où les utilisateurs peuvent adapter leur compilation et leur exécution grâce à des configurations. Mais toutes ces configurations ne se valent pas, et certaines d'entre elles seront nettement plus efficaces que d'autres en terme de performance. Pour l'être humain, il est complexe d'appréhender et de comparer les les différentes possibili...
Référencé le :
28-08-2023
|
|
Élaboration d’optiques infrarouges à base de verre de chalcogénures à indice de réfraction élevé par combinaison de la mécanosynthèse et du frittage flash (SPS)
Date de publication :
30-03-2023 |
Auteur(s) :
Reux Valentin |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Le prix de production des verres de chalcogénures, lié à l’utilisation de silice à usage unique lors de la synthèse, est un obstacle à leur démocratisation. Dans le contexte du projet européen HELIAUS, des recherches ont étés menées afin d’obtenir des lentilles infrarouges en combinant mécanosynthèse et frittage flash par Spark Plasma Sintering (SPS). Le respect de la norme REACH et le besoin d’un...
Référencé le :
28-08-2023
|
|
Algorithmes de planification de trajectoires robustes pour des tâches robotiques en présence d’incertitudes paramétriques
Date de publication :
27-04-2023 |
Auteur(s) :
Brault Pascal |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L'un des défis majeurs des systèmes automatisés réside dans la nécessité de fonctionner dans des conditions réelles, donc incertaines. L'incertitude paramétrique est un problème courant, et se présente lors de l'exécution de tâches robotiques diverses. Dans cette thèse, nous explorons les possibilités apportées par la planification de trajectoires, dont le suivi est intrinsèquement robuste aux inc...
Référencé le :
01-09-2023
|
|
Études et développements de procédés de "transfer printing" pour l'intégration de jauges de contrainte au sein et à la surface de matériaux complexes
Date de publication :
13-04-2023 |
Auteur(s) :
Herry Gaëtan |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Ce travail de thèse porte sur l'étude et le développement d'un procédé d'intégration de jauges de contrainte sur et dans les matériaux complexes, basé sur l'impression par transfert, aussi appelé "Transfer Printing". La première partie de ce travail a consisté à définir l'environnement dans lequel le sujet s'inscrit afin de comprendre les enjeux qui poussent à développer de nouveaux procédés de fa...
Référencé le :
01-09-2023
|
|
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
Date de publication :
05-05-2023 |
Auteur(s) :
Kastenbaum Stéphane |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L'augmentation de la complexité et de l'hétérogénéité des systèmes critiques pose un défi dans leur conception et leur assurance de sécurité. Les méthodes formelles sont utilisées pour valider les modèles de système, mais la difficulté réside dans la vérification de la sécurité du système global à partir des spécifications de composants validées. La théorie des contrats résout ce problème en utili...
Référencé le :
01-09-2023
|
|
Improving image quality using high dynamic range and aesthetics assessment
Date de publication :
16-06-2023 |
Auteur(s) :
Chambe Mathieu |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Pour traiter la grande quantité de données visuelles disponible, il est important de concevoir des algorithmes qui peuvent trier, améliorer, compresser ou stocker des images et des vidéos. Dans cette thèse, nous proposons deux approches différentes pour améliorer la qualité d'images. Tout d'abord, nous proposons une étude des méthodes d'évaluation automatique de l'esthétique. Ces algorithmes sont ...
Référencé le :
08-09-2023
|
|
