|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Titre
Auteur
|
|
Mathématiques et leurs interactions
/ 20-06-2024
Maccan Matilde
Voir le résumé
Voir le résumé
Cette thèse achève la classification des sous-schémas en groupes paraboliques des groupes algébriques semi-simples sur un corps algébriquement clos, en particulier de caractéristique deux et trois. Dans un premier temps, nous présentons la classification en supposant que la partie réduite de ces sous-groupes soit maximale, avant de passer au cas général. Nous parvenons à une description quasiment uniforme : à l'exception d'un groupe de type G₂ en caractéristique deux, chaque sous-schémas en groupes parabolique est obtenu en multipliant des paraboliques réduits par des noyaux d'isogénies purement inséparables, puis en prenant l'intersection. En conclusion, nous discutons quelques implications géométriques de cette classification.
|
|
Informatique
/ 18-06-2024
Jeudy Corentin
Voir le résumé
Voir le résumé
La transition vers la cryptographie post-quantique est une tâche considérable ayant suscité un nombre important de travaux ces dernières années. En parallèle, la cryptographie pour la protection de la vie privée, visant à pallier aux limitations inhérentes des mécanismes cryptographiques basiques dans ce domaine, a connu un véritable essor. Malgré le succès de chacune de ces branches prises individuellement, combiner les deux aspects de manière efficace s'avère extrêmement difficile.
Le but de cette thèse de doctorat consiste alors à proposer de nouvelles constructions visant à garantir une protection efficace et post-quantique de la vie privée, et plus généralement des mécanismes d'authentification avancés. Dans ce but, nous nous consacrons tout d'abord à l'étude de l'une des hypothèses mathématiques fondamentales utilisées en cryptographie sur les réseaux Euclidiens: Module Learning With Errors. Nous prouvons que le problème ne devient pas significativement plus facile même en choisissant des distributions de secret et d'erreur plus courtes. Ensuite, nous proposons des optimisations des échantillonneurs d'antécédents utilisés par de nombreuses signatures avancées. Loin d'être limitées à ce cas d'usage, nous montrons que ces optimisations mènent à la conception de signatures standards efficaces. Enfin, à partir de ces contributions, nous concevons des algorithmes de signatures avec protocoles efficaces, un outil polyvalent utile à la construction d'applications avancées. Nous en montrons les capacités en proposant le premier mécanisme d'accréditation anonyme post-quantique, que nous implémentons afin de mettre en exergue son efficacité aussi bien théorique que pratique.
|
|
Chimie : Procédés et Environnement
/ 14-06-2024
Kavugho Mission Sophie
Voir le résumé
Voir le résumé
L’ultrafiltration (UF) du lait écrémé pour la standardisation de la teneur en protéines pour la fabrication des fromages est un procédé membranaire très répandu à l’échelle industrielle. Cependant, le colmatage des membranes par des protéines du lait écrémé provoque une baisse de la productivité et constitue un verrou de ce procédé.
Ainsi, l’étape de nettoyage/désinfection bi-quotidienne est indispensable afin de restaurer les performances de la membrane et d’assurer la sécurité sanitaire ainsi que la qualité des produits. Elle est en général réalisée avec des détergents formulés alcalins et acides mais il est également possible d’utiliser des détergents enzymatiques formulés ayant la réputation d’être plus efficaces. Cependant, peu d’études fondamentales existent à ce sujet, ce que cette thèse se propose de contribuer à combler. L’objectif de cette thèse a été de développer de nouveaux détergents enzymatiques efficaces et compatibles avec la membrane en PES/PVP largement utilisée pour l’UF de lait écrémé. La cible du nettoyage est un dépôt de protéines. La démarche s’est appuyée sur une méthodologie d’aide à la formulation de détergents fondée sur la mesure des dépôts résiduels sur la membrane par ATR-FTIR: que ce soit les protéines, les enzymes ou les autres constituants des détergents étudiés. De multiples prototypes ont été formulés en collaboration avec la société Kersia. Leur évaluation a suivi 3 étapes: i) des tests rapides en réacteur fermé (14 cm²) pour sélectionner les détergents prometteurs selon leur efficacité d’élimination du colmatage protéique, leur rinçabilité et le respect de l’intégrité de la membrane à court termes, ii) la transposition des résultats prometteurs en condition de filtration (127 cm²) validant également la filtrabilité des détergents, iii) enfin, la validation de la compatibilité détergent/membrane sur le long terme grâce au vieillissement accéléré sous micro-onde (3 cm²), et au nettoyage d’une membrane spirale (6.8 m²) pendant 52 heures.
|
|
Informatique
/ 13-06-2024
Hoarau Arthur
Voir le résumé
Voir le résumé
Ce document expose les recherches effectuées dans le cadre d'une thèse sur l'apprentissage actif de données incertaines et imprécises, soutenue grâce au financement de la Région Bretagne et du département Côtes-d'Armor. Deux principaux axes de recherche ont été explorés : les fonctions de croyance pour modéliser l'incertitude dans les données, et l'apprentissage actif pour travailler avec un nombre limité d'observations labellisées. La thèse s'est penchée sur la qualité et la quantité des labels en apprentissage automatique, visant à améliorer la modélisation des labels (qualité) tout en réduisant les coûts de labellisation (quantité). Des jeux de données à labels riches ont été proposés et mis à la disposition de la communauté scientifique. De nouveaux modèles ont été développés, des arbres de décision et des forêts aléatoires crédibilistes, tous capables de produire des prédictions incertaines et imprécises. Deux méthodes d'échantillonnage, fondées sur l'incertitude crédibiliste, ont été proposées et ont montré une augmentation des performances en apprentissage actif sur des jeux de données classiques. Enfin, des perspectives de recherche future ont été envisagées, notamment l'amélioration des méthodes d'échantillonnage par incertitude crédibiliste. Les travaux en cours comprennent la comparaison de la méthode proposée avec d'autres modèles de décomposition d'incertitudes, en se basant sur des recherches récentes liées à la thèse.
|
|
Signal, image, vision
/ 11-06-2024
Engin Deniz
Voir le résumé
Voir le résumé
Le contenu vidéo a considérablement augmenté en volume et en diversité à l'ère numérique, et cette expansion a souligné la nécessité de technologies avancées de compréhension des vidéos. Poussée par cette nécessité, cette thèse explore la compréhension sémantique des vidéos, en exploitant plusieurs modes perceptuels similaires aux processus cognitifs humains et un apprentissage efficace avec une supervision limitée, semblable aux capacités d'apprentissage humain. Cette thèse se concentre spécifiquement sur la réponse aux questions sur les vidéos comme l'une des principales tâches de compréhension vidéo. Notre première contribution traite de la réponse aux questions sur les vidéos à long terme, nécessitant une compréhension du contenu vidéo étendu. Alors que les approches récentes dépendent de sources externes générées par les humains, nous traitons des données brutes pour générer des résumés vidéo. Notre contribution suivante explore la réponse aux questions vidéo en zéro-shot et en few-shot, visant à améliorer l'apprentissage efficace à partir de données limitées. Nous exploitons la connaissance des modèles à grande échelle existants en éliminant les défis d'adaptation des modèles pré-entraînés à des données limitées. Nous démontrons que ces contributions améliorent considérablement les capacités des systèmes de réponse aux questions vidéo multimodaux, où les données étiquetées spécifiquement annotées par l'homme sont limitées ou indisponibles.
|
|
Signal, image, vision
/ 27-05-2024
Li Yang
Voir le résumé
Voir le résumé
L’objectif ultime de thèse est de développer un système de synchronisation de bout en bout pour la compensation en temps réel des mouvements lors du traitement du cancer du poumon et du foie sur l’Elekta Unity. Ce système surveillera et localisera automatiquement en temps réel la position spatiale tridimensionnelle de la tumeur, et prédira sa trajectoire dans 0.5 secondes. Un signal de synchronisation sera généré pour contrôler l’activation et la désactivation du faisceau pendant la radiothérapie, réduisant ainsi l’inexactitude dans la délivrance de la dose due au mouvement respiratoire. Pour atteindre cet objectif, les étapes suivantes ont été réalisées : 1. Validation de l’efficacité de KCF dans le suivi des tumeurs en 2D sur des images en IRM cine, plus efficace et précise par rapport aux méthodes traditionnelles (TM). La précision est améliorée en calculant le centroïde des pixels, et la sélection des plans (coronales vs sagittales) pour localiser les tumeurs dans la direction SI. 2. Proposition d’un modèle C-NLSTM spécifique au patient qui combine la préformation du modèle C-NLSTM et l’optimisation de la cible pour obtenir une meilleure prédiction du mouvement de tumeurs. Le transfer learning, en utilisant efficacement le modèle préformé sur un ensemble de données limité, est une solution pertinente face au manque de données de l’Elekta Unity. Le modèle montre une performance satisfaisante dans la prédiction en temps réel pour la compensation du movement spécifique au patient. 3. Validation de la régression linéaire dans la prédiction du mouvement des organs ou des tumeurs en utilisant des images MR ciné 2D et proposition d’un schéma de prédiction en ligne pour les signaux de gating. Les signaux de gating sont déclenchés àl’aide de modèles prédictifs, prouvant son efficacité dans la MRgRT en comparant avec des modèles RNN. 4. Intégration des travaux susmentionnés, proposition d’une solution complète de compensation des mouvements respiratoires basée sur la IRM cine orthogonale. En optimisant un modèle de pavé et en explorant différents scénarios, des signaux de gating sont générés pour répondre aux besoins de traitement des différents patients. La validation par étude dosimétrique confirme que l’efficacité de la solution proposée dans la protection des organes environnants à risque. En résumé, le système proposé est robuste et fiable, réalisant une adaptation en temps réel au mouvement des tumeurs en MRgRT. Il fournit un solide soutien pour la compensation du mouvement respiratoire dans le traitement des cancers thoraciques et abdominaux, servant d’outil essentiel pour la radiothérapie de précision.
|
|
Informatique
/ 24-05-2024
Younes Mohamed
Voir le résumé
Voir le résumé
Cette thèse étudie l’extraction et la simulation des interactions entre combattants, principalement pour la boxe, en utilisant des techniques d’apprentissage profond : l’estimation du mouvement humain à partir de vidéos, l’apprentissage par imitation basé sur l’apprentissage par renforcement, et la simulation de personnages basée sur la physique. Dans le contexte de l’analyse sportive à partir de vidéos, un protocole de référence est proposé dans lequel diverses méthodes contemporaines d’extraction de poses humaines en 2D sont évaluées pour leur précision à dériver des informations positionnelles à partir d’enregistrements vidéo RVB de boxeurs lors de mouvements complexes et dans des circonstances de tournage défavorables. Dans une deuxième partie, la thèse se concentre sur la reproduction d’interactions réalistes entre boxeurs à partir de données de mouvement et d’interaction grâce à une méthodologie innovante permettant d’imiter les interactions et les mouvements de plusieurs personnages simulés physiquement à partir de données de capture de mouvement non organisées. Initialement, cette technique a été démontrée pour simuler une boxe légère entre deux combattants sans contact physique significatif. Par la suite, elle a été étendue pour prendre en compte des données d’interaction supplémentaires concernant la boxe avec du contact physique réel et d’autres activités de combat, ainsi que pour gérer les instructions de l’utilisateur et les restrictions d’interaction.
|
|
Cancérologie
/ 14-05-2024
Barbier Nicolas
Voir le résumé
Voir le résumé
Le lymphome folliculaire (FL) est le lymphome non-hodgkinien indolent le plus fréquent qui représente 20 à 25% des cas. Le FL est dans 90% des cas caractérisé par la translocation chromosomique t(14;18) des lymphocytes B, qui entraine la surexpression de BCL-2. Pour se développer, le FL est dépendant de son microenvironnement qui fournit notamment des signaux de survie et de prolifération aux lymphocytes B. Ce microenvironnement est composé en partie de cellules stromales lymphoïdes (LSC), qui, dans un contexte physiologique, structurent l’organe et soutiennent la mise en place de réactions immunitaires dans les centres germinatifs. En revanche, dans un contexte pathologique, ces cellules vont acquérir un phénotype pro-tumoral et sécréter des chimiokines telle que CXCL12, dérégulant l’homéostasie du tissus. Les mécanismes impliqués dans la transition de ces cellules vers un phénotype de type fibroblaste associé au cancer ne sont, à ce jour, pas connus. Au cours de mon projet de thèse, j’ai mis en évidence le rôle de KDM6B, une déméthylase spécifique de la marque H3K27, dans la différenciation des LSC physiologiques et pathologiques. J’ai également identifié une nouvelle voie de signalisation impliquée dans la différenciation pathologique des LSC, impliquant le facteur de transcription STAT1 sous l’influence de l’IL-4 sécrétée par les lymphocytes TFH. L’impact de l’activation de cette voie sur les lymphocytes B de FL reste encore à décrire.
|
|
Automatique, productique et robotique
/ 18-04-2024
Carli Nicola de
Voir le résumé
Voir le résumé
Dans cette thèse, nous nous attaquons aux défis de la localisation des systèmes multi-robots, en nous concentrant sur la localisation coopérative dans des formations non infiniment rigides avec des contraintes de détection. Nos contributions introduisent un cadre dans lequel les objectifs éventuellement conflictuels du maintien de la connectivité, de l'exécution des tâches et de l'acquisition d'informations sont "médiés" à l'aide d'un programme quadratique et des fonctions de barrière de contrôle et du formalisme de la fonction de Lyapunov de contrôle. Une autre contribution de cette thèse concerne la localisation active distribuée de cibles mobiles multiples par un groupe de robots volants utilisant des mesures basées sur des caméras, tout en accommodant d'autres tâches si la redondance du système le permet. Dans ce cas également, la formulation du problème utilise un programme quadratique et des fonctions de barrière de contrôle. En nous appuyant sur la fonction de barrière de contrôle et le cadre du programme quadratique, nous identifions et abordons les limites de l'état actuel de la technique, en particulier en ce qui concerne les fonctions de barrière de contrôle distribuées. Nos modifications aboutissent à un contrôleur qui converge vers la solution optimale centralisée. Enfin, nous présentons une méthodologie d'observation comme une nouvelle contribution, facilitant la localisation coopérative d'un système multi-robots dans un cadre commun en utilisant des mesures relatives au cadre du corps.
|
|
Automatique, productique et robotique
/ 17-04-2024
THOMAS JOHN
Voir le résumé
Voir le résumé
Dans cette thèse, un système multi-sensoriel composé de capteurs proximétriques, appelé réseau proximétriques, est proposé. En l’attachant à l’effecteur, il permet à un robot d’effectuer des tâches de positionnement plan sur plan et de positionnement par rapport à un cylindre. L’analyse de la stabilité de la tâche de positionnement plan sur plan est effectuée en obtenant la forme explicite pour la pseudo-inverse de la matrice d’interaction. Les informations de proximité et de vision sont ensuite combinées pour traiter le positionnement dans un espace encombré pour une tâche d’assemblage à l’aide de capteurs sans contact dans le cadre de la commande référencée multi-capteurs. Le réseau proximétrique est enroulé autour du bras du manipulateur pour permettre d’éviter les collisions alors que l’asservissement visuel à partir de 4 points assure le positionnement. Divers résultats expérimentaux et de simulation sont fournis pour valider la théorie. Des formes explicites de la base duale sont obtenues pour des tâches incluant le suivi plan sur plan et le positionnement par rapport à un cylindre avec un
minimum de capteurs et un asservissement visuel à partir de 3 points. La base duale est associée à l’espace linéaire des torseurs d’interaction qui forment les composantes de la matrice d’interaction. Cela conduit à des équations explicites capteurs.
|
|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|