Resource Description Framework (RDF) est devenu un modèle de données pertinentafin de décrire et de modéliser les informations qui sont partagées sur le Web.Cependant, fournir une solution permettant de stocker et de récupérer cesdonnées de manière efficace tout en passant à l'échelle reste un défi majeur.Dans le contexte de cette thèse nous proposons un intergiciel dévoué austockage, à la récupération synchrone mais aussi à la dissémination sélectiveet asynchrone en quasi temps réel d'informations RDF dans un environnementcomplètement distribué. L'objectif est de pouvoir tirer parti des informationsdu passé comme de celles filtrées en quasi temps réel. Contrairement à unegrande majorité de solutions existantes, nous avons avons fait le choixd'éviter le hachage pour indexer les données ce qui nous permet de traiter lesrequêtes à intervalles de manière efficace. Le filtrage des informations enquasi temps réel est permis par l'expression des intérêts à l'aide desouscriptions basées sur le contenu des évènements futurs. Nous avons proposédeux algorithmes qui permettent de vérifier la concordance des évènements RDFavec les souscriptions enregistrées. Les deux algorithmes ont été testésexpérimentalement. En sus de la récupération synchrone et de la diffusionasynchrone d'évènements, nous nous sommes intéressés à améliorer la répartitiondes données RDF qui souffrent de dissymétrie. Finalement, nous avons consacréun effort non négligeable à rendre notre intergiciel modulaire.

On s'intéresse dans ce mémoire aux équations de la magnétohydrodynamique (MHD) dans des milieux hétérogènes, i.e. dans des milieux pouvant présenter des variations (éventuellement brutales) de propriétés physiques. En particulier, on met ici l'accent sur la résolution des équations de Maxwell dans des milieux avec des propriétés magnétiques inhomogènes. On présentera une méthode non standard pour résoudre ce problème à l'aide d'éléments finis de Lagrange. On évoquera ensuite l'implémentation dans le code SFEMaNS, développé depuis 2002 par J.-L. Guermond, C. Nore, J. Léorat, R. Laguerre et A. Ribeiro, ainsi que les premiers résultats obtenus dans les simulations de dynamo. Nous nous intéresserons par exemple au cas de la dynamo dite de Von Kármán, afin de comprendre l'expérience VKS2. En outre, nous aborderons des cas de dynamo en précession, ou encore le problème de la dynamo au sein d'un écoulement de Taylor-Couette.

La radiothérapie stéréotaxique par rayonnement synchrotron (SSRT) est une technique innovanteutilisant un faisceau synchrotron de rayons X monochromatiques entre 50 et 100 keV. Une augmentationde dose par prise de contraste est obtenue localement par effet photoélectrique sur unélément lourd injecté dans le volume cible (tumeur cérébrale). Des essais cliniques de SSRT sont encours de préparation à l'ESRF (établissement européen de rayonnement synchrotron). Un systèmede planification de traitement (TPS) est nécessaire pour le calcul de l'énergie déposée au patient(dose) pendant le traitement. Une version dédiée du TPS ISOgray a donc été développée. Ce travaildécrit l'adaptation du TPS réalisée, particulièrement au niveau du module de simulation virtuelleet de dosimétrie. Pour un calcul de dose, le TPS utilise une simulation Monte Carlo spécifique desphotons polarisés et de basse énergie. Les simulations sont réalisées depuis la source synchrotron,à travers toute la géométrie de la ligne de lumière modélisée et dans le patient. Pour ce calcul, desmatériaux spécifiques ont été notamment ajoutés pour la modélisation voxélisée du patient, afin deprendre en compte la présence d'iode dans certains tissus. Le processus de calcul Monte Carlo a étéoptimisé en vitesse et précision. De plus, un calcul des doses absolues et des temps d'irradiation,particulier à la SSRT, a été ajouté au TPS. Grâce à des mesures de rendements, profils de dose, etdoses absolues, réalisées à l'ESRF en cuve à eau et en fantôme solide avec ou sans couche d'os, lecalcul de dose du TPS a été validé pour la SSRT.

