Dans les années quatre-vingts dix du siècle dernier, R. W. Thomason a démontréun théorème de concentration pour la K-théorie équivariante algébrique sur lesschémas munis d’une action d’un groupe algébrique G diagonalisable. Comme d’habitude,un tel théorème entraîne une formule des points fixes de type Lefschetz qui permetde calculer la caractéristique d’Euler-Poincaré équivariante d’un G-faisceau cohérent surun G-schéma propre en termes d’une caractéristique sur le sous-schéma des points fixes.Le but de cette thèse est de généraliser les résultats de R.W. Thomason dans le contextede la géométrie d’Arakelov. Dans ce travail, nous considérons les schémas arithmétiquesau sens de Gillet-Soulé et nous tout d’abord démontrons un analogue arithmétiquedu théorème de concentration pour les schémas arithmétiques munis d’une action duschéma en groupe diagonalisable associé à Z/nZ. La démonstration résulte du théorèmede concentration algébrique joint à des arguments analytiques. Dans le dernier chapitre,nous formulons et démontrons deux types de formules de Lefschetz arithmétiques. Cesdeux formules donnent une réponse positive à deux conjectures énoncées par K. Köhler,V. Maillot et D. Rössler. / In the nineties of the last century, R. W. Thomason proved a concentrationtheorem for the algebraic equivariant K-theory on the schemes which are endowed withan action of a diagonalisable group scheme G. As usual, such a concentration theoreminduces a fixed point formula of Lefschetz type which can be used to calculate theequivariant Euler-Poincaré characteristic of a coherent G-sheaf on a proper G-schemein terms of a characteristic on the fixed point subscheme. It is the aim of this thesis togeneralize R. W. Thomason’s results to the context of Arakelov geometry. In this work,we consider the arithmetic schemes in the sense of Gillet-Soulé and we first prove anarithmetic analogue of the concentration theorem for the arithmetic schemes endowedwith an action of the diagonalisable group scheme associated to Z/nZ. The proof is acombination of the algebraic concentration theorem and some analytic arguments. Inthe last chapter, we formulate and prove two kinds of arithmetic Lefschetz formulae.These two formulae give a positive answer to two conjectures made by K. Köhler, V.Maillot and D. Rössler.

