|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
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
|
|
Impact et faisabilité du partage des données individuelles issues de la recherche clinique
Date de publication :
20-12-2024 |
Auteur(s) :
Pellen Claude |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La communauté scientifique se doit de maximiser la valeur des données des essais cliniques en les partageant pour générer de nouvelles connaissances. Celles-ci pouvant potentiellement améliorer la santé des populations, le partage peut être considéré comme un impératif éthique et scientifique. Devant cette promesse, les différentes parties prenantes des recherches telles que les patient·es, les fi...
Référencé le :
28-04-2025
|
|
Granular materials under stress : a study of discrete plastic events and earthquake-like behaviour
Date de publication :
16-12-2024 |
Auteur(s) :
Mathey Ambroise |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore la déformation de matériaux granulaires à l'aide d'un test biaxial appliqué sur des échantillons de micro-billes de verre. Une méthode d’interférométrie optique permet d’observer la déformation locale dans le matériau. Les expériences montrent que la déformation prend la forme d'évènements plastiques discrets qui sont distribués de façon homogène avant la rupture. Lors de la ru...
Référencé le :
28-04-2025
|
|
Mécanisme de sécurité contre les attaques temporelles via une coopération entre logiciel et matériel embarqué
Date de publication :
16-12-2024 |
Auteur(s) :
Hatchikian-Houdot Jean-Loup |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La programmation temps constant est utilisée pour produire des programmes immunisés contre les attaques temporelles. Cependant, cette discipline impose plusieurs contraintes au développeur de logiciels, ce qui rend la mise en œuvre complexe et les programmes résultants parfois plus lents. Nous proposons un nouveau mécanisme de protection spécialisé pour les systèmes embarqués qui est implémenté da...
Référencé le :
28-04-2025
|
|
Regulation and function of Dnmt2 in Schizosaccharomyces pombe
Date de publication :
05-05-2023 |
Auteur(s) :
Chentouf Célia |
Editeur(s) :
Universite de Rennes |
Origine de la fiche :
Université de Rennes 1
Les modifications des nucléotides sont au cœur de nombreux processus biologiques fondamentaux. La méthylation de l’ADN et de l’ARN est l’un des processus les plus étudiés, ainsi que les enzymes chargées d’effectuer ces modifications sur des cibles spécifiques. Il est intéressant de noter que les protéines de la famille Dnmt2 qui possèdent les motifs catalytiques des ADN méthyltransférases (DNMTs),...
Référencé le :
28-04-2025
|
|
A better factor model based on the investigation of anomalies in European stock market
Date de publication :
16-11-2020 |
Auteur(s) :
Xue Ke |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
CAPM a été largement utilisé sur les marchés financiers, mais ses hypothèses sont trop strictes et irréalistes, ce qui entraîne l'échec de son application. En assouplissant les hypothèses de CAPM sur la diversification et la rationalité, cet article reconstruit le modèle par différentes manières pour améliorer les performances. Basé sur le Fama-French multifactoriel modèle , cet article mène une r...
Référencé le :
25-04-2025
|
|
How deep learning can deal with detection, prediction and source localization in epilepsy
Date de publication :
23-10-2024 |
Auteur(s) :
Yu Zuyi |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse discute de la conception d'algorithmes utilisant des méthodes d'apprentissage profond pour aborder trois questions clés dans le domaine de l'épilepsie. Premièrement, nous avons conçu un algorithme de détection automatique de l'épilepsie basé sur le Transformer et la fonction de perte LDAM afin d'aider les neurologues à identifier avec précision les signaux EEG épileptiques à partir d'e...
Référencé le :
25-04-2025
|
|
Évaluation des capacités de détection de lésions carieuses et apicales sur panoramique dentaire par les étudiants en Odontologie de l’Université de Rennes en fonction de leur année d’étude
Date de publication :
12-12-2024 |
Auteur(s) :
Rousseau Antoine |
Editeur(s) :
Universite de Rennes |
Origine de la fiche :
theses-exercice-rennes1
La radiographie panoramique est un élément radiographique essentiel de la consultation du chirurgien dentiste. La formation initiale du chirurgien dentiste doit lui permettre d'acquérir toutes les connaissances en lecture radiographique pour une prise en charge optimale des patients. Dans cette étude, 10 radiographies panoramiques dentaires ont été étudiées par les étudiants des différentes promot...
Référencé le :
25-04-2025
|
|
Évaluation des capacités de détection de lésions carieuses et apicales sur panoramique dentaire par les étudiants en Odontologie de l’Université de Rennes en fonction de leur année d’étude
Date de publication :
12-12-2024 |
Auteur(s) :
Ropers Valentin |
Editeur(s) :
Universite de Rennes |
Origine de la fiche :
theses-exercice-rennes1
La radiographie panoramique est un élément radiographique essentiel de la consultation du chirurgien dentiste. La formation initiale du chirurgien dentiste doit lui permettre d'acquérir toutes les connaissances en lecture radiographique pour une prise en charge optimale des patients. Dans cette étude, 10 radiographies panoramiques dentaires ont été étudiées par les étudiants des différentes promot...
Référencé le :
25-04-2025
|
|