Les problèmes de mécanique du contact sont des problèmes multi-échelles mettant en jeux de nombreux phénomènes physiques. Les premières études concernant ce domaine datent de la fin du XIXème siècle et les développements majeurs ont été réalisés au cours du XXème siècle en parallèle du besoin croissant des ingénieurs de prévoir le comportement des matériaux sous sollicitations tribologiques. L'évolution des besoins industriels et les avancées technologiques réalisées dans le domaine du numérique conduisent à réaliser des simulations tridimensionnelles ayant pour objectif la prédiction du comportement de pièces sous sollicitations thermo-mécaniques transitoires, pour, soit alléger les structures, augmenter le niveau de sollicitations, étendre la durée de vie... Ces simulations se révèlent très souvent coûteuses en termes de temps de calcul et d'espace mémoire et nécessitent par conséquent l'utilisation de super calculateurs. Dans ce contexte, cette thèse propose un modèle innovant basé sur les techniques multigrilles avec raffinement local afin de réaliser ces simulations pour des coûts numériques faibles. Ce modèle est basé sur les équations de Lamé généralisées et l'équation de la chaleur de Fourier discrétisée à l'aide des différences finies. Le système linéaire obtenu est résolu à l'aide de la méthode itérative de Gauss-Seidel couplée avec les techniques multigrilles. Ces techniques permettent d'accélérer la convergence d'un problème en utilisant plusieurs grilles et des opérateurs de transfert. Afin de garantir une convergence optimale et de minimiser la taille mémoire dans le cas de variations de propriétés importantes, des techniques numériques de localisation et d'optimisation ont été mises en place. Les applications visées ici sont centrées sur l'utilisation de revêtements ou de matériaux innovants pour permettre les gains attendus. Des validations du modèle ont été effectuées en comparant nos résultats avec ceux issus de la littérature. Des études paramétriques ont permis d'étudier l'influence de l'épaisseur du revêtement, de la valeur du module de Young mais aussi d'une couche à gradient de propriété sur le champ de contrainte et la tenue du système revêtement/substrat sous sollicitation de contact. Des études similaires ont été conduites sous sollicitations thermiques. L'intérêt porté aux variations de propriétés des matériaux selon toutes les directions de l'espace a conduit à étudier l'effet de la microstructure, qui est constituée de grains ayant chacun leurs propriétés propres, sur les champs de contraintes. La mise en évidence de cet effet est explicitement montrée au travers de calculs de durée de vie utilisant des descriptions statistiques de type Weibull. La dispersion observée sur les résultats est conforme aux observations expérimentales.

Les avancées des nouvelles techniques de séquençage (NGS) ont permis dans le cadre des études en écologie microbienne de passer de l'analyse de quelques centaines de séquences par étude à des centaines de millions de séquences. Cette différence quantitative des données produites a induit des différences qualitatives quant aux études réalisées. En effet, avec le changement du type de données, les approches classiques d'analyse ne peuvent être appliquées et il est devenu nécessaire de définir de nouvelles stratégies en tenant compte des contraintes que posent ces données. Alors qu'il était possible d'insérer classiquement quelques dizaines de séquences issues des techniques de première génération dans des phylogénies expertisées, le nombre de séquences généré aujourd'hui par les NGS à chaque expérience rend cette tâche irréalisable et nécessite la mise en place de nouvelles stratégies et l'utilisation d'outils adaptés. Par ailleurs, les outils disponibles d'analyse de la diversité microbienne adaptés aux amplicons de nouvelle génération, implémentent des approches probabilistes et/ou de recherche de similitude pour l'identification des séquences environnementales. L'approche phylogénétique quant à elle, bien qu'elle soit la plus robuste, n'est pas utilisée pour l'annotation taxonomique de ce type de données du fait de ses besoins en temps et en ressources de calcul. Au-delà de l'approche d'annotation taxonomique, les nouvelles techniques de séquençage posent également le problème de la qualité des séquences produites et son impact sur l'estimation de la diversité. Ainsi, ce travail de thèse avait pour objectif la définition d'une stratégie d'analyse bioinformatique de données de séquençage massif dans le contexte de l'étude de la diversité microbienne, en tenant compte des limitations imposées par les ressources informatiques actuelles (matérielles et logicielles) d'un côté, et de l'avantage des méthodes phylogénétiques par rapport aux autres approches d'annotation taxonomique. Ce travail a donné lieu au développement d'une chaîne de traitement proposant une série d'analyses allant des séquences brutes jusqu'à la visualisation des résultats, tout en replaçant les séquences environnementales dans un contexte évolutif. L'approche développée a été optimisée pour la gestion de gros volumes de données, et a été comparée en terme de précision d'affiliation aux autres approches communément utilisées en écologie microbienne. Les tests et simulations ont montré qu'à partir d'une taille d'amplicons de 400 pb, l'affiliation phylogénétique avait les meilleurs résultats mais aussi, que la qualité de cette affiliation différait selon la région hypervariable ciblée. La chaîne de traitements mise en place a ensuite été par implémentée dans un contexte de calcul à haute performance, notamment sur un cluster de calcul, pour proposer un service web dédié à l'analyse de la diversité microbienne.

