|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
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
|
|
Qualité, transparence et reproductibilité du développement clinique des thérapies ciblées en oncologie
Date de publication :
18-12-2023 |
Auteur(s) :
Caquelin Laura |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les essais d’escalade de dose en oncologie reposent majoritairement sur des méthodes algorithmiques dont les performances sont critiquées depuis de nombreuses années pour leur incertitude à définir des doses optimales. Il est recommandé d’abandonner ces designs au profit de méthodes basées sur la modélisation ayant des propriétés statistiques intéressantes. Les inhibiteurs de protéines kinases (PK...
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
|
|
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
|
|