Le travail présenté ici avait pour but le développement d'un schéma de type Galerkin discontinu (GD) d'ordre élevé pour la résolution des équations de la dynamique des gaz écrites dans un formalisme Lagrangien total, sur des maillages bi-dimensionnels totalement déstructurés. À cette fin, une méthode progressive a été utilisée afin d'étudier étape par étape les difficultés numériques inhérentes à la discrétisation Galerkin discontinue ainsi qu'aux équations de la dynamique des gaz Lagrangienne. Par conséquent, nous avons développé dans un premier temps des schémas de type Galerkin discontinu jusqu'à l'ordre trois pour la résolution des lois de conservation scalaires mono-dimensionnelles et bi-dimensionnelles sur des maillages déstructurés. La particularité principale de la discrétisation GD présentée est l'utilisation des bases polynomiales de Taylor. Ces dernières permettent, dans le cadre de maillages bi-dimensionnels déstructurés, une prise en compte globale et unifiée des différentes géométries. Une procédure de limitation hiérarchique, basée aux noeuds et préservant les extrema réguliers a été mise en place, ainsi qu'une forme générale des flux numériques assurant une stabilité globale L_2 de la solution. Ensuite, nous avons tâché d'appliquer la discrétisation Galerkin discontinue développée aux systèmes mono-dimensionnels de lois de conservation comme celui de l'acoustique, de Saint-Venant et de la dynamique des gaz Lagrangienne. Nous avons noté au cours de cette étude que l'application directe de la limitation mise en place dans le cadre des lois de conservation scalaires, aux variables physiques des systèmes mono-dimensionnels étudiés provoquait l'apparition d'oscillations parasites. En conséquence, une procédure de limitation basée sur les variables caractéristiques a été développée. Dans le cas de la dynamique des gaz, les flux numériques ont été construits afin que le système satisfasse une inégalité entropique globale. Fort de l'expérience acquise, nous avons appliqué la discrétisation GD mise en place aux équations bi-dimensionnelles de la dynamique des gaz, écrites dans un formalisme Lagrangien total. Dans ce cadre, le domaine de référence est fixe. Cependant, il est nécessaire de suivre l'évolution temporelle de la matrice jacobienne associée à la transformation Lagrange-Euler de l'écoulement, à savoir le tenseur gradient de déformation. Dans le travail présent, la transformation résultant de l'écoulement est discrétisée de manière continue à l'aide d'une base Éléments Finis. Cela permet une approximation du tenseur gradient de déformation vérifiant l'identité essentielle de Piola. La discrétisation des lois de conservation physiques sur le volume spécifique, le moment et l'énergie totale repose sur une méthode Galerkin discontinu. Le schéma est construit de sorte à satisfaire de manière exacte la loi de conservation géométrique (GCL). Dans le cas du schéma d'ordre trois, le champ de vitesse étant quadratique, la géométrie doit pouvoir se courber. Pour ce faire, des courbes de Bézier sont utilisées pour la paramétrisation des bords des cellules du maillage. Nous illustrons la robustesse et la précision des schémas mis en place à l'aide d'un grand nombre de cas tests pertinents, ainsi que par une étude de taux de convergence. / The intent of the present work was the development of a high-order discontinuous Galerkin scheme for solving the gas dynamics equations written under total Lagrangian form on two-dimensional unstructured grids. To achieve this goal, a progressive approach has been used to study the inherent numerical difficulties step by step. Thus, discontinuous Galerkin schemes up to the third order of accuracy have firstly been implemented for the one-dimensional and two-dimensional scalar conservation laws on unstructured grids. The main feature of the presented DG scheme lies on the use of a polynomial Taylor basis. This particular choice allows in the two-dimensional case to take into general unstructured grids account in a unified framework. In this frame, a vertex-based hierarchical limitation which preserves smooth extrema has been implemented. A generic form of numerical fluxes ensuring the global stability of our semi-discrete discretization in the $L_2$ norm has also been designed. Then, this DG discretization has been applied to the one-dimensional system ofconservation laws such as the acoustic system, the shallow-water one and the gas dynamics equations system written in the Lagrangian form. Noticing that the application of the limiting procedure, developed for scalar equations, to the physical variables leads to spurious oscillations, we have described a limiting procedure based on the characteristic variables. In the case of the one-dimensional gas dynamics case, numerical fluxes have been designed so that our semi-discrete DG scheme satisfies a global entropy inequality. Finally, we have applied all the knowledge gathered to the case of the two-dimensional gas dynamics equation written under total Lagrangian form. In this framework, the computational grid is fixed, however one has to follow the time evolution of the Jacobian matrix associated to the Lagrange-Euler flow map, namely the gradient deformation tensor. In the present work, the flow map is discretized by means of continuous mapping, using a finite element basis. This provides an approximation of the deformation gradient tensor which satisfies the important Piola identity. The discretization of the physical conservation laws for specific volume, momentum and total energy relies on a discontinuous Galerkin method. The scheme is built to satisfying exactly the Geometric Conservation Law (GCL). In the case of the third-order scheme, the velocity field being quadratic we allow the geometry to curve. To do so, a Bezier representation is employed to define the mesh edges. We illustrate the robustness and the accuracy of the implemented schemes using several relevant test cases and performing rate convergences analysis.

The topic of this thesis is a cryptosystem, precisely a public key encryption scheme, that is based on the knapsack problem. At first we formulate terms like \mathcal{NP} -complete problem, one-way function, hard-core predicate, public key encryption scheme and semantic security which we connect in this thesis. After that we present the knapsack problem. Then we prove that the knapsack problem with appropriate parameters has a property that leads to semantic security of the encryption scheme which we present afterwards. This public key encryption scheme is based on the scheme proposed by Vadim Lyubashevsky, Adriana Palacio and Gil Segev. Powered by TCPDF (www.tcpdf.org)

La connaissance, parce qu'elle est le résultat de l'interprétation par un individu d'une information, ne peut pas toujours être manipulée comme un objet. C'est en filtrant au travers de nos schémas d'interprétation les informations qui nous parviennent que nous créons des connaissances. La commensurabilité des schémas d'interprétation est un concept abstrait se basant sur une règle assez floue : plus il est probable que la même information prenne le même sens pour plusieurs individus, plus leurs schémas d'interprétation sont commensurables ; moins il est probable que la même information prenne le même sens pour plusieurs individus, moins leurs schémas d'interprétation sont commensurables. L'objet de cette thèse est de proposer des approches pour déterminer dans quelle mesure deux individus donnent le même sens à la même information. / Knowledge resulting of the interpretation by an individual of information, it cannot always be handled as an object. Indeed, we create knowledge when filtering information through ours interpretative frameworks. The commensurability of interpretative frameworks is an abstract concept, relying on a quite unclear rule: higher is the probability that the same information will have the same meaning for several people, more commensurable are their interpretative frameworks ; lower is that probability, less commensurable are their interpretative frameworks. The purpose of this thesis is to propose approaches in order to determine to what extent two individuals will give the same meaning to the same information.