Pour les équations différentielles ordinaires linéaires d'ordre 2 et 3, des algorithmes de résolution exacte avec des temps de calcul réalistes existent, se fondant sur une étude préalable précise des groupes de Galois différentiels potentiels de ces équations. Plusieurs études de l'ordre 4 ont déjà eu lieu mais ne concernaient qu'un aspect particulier de la classification des groupes. Dans cette thèse, on donne les bornes optimales pour le degré du polynôme minimal des dérivées logarithmiques des solutions liouvilliennes de telles équations (travail commun avec D. Boucher et F. Ulmer) puis on présente une stratégie algorithmique de recherche du groupe de Galois différentiel d'une équation en connaissant ses semiinvariants de degré 2 et 4, obtenue après avoir en particulier complété les travaux précédents par les cas imprimitif-monomial de la classification des groupes. On trouve alors plus efficacement des semi-invariants produits de formes linéeaires. Dans le chapitre 4 de cette thèse, on s'intérresse aux chutes d'ordre de la puissance symétrique quatrième d'une équation. Plus précisément, on montre qu'une chute d'ordre de un implique l'existence d'au moins un semi-invariant de degré 4, ce qui permet d'obtenir des informations sur le groupe de l'équation. En cas de chute d'ordre de deux et plus, des conditions de finitude du groupe sont données par un théorème de M.F. Singer. Dans le chapitre 5, on traite deux exemples. Dans le premier, on applique la stratégie algorithmique décrite dans le chapitre 3 en vue de trouver le groupe de Galois diff érentiel d'une équation dont on calcule ensuite les solutions (à l'aide d'une méthode décrite par F. Ulmer). Le second est un exemple de résolution du problème inverse pour le groupe SO(4, C) à l'aide de la méthode décrite par C. Mitschi et M.F. Singer (équation qui n'admet donc pas de solutions liouvilliennes). On trouvera en annexe la liste explicite des semiinvariants de degré 2 et 4 des sous-groupes monomiaux de SL(4, C).

Le problème du logarithme discret sur courbes elliptiques est à la base de nombreux protocoles cryptographiques, dans la mesure où on ne connaît jusqu'à présent aucun algorithme permettant de l'attaquer efficacement. Du point de vue de la cryptanalyse, certaines approches basées sur des méthodes de calcul d'indices, et s'appuyant sur la résolution de systèmes pour la recherche de relations, sont toutefois prometteuses. La première partie de cette thèse est consacrée aux techniques de calcul de bases de Gröbner appliquées à la résolution de systèmes polynomiaux. Après une description détaillée des algorithmes F4 et F5 de Faugère considérés comme les plus performants actuellement, on présente et analyse une variante de l'algorithme F4, particulièrement utile pour la résolution de nombreux systèmes "similaires". Plusieurs exemples d'applications de ce nouvel algorithme sont donnés à la fois au domaine du calcul formel et de la cryptographie, montrant que pour certaines attaques algébriques, cette variante est plus efficace que F4 et F5. Etant munis de ces nouveaux outils, on étudie dans la seconde partie le problème du logarithme discret sur courbes algébriques. Après une présentation rapide des attaques existantes sur ce type de courbes dans un contexte général, on s'intéresse plus particulièrement aux courbes elliptiques définies sur des extensions de corps finis. On donne ainsi une description complète des techniques GHS, puis des méthodes d'attaques par décomposition introduites par Gaudry et Diem. On présente notamment des variantes de ces méthodes de décompositions permettant, grâce aux outils introduits en première partie de cette thèse, de fragiliser le DLP (et des problèmes reliés) sur courbes elliptiques sur une gamme plus large d'extensions de corps finis. Enfin, une nouvelle approche combinant les attaques par recouvrement ainsi que les méthodes de décompositions est proposée : cette attaque permet entre autres de calculer complètement le logarithme discret sur des courbes elliptiques définies sur des extensions sextiques de taille jamais atteinte auparavant.

On borne explicitement la hauteur de Faltings d'une courbe sur le corps de nombres algèbriques en son degré de Belyi. Des résultats similaires sont démontré pour trois autres invariants arakeloviennes : le discriminant, l'invariant delta et l'auto-intersection de omega. Nos résultats nous permettent de borner explicitement les invariantes arakeloviennes des courbes modulaires, des courbes de Fermat et des courbes de Hurwitz. En plus, comme application, on montre que l'algorithme de Couveignes-Edixhoven-Bruin est polynomial sous l'hypothèse de Riemann pour les fonctions zeta des corps de nombres. Ceci était connu uniquement pour certains sous-groupes de congruence. Finalement, on utilise nos résultats pour démontrer une conjecture de Edixhoven, de Jong et Schepers sur la hauteur de Faltings d'un revêtement ramifié de la droite projective sur l'anneau des entiers.

Ce travail a été réalisé en cotutelle entre l'Université Charles à Prague (République Tchèque) et l'Université de Strasbourg (France). Il a également profité d'une coopération entre l'Institut de Chimie Inorganique de l'Académie des Sciences de République Tchèque et le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA, Cadarache, France). Les résultats des travaux ont contribué au projet OCDE / AEN Serena 2 (Programme portant sur l'étude des effets d'une explosion de vapeur dans un réacteur nucléaire à eau). La thèse présentée se situe dans le domaine de la sûreté nucléaire et de la science des matériaux. Elle traite de l'Interaction Combustible-Réfrigérant (ICR, ou FCI en anglais pour Fuel-Coolant Interaction) susceptible d'intervenir lors d'un accident grave de réacteur nucléaire et actuellement à l'étude dans les programme de R&D. Au cours d'un accident de fusion d'un coeur de réacteur, les matériaux fondus peuvent interagir avec le liquide de refroidissement (eau légère), aussi appelé réfrigérant. Cette interaction peut se produire à l'intérieur de la cuve ou, en cas de rupture de celle-ci, à l'extérieur. Ces deux scénarios sont couramment appelés Interaction Combustible-Réfrigérant en- et hors- cuve et se distinguent de par les conditions du réacteur lors de l'accident : pression du système, degré de sous refroidissement de l'eau, etc. L'interaction entre le combustible fondu et le liquide de refroidissement peut évoluer vers une détonation thermique appelée "explosion de vapeur" qui peut endommager le réacteur, voire compromettre l'intégrité du confinement. Des expériences récentes ont montré que la composition du combustible a un effet majeur sur l'apparition et le rendement d'une telle explosion. En particulier, des comportements différents ont été observés entre un matériau simulant, l'alumine, qui explose très facilement, et diverses compositions de corium prototypique (80 m. % UO2, 20% m.% ZrO2). Cet "effet matériau" a suscité un intérêt nouveau pour les analyses post-expériences des débris issus de l'ICR afin de déterminer les mécanismes qui interviennent au cours de ces phénomènes extrêmement rapides. La thèse est organisée en neuf chapitres. Le chapitre 1 constitue une introduction générale et présente le contexte d'un accident grave d'un réacteur nucléaire. Quelques exemples d'accidents graves (Three Miles Island 1979, Tchernobyl 1986 et Fukushima 2011) sont brièvement abordés. Le chapitre 2 résume les aspects théoriques de l'interaction combustible-réfrigérant. Il est divisé en quatre parties correspondant aux quatre étapes généralement rencontrées lors du mécanisme d'ICR i) Prémélange - le combustible fondu, versé dans l'eau, se fragmente en gouttelettes grossières qui s'isolent d'un film de vapeur. ii) Déclenchement - le film de vapeur entourant les gouttes de combustible est déstabilisé, permettant ainsi la fragmentation fine du combustible. iii) Propagation - la fragmentation du combustible se propage à l'ensemble du prémélange, augmentant ainsi la surface de contact entre le combustible fondu et l'eau. Ceci conduit à une production intense de vapeur à grande échelle. iv) Expansion (explosion) - l'énergie thermique transférée du combustible à l'eau est transformée en travail mécanique de la vapeur.[...]

Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakehol- ders involved in the application development have to address issues that can be attributed to different life-cycles phases when developing applications. First, the application logic has to be analyzed and then separated into a set of distributed tasks for an underlying network. Then, the tasks have to be implemented for the specific hardware. Apart from handling these issues, they have to deal with other aspects of life-cycle such as changes in application requirements and deployed devices. Several approaches have been proposed in the closely related fields of wireless sensor network, ubiquitous and pervasive computing, and software engineering in general to address the above challenges. However, existing approaches only cover limited subsets of the above mentioned challenges when applied to the IoT. This thesis proposes an integrated approach for addressing the above mentioned challenges. The main contributions of this thesis are: (1) a development methodology that separates IoT application development into different concerns and provides a conceptual framework to develop an application, (2) a development framework that implements the development methodology to support actions of stakeholders. The development framework provides a set of modeling languages to specify each development concern and abstracts the scale and heterogeneity related complexity. It integrates code generation, task-mapping, and linking techniques to provide automation. Code generation supports the application develop- ment phase by producing a programming framework that allows stakeholders to focus on the application logic, while our mapping and linking techniques together support the deployment phase by producing device-specific code to result in a distributed system collaboratively hosted by individual devices. Our evaluation based on two realistic scenarios shows that the use of our approach improves the productivity of stakeholders involved in the application development.