Le Schéma de Cohérence Territoriale (SCoT) est l’instrument central de l’aménagement communautaire urbain français, qui associe le rôle d’assemblage de plusieurs politiques sectorielles et de coordination multi-scalaire aux objectifs de conception de villes durables. Il est donc souhaité que les SCoTs soient capables : a) d’améliorer les procédures par l’instauration de territoires de planification mieux adaptés aux enjeux, b) d’élargir le dialogue entre acteurs et société civile et, finalement c) d’agir pour la « soutenabilité » des villes. Ainsi, les enseignements tirés de ce travail concernent à la fois la traduction du référentiel « ville durable » et l’analyse des modalités de création de la décision par les acteurs lors de l’élaboration des SCoTs. Ces analyses, réalisées à partir de deux cas (la communauté d’agglomération de Montpellier CAM et la région urbaine grenobloise RUG), s’appuient sur l’étude du contenu des deux SCoTs ainsi que d’autres sources documentaires, sur des entretiens avec des acteurs et sur l’observation des ateliers de travail et réunions délibératives lors de l’élaboration du document. Cette étude met en évidence la constitution d’une vision planificatrice à une échelle plus large que celle traitée par la planification antérieurement, une meilleur prise en compte des enjeux environnementaux et une meilleure maîtrise de l’étalement urbain par les deux SCoTs, agissant pour la construction de villes plus durables. Cependant, les SCoTs sont différents quant à la construction du périmètre de projet, plus cohérent et durable dans la RUG que dans la CAM, et quant à leur équilibre démocratique lors de la prise de décision. Cela est dû à leurs contextes particuliers, qu’influent autant, ou même plus, que les SCoTs, dans l’efficacité de l’action publique. / The Territorial Coherence Plan (Schéma de Cohérence Territoriale - SCoT) is the central French urban planning instrument of intercommunity, which combines the management of several sectorial policies and multi-scalar coordination with the objectives of designing more sustainable cities. Therefore, the SCoTs are expected: a) to help improving the planning procedures through the institution of better adapted territories to challenges, b) the dialogue between actors and civil society and, finally, c) to act for the sustainability of cities. Thus, the lessons learnt from this work relate to the translation of "sustainable city" reference system and analyzes the decision making process by stakeholders during the development of the SCoTs. These analyzes, carried through two study cases (the urban intercommunity of Montpellier “Communauté d’agglomération de Montpellier CAM and the urban region of Grenoble “region urbaine grenobloise” RUG), are based on the analysis of the content of two Scots and other documentary sources, on interviews with actors and on observation of workshops and deliberative meetings during the development of the document. This study highlights the development of a planner based on a larger planning scale vision, the better consideration of environmental issues and control urban sprawl by two SCoTs, acting for building more sustainable cities. However, the SCoTs are different relating to the construction of the project perimeter, more coherent and sustainable in the RUG than in the CAM, and relating to their democratic balance in decision-making. This is due to their specific contexts that sometimes become more influential than the Scots, in the effectiveness of public action.

The aim of this thesis is to study physical self-evaluation and generalized self-efficacy within the self-concept of women. This is put in context with their regular physical exercise. a number of other variables are being examined to add the complexity to the topic of self-concept and sports. Among them there are Body Mass Index (BMI), subjective self- confidence, level of professional involvement in particular sport activity and whether the woman has children. The theoretical part of this work looks at the self-concept paradigm focusing on the physical self-concept of women and self-efficacy in sports. Furthermore it examines how the physical exercise is related to the mind. In the empirical part of the thesis physical self-evaluation of women was researched in context with the type of exercise they had been doing. This was examined in quantitative analysis of a group of 100 women who did sports. The research includes also relationship among physical self- evaluation, generalized self-efficacy and other variables. The research method used was the Physical Self-Perception Profile (PSPP) and Generalized Self-Efficacy Scale (GSES). The results of the research are: There is no statistically relevant difference in physical self- evaluation of women based on the type of exercise they do regularly....

Although XML is a widely used technology, the majority of real-world XML documents does not conform to any particular schema. To fill the gap, the research area of automatic schema inference from XML documents has emerged. This work refines and extends recent approaches to the automatic schema inference mainly by exploiting an obsolete schema in the inference process, designing new MDL measures and heuristic excluding of excentric data inputs. The work delivers a ready-to-use and easy-to-extend implementation integrated into the jInfer framework (developed as a software project). Experimental results are a part of the work.

This thesis is focused on XML and related technologies. The XML language is directly linked to the databases and its support in databases. The overview of the XML support provided by various database products and systems are presented in this work. Support in the MS SQL Server 2008 is discussed in more detail starting with the mapping of relational data to XML and vice versa to support of the XML data type and work with it through XQuery. Also some indexing techniques are briefly presented. Finally, the support in MS SQL Server 2008 is demonstrated by means of a sample application, which verifes the theoretical knowledge in practice.

La simulation numérique est largement utilisée pour évaluer les performances aérodynamiques des aéronefs ainsi qu'en optimisation de forme. Ainsi l'objectif de ces simulations est souvent le calcul de fonctions aérodynamiques. L'objet de cette thèse est d'étudier des méthodes d'adaptation de maillages basées sur la dérivée totale de ces fonctions par rapport aux coordonnées du maillage (notée dJ/dX). Celle-ci pouvant être calculée par la méthode adjointe discrète. La première partie de cette étude concerne l'application de méthodes d'adaptation de maillages appliquées à des écoulements de fluides parfaits. Le senseur qui détecte les zones de maillage à raffiner s'appuie sur la norme de cette dérivée pour adapter des maillages pour le calcul d'une fonction J. La seconde partie du travail est la construction et l'étude de critères plus fiables basés sur dJ/dX pour d'une part adapter des maillages et d'autre part estimer si un maillage est bien adapté ou non pour le calcul de la fonction J. De plus une méthode de remaillage plus efficace basée sur une EDP elliptique est aussi présentée. Cette nouvelle méthode est appliquée pour des écoulements bidimensionnels de fluides parfaits ainsi que pour un écoulement décrit par les équations RANS. La dernière partie de l'étude est consacrée à l'application de la méthode proposée à des cas tridimensionnels d'écoulement RANS sur des géométries d'intérêt industriel. / Numerical simulation is widely used for the assessment of aircraft aerodynamic performances and shape optimizations. Hence the objective of these simulations is often to compute aerodynamic outputs. The purpose of this thesis is to study mesh adaptation methods based on the total derivative of the outputs with respect to mesh coordinates (denoted dJ/dX). This derivative can be computed using the discrete adjoint method. The first part of this study is about the application of mesh adaptation methods applied for Eulerian flows. The mesh locations to refine are detected using a sensor based on the norm of the derivative dJ/dX. This study confirmed that this derivative is relevant in order to adapt a mesh for the computation of the output J. The second part of this work is the construction and the study of reliable criteria based on dJ/dX for both mesh adaptation and the quality assessment of a given mesh for the computation of the output J. Moreover a more efficient remeshing method based on an elliptic PDE is presented too. This new method is applied for both two-dimensional Eulerian flows and a flow described by the RANS equations. The last part of the study is devoted to the application of the proposed method to three-dimensional RANS flows on geometries of industrial interest.

Le présent travail est consacré à l’approximation numérique des solutions du modèle aux moments M1 pour le transfert radiatif. Il s’agit, ici, de développer des solveurs numériques performants et précis capables de prédire avec précision et robustesse des écoulements où le transfert radiatif joue un rôle essentiel. Dans ce sens, plusieurs méthodes numériques ont été envisagées pour la dérivation des schémas numériques de type solveur de Godunov. Une attention particulière a été portée sur les solveurs préservant les ondes de contact stationnaires. En particulier, un schéma de relaxation et un solveur HLLC sont présentés dans ce travail. Pour chacun de ces solveurs, la robustesse de la méthode a été établie (positivité de l’énergie radiative et limitation du flux radiatif). La validation et l’intérêt des méthodes abordées sont exhibés à travers de nombreuses expériences numériques mono et multidimensionelles. / The present work is dedicated to the numerical approximation of the M1 moments model solutions for radiative transfer. The objective is to develop efficient and accurate numerical solvers, able to provide with precise and robust computations of flows where radiative transfer effects are important. With this aim, several numerical methods have been considered in order to derive numerical schemes based on Godunov type solvers. A particular attention has been paid to solvers preserving the stationary contact waves. Namely, a relaxation scheme and a HLLC solver are presented in this thesis. The robustness of each of these solvers has been established (radiative energy positivity and radiative flux limitation). Several numerical experiments in one and two space dimensions validate the developed methods and outline their interest.