Depuis les 50 dernières années, de nombreux progrès ont été faits dans la compréhension du comportement asymptotique du nombre de points rationnels de hauteur bornée sur les variétés algébriques. Des conjectures précises ont été avancées par Baryrev, Manin et Peyre quant à la formule asymptotique attendue pour une variété générale.En 1962, à l'aide d'arguments issus de la méthode du cercle de Hardy et Littlewood, B. Birch a donné une estimation précise du nombre de points à coordonnées entières bornées dans une hypersurface définie par une équation homogène. Ceci revient à démontrer la conjecture de Batyrev-Manin-Peyre pour les hypersurfaces de l'espace projectif. Plus récemment, V. Blomer et J. Brüdern ont élaboré des techniques leur permettant d'établir une formule pour le comportement asymptotique du nombre de points de hauteur bornée pour des hypersurfaces d'espaces multiprojectifs définies par des équations multihomogènes diagonales. Parallèlement, D. Schindler a démontré la conjecture pour des hypersurfaces générales d'espaces biprojectifs, à l'aide de développements de la méthode de Birch.L'objet de cette thèse a été d'utiliser et de généraliser les techniques de Schindler, Blomer et Brüdern afin de démontrer la validité de la conjecture de Batyrev-Manin-Peyre pour le cas d'hypersurfaces de variétés toriques plus générales.Ce travail est composé de trois parties. La première partie concerne le cas particulier des hypersurfaces de tridegré (1,1,1) d'un espace triprojectif. Ce cas particulier constitue une première extension des techniques de Schindler à des variétés toriques dont le rang du groupe de Picard est 3. La deuxième partie est consacrée à l'étude des hypersurfaces d'une famille de variétés toriques dont le rang du groupe de Picard est 2 et contenant la famille des espaces biprojectifs. Il s'agit en effet d'étendre la méthode de Schindler afin d'obtenir une formule asymptotique pour le nombre de points de hauteur bornée sur ces variétés. Enfin, dans la dernière partie, nous généralisons les méthodes développées dans les deux parties précédentes à des hypersurfaces des variétés toriques complètes lisses de rang de groupe dont le cône effectif est supposé simplicial, ce qui nous permet de démontrer la conjecture de Batyrev-Manin-Peyre pour ces variétés. / For the last 50 years, many progresses have been made in the understanding of the asymptotic behaviour of the number of rational points of bouded height on algebraic varieties. Some precise conjectures have been advanced by Batyrev, Manin, and Peyre for the expected asymptotic formula for a general variety.In 1962, using some arguments of the Hardy-Littlewood circle method, B. Birch gave a precise estimate for the number of integral points whose coordinates are bounded on an hypersurface defined by an homogeneous equation. This amounts to demonstrating the Batyrev-Manin-Peyre conjecture for hypersurfaces of projective spaces. More recently, V. Blomer and J. Brüdern developed some methods permitting to establish a formula for the asymptotic growth of the number of points of bounded height on hypersurfaces of multiprojective spaces defined by multihomogeneous diagonal equations. In the same time, D. Schindler proved the conjecture for general hypersurfaces of biprojective spaces by using some developements of the method of Birch.The aim of this thesis was to use and generalize the methods of Schindler, blomer, and Brüdern in order to prove the Batyrev-Manin-Peyre conjecture in the case of hypersurfaces of some general toric varieties.This work contain three parts. The first one deals with the particular case of hypersurfaces of tridegree (1,1,1) of triprojective spaces. This particular case is a first extension of the method of Schindler to some toric varieties whose rank of the Picard group is 3. The second part deals with the study of hypersurfaces of a class of toric varieties whose rank of the Picard group is 2 and containing biprojective spaces. We establish a generalization of the method of Schindler method in order to find an asymptotic formula for the number of points of bounded height on these vrieties. Finally, in the last part, we generalize the methods developed in the last two part to treat the case of hypersurfaces of complete non-singular toric vareties whose effective cone is simplicial. This permits to prove the conjecture of batyrev-Manin-Peyre for these varieties.

L'étude de la distribution des points rationnels sur les variétés algébriques est un sujet classique de la géométrie diophantienne. Le programme proposé par V. Batyrev et Y. Manin dans des années 90 donne une prédiction sur l'ordre de croissance tandis que sa version ultérieure dûe à E. Peyre conjecture l'existence d'une distribution globale. Dans cette thèse nous nous proposons une étude de la distribution locale des points rationnels de hauteur bornée sur les variétés algébriques. Ceci envisage une description plus fine que celle globale en dénombrant les points le plus proche d'un point fixé. Nous nous plaçons sur le cadre récent du travail de D. McKinnon et M. Roth qui met en évidence que la géométrie de la variété gouverne l'approximation diophantienne sur elle et nous reprenons les résultats de S. Pagelot. L'ordre de croissance espéré et l'existence d'une mesure asymptotique sur certaines surfaces toriques sont démontrés, alors que démontrons-nous un résultat totalement différent pour une autre surface sur laquelle il n'y pas de mesure asymptotique et les meilleurs approximants génériques s'obtiennent sur des courbes rationnelles nodales. Ces deux phénomènes sont de nature radicalement différente au point de vu de l'approximation diophantienne. / The study of the distribution of rational points on algebraic varieties is a classic subject of Diophantine geometry. The program proposed by V. Batyrev and Y. Manin in the 1990s gives a prediction on the order of growth whereas its later version due to E. Peyre conjectures the existence of a global distribution. In this thesis we propose a study of the local distribution of rational points of bounded height on algebraic manifolds. This aims at giving a description finer than the global one by counting the points closest to a fixed point. We set ourselves on the recent framework of the work of D. McKinnon and M. Roth who prefers that the geometry of the variety governs the Diophantine approximation on it and we take up the results of S. Pagelot. The expected order of growth and the existence of an asymptotic measure on some toric surfaces are demonstrated, while we demonstrate a totally different result for another surface on which there is no asymptotic measure and the best generic approximates are obtained on nodal rational curves. These two phenomena are of a radically different nature from the point of view of the Diophantine approximation.

L'étude du comportement sous incendie des bétons a particulièrement pris son essor depuis des incendies répétés de tunnels comme celui sous la Manche ou du Mont-Blanc. La problématique de résistance au feu est essentielle puisque les éclatements qui peuvent accompagner la diminution de résistance du matériau sont de nature à fragiliser fortement les structures. Depuis plusieurs décennies, le domaine de la résistance au feu des bétons ordinaires et à hautes performances a été exploré tant expérimentalement que théoriquement. Cependant il existe des matériaux plus récents, que sont les bétons fibrés à ultra performances (BFUP), pour lesquels le phénomène d'instabilité thermique est accentué et dont le comportement mécanique à chaud n'a pas été beaucoup exploré. L'étude menée ici a pour vocation de s'intéresser à un BFUP particulier, le BCV®, fourni par l'entreprise Vicat. Les résultats exposés permettent de mieux comprendre l'efficacité des fibres de polypropylène face aux autres fibres synthétiques, grâce à une approche expérimentale originale complétée par une étude à l'échelle microscopique. Cette dernière est constituée de nombreuses analyses au microscope électronique à balayage ainsi que d'études de porosimétrie au mercure. Cette première phase est suivie d'un vaste programme de caractérisations mécaniques à chaud sur le BCV® à des températures variant de 20°C à 1100°C, essais peu courants pour ce genre de matériau. Ce travail contribue à la compréhension du comportement des BFUP à haute température, et montre que l'évolution avec la température de leurs caractéristiques mécaniques principales (résistance en flexion, résistance en compression et module d'élasticité) est assez semblable à celle des bétons ordinaires. Les résultats de cette étude contribuent à une meilleures connaissance du comportement à haute température des bétons fibrés à ultra performances. / Study of concrete behaviour under fire has really increased since the occurence of several fires in tunnels such as the Chunnel or the Mont-Blanc tunnel. Fire resistance of concrete is a very important subject because the possible spalling coupled with a decrease of the strength of the material can deeply weaken the structures. For decades the fire resistance field of ordinary concrete and high performance concrete was studied experimentally and theorically. However more recent materials such as ultra-high performance fibre reinforced concrete (UHPFRC), for which spalling phenomenon is emphasized and whose high temperature mechanical behaviour has not been studied so much. The present study is aimed to study a particular UHPFRC, the BCV®, supplied by Vicat. The results enable to better understand the effenciency of polypropylene fibres compared to other synthetic fibres, thanks to an original experimental approach coupled with a study at the microscopic scale. The latter consists in various scanning electron microscope analysis and mercury intrusion porosimetry. This first part is followed by a wide number of experimental results which characterize the mechanical behaviour of BCV® for a range of temperatures from 20°C to 1100°C. Experiments in such testing conditions are not common for this material. The work achieved contributes to a better understanding of the high performance behaviour of UHPFRC. It reveals also that the evolution with temperature of main mechanical characteristics (bending strength, compression strength and Young Modulus) is really close to those of ordinary concretes. The results of this study contributes to a better knowledge of ultra-high performance fibre reinforced concrete under high temperature.

HACCP ( Hazard Analysis and Critical Control Points ) is a science-based system of food safety. This system identifies hazards and risks in food production and it proposes an effective control and monitoring procedures at points that are critical for food safety . In cases where e.g. measured values ( temperature, time) deviates from the set limits are performed specific corrective measures. Within this system of protection of food safety Two critical control points(CCP)were established in selected company and they have been set correctly . Two checkpoints (CP )in HACCP weren´t determined completely so newly designed and in five cases recommended modifications , including one designed to change the compliance time and once in imminent danger .

Les techniques habituelles d'indexation de vidéos passent généralement par une phase d'apprentissage qui nécessite préalablement la constitution d'une base d'apprentissage. Même si la taille de cette base est souvent réduite, la phase d'annotation réalisée par un expert de l'application est souvent longue et fastidieuse. Dans le cadre de cette thèse, nous avons développé un dispositif qui permet de pré-sélectionner un ensemble de prototypes susceptibles de contenir le concept qui doit apparaître dans la base d'apprentissage. Cette base réduite de prototypes sera ensuite annotée par l'expert. Nous nous sommes intéressés à des concepts temporels, ce qui nous a amené à étudier particulièrement des caractéristiques liées au mouvement, comme les points d'intérêt spatio-temporels (STIP Spatial Temporal Interest Points). D'autres caractéristiques ont aussi été utilisées concernant la couleur et la présence de formes particulières. Ces caractéristiques sont ensuite exploitées pour structurer la base de vidéos en briques spatio-temporelles homogènes. Cette structuration correspond à une sorte de segmentation de la base en fonction de chacune des caractéristiques. La liaison entre le concept à définir et les briques extraites de la base est en lien avec le fossé sémantique bien connu dans la problématique d'indexation automatique. La création de ce lien nécessite l'utilisation de la connaissance de l'expert de l'application sur le concept. Nous avons développé un système dans lequel cette connaissance est extraite par un système de questions/réponses. Les couples de questions/réponses permettent de sélectionner des briques répondant à la contrainte, de définir des relations entre certaines briques, et enfin de naviguer dans l'arborescence des questions. Des tests ont été réalisés sur des bases de vidéos de provenances diverses telles que des vidéos provenant d'émissions de télévision, de films d'animation, ou encore des vidéos de laboratoire disponibles sur le net, ou réalisées par nos soins. Ces tests montrent les performances satisfaisantes mais aussi les limites de l'approche et ouvrent des perspectives intéressantes, particulièrement sur les aspects collaboratifs et les aspects adaptatifs qui permettraient de capitaliser les connaissances des experts applicatifs et rendraient le système plus efficient. / The usual techniques of video indexing generally go through a learning phase that requires the prior establishment of a training database. Even if the size of the database is often reduced, the annotation phase by an expert of the application is often long and tedious. In this thesis, we developed a system that allows pre-selecting a set of prototypes that can contain the concept that must appear in the training set. This reduced base of prototypes will then be annotated by the expert. We are interested in time concepts, which led us to study particular features related to movement, such as Spatial Temporal Interest Points (STIP). Other features have also been used concerning the color and the presence of particular shapes. These characteristics are then used to structure the video database in homogeneous space-time blocks. This structure corresponds to segmentation related to each characteristic. The link between the concept to define and blocks extracted from the base corresponds to the well known problem of automatic indexing, the semantic gap. The definition of this link requires the introduction of the application expert's knowledge. We developed a system in which this knowledge is extracted by a questions/answers system. The couples of questions/answers allow the system to select blocks corresponding to the constraint, to define relationships between some blocks, and finally to navigate on the questions/answers tree. Tests were performed on video databases from various sources such as videos from tele- vision shows, animated films, laboratory videos available on the net, or made by us. These tests show the satisfying performances but also the limitations of the approach and open interesting perspectives, particularly on the collaborative and adaptive aspects that would capitalize in the application expert knowledge and would make the system more efficient.

Dans cette thèse on s'intéresse a l'aspect spatial dans la modélisation en épidémiologie, ainsi que des conditions menant a la stabilité des systèmes que nous présentons, en épidémiologie, a partir des modèles classiques de Ross et Mckendrick. Dans un premier temps, nous examinons les effets de l'indice de la différence normalisée de végétation (NDVI) dans un modèle de contamination du paludisme a Bankoumana, une région du Mali. A partir du système obtenu, nous trouvons le taux de reproduction de base. Deux points d'équilibre sont déduits dont, un point d'équilibre sans maladie et un point d'équilibre endémique. Ce dernier point d'équilibre ainsi que le taux de reproduction de base sont fonction de l'indice de végétation normalisée. Par la suite, nous construisons un modèle ayant des équations a retard, dans lequel est également incorporée le NDVI. Le taux de reproduction de base ainsi que les deux points d'équilibre qui découlent de notre système sont fonction des retards introduits. Nous montrons que la stabilité de nos points d'équilibre est, non seulement fonction du taux de reproduction de base, mais elle est aussi étroitement liée aux retards introduits. Dans une autre optique, nous fractionnons la région d'étude en zones dans lesquelles nous émettons l'hypothèse que le taux de contagion induite par les individus d'une zone sur les individus de la même zone, ainsi que celui des individus d'une zone sur ceux d'une autre zone, peut être différents. Nous obtenons un système qui nous permet de déterminer les points d'équilibre ainsi que les conditions qui nous permettent d'obtenir la stabilité au sens de Lyapunov. Puis, nous perturbons le système précédent au niveau de son unique point d'équilibre endémique, en introduisant un bruit additif. Par suite, les conditions permettant la stabilité au sens de Lyapunov, sur le nouveau système obtenu, sont également déduites . Dans un cadre similaire, nous élaborons un modèle multi-groupes, dans lequel nous introduisons des coordonnées spatiales. Les groupes sont formés selon une proximité dépendant du rayon d'un cercle, de manière aléatoire. Ici, le taux de contagion est supposé uniforme dans les groupes. Après avoir déterminé les points d'équilibre ainsi que le taux de reproduction de base,nous trouvons les conditions qui favorisent la stabilité au sens de Lyapunov dans le cadre général. A l'ordre 1, c'est-a-dire, lorsqu'on suppose que nous n'avons qu'un groupe, les conditions de stabilité sont obtenus par le critère de Routh-Hurwitz. / In this thesis, our interest is on the aspect in space of the establishment of a spatial model in epidemiology and the conditions leading to the stability of the systems that we present, in epidemiology, from the classical models by Ross and Mckendrick. Firstly, we intend to examine the eects of the Normalized DiFerence Vegetation Index(NDVI) in a model of contamination of malaria in Bankoumana, a region in Mali. From the system obtained, we willnd the basic reproduction rate. Then we deduce two point of equilibrium, among which one point of equilibrium without the disease and another one with an endemic point. The latter with the basic reproduction rate vary according to the indices of normalized vegetation. Then, we will build a model having equations delay, containing the NDVI. The rate of basic reproduction and the two points of equilibrium that come from our system depend upon the delay introduced. We will show that the stability of our points of equilibrium is not only dependent upon the basic reproduction rate, but also closely related to the delays introduced. In another way, we will divide the region of study in areas where we will set hypotheses that the rate of contamination brought about by individuals in an area of study on the others, can be dierent. It will permit us to obtain a system in which we will determine the points of equilibrium and the conditions that will lead us to obtain the stability according to Lyapunov. Then, we will disturb the previous system at the level of its unique endemic point of equilibrium, with the introduction of an additional noise. The conditions leading to stability according to Lyapunov, on the new system obtained, are generally deduced here. In a similar framework, we will elaborate a multigroups model, in which we will introduce spatial coordinates. The groups are formed according to a closeness depending to a radius of a circle at random. Here, the rate of contamination is supposed to be uniform in the groups. After having determined the point of equilibrium and the rate of basic reproduction, we will nd the conditions facilitating stability in as by Lyapunov in a global framework. In the order1, it means that supposing that we have only one group, the conditions of stability are obtained according to the Routh-Hurvitz criteria.

L’Aide Multicritère à la Décision (AMCD) vise à aider un décideur (DM) confronté à un problème de décision impliquant plusieurs objectifs contradictoires. Les préférences du DM jouent un rôle important au sein du processus d'aide à la décision, puisque les recommandations ne sont pertinentes et acceptables que si le système de valeurs du DM est pris en considération. Un outil d'élicitation des préférences est donc nécessaire pour aider l'analyste à intégrer les préférences du DM de façon appropriée dans les modèles de décision. Nous sommes intéressés par le développement d’outils d'élicitation des préférences pour deux modèles d'agrégation basés sur des points de référence à savoir Electre Tri et une méthode de Rangement basé sur des Points de Référence multiples (RPM). Tout d'abord, nous considérons Electre Tri en utilisant la règle d’affectation optimiste. Nous proposons un outil d'élicitation des préférences, qui infère les paramètres de préférence de ce modèle à partir d’exemples d’affectation du DM, et analyse également la robustesse des affectations résultant de la nature imprécise de l'information préférentiel. En second lieu, un outil d'élicitation des préférences est développé pour le problème de sélection de portefeuille formulée comme des problèmes de tri contraint en utilisant Electre Tri. Les préférences du DM à la fois au niveau individuel et au niveau du portefeuille sont considérés pour infère le modèle Electre Tri. Le modèle élicité évalue intrinsèquement les individus et sélectionne simultanément un portefeuille satisfaisant comme un groupe. Troisièmement, nous nous intéressons à l’élicitation des préférences pour le modèle RPM, qui détermine un pré-ordre comparant des alternatives avec des points de référence. Nous proposons un outil qui infère un modèle RPM parcimonieux à partir de comparaisons par paires du DM. Enfin, trois web services implémentent des outils d'élicitation des préférences pour Electre Tri et ont été intégrées au logiciel de Decision Deck. Les outils d’élicitation des préférences proposés consistent en des algorithmes qui résolvent des programmes linéaires en nombres mixtes. Des expériences numériques approfondies ont été réalisées pour étudier la performance et le comportement des outils d'élicitation proposées. Ces expériences éclairent sur l’applicabilité pratique de ces outils. De plus, les outils ont été appliqués avec succès à trois cas. / Multiple Criteria Decision Aid (MCDA) aims at supporting decision makers (DM) facing decisions involving several conflicting objectives. DM's preferences play a key role in the decision aiding process, since the recommendations are meaningful and acceptable only if the DM's values are taken into consideration. A preference elicitation tool is therefore necessary to help the analyst to incorporate appropriately the DM's preferences in the decision models. We are interested in developing preference elicitation tools for two aggregation models based on reference points, namely Electre Tri and a new Ranking method based on Multiple reference Points (RMP). Firstly, we consider Electre Tri using the optimistic assignment rule. We propose a preference elicitation tool which elicits the preference parameters of the model from assignment examples provided by the DM, and also analyzes the robustness of the assignments related to the imprecise nature of the preference information. Secondly, a preference elicitation tool is developed for portfolio selection problems. These problems are formulated as constrained sorting problems using Electre Tri. The DM's preferences both at the individual and portfolio level are considered to elicit the Electre Tri model. The elicited model evaluates intrinsically the individuals and simultaneously selects a satisfactory portfolio as a group. Thirdly, we are interested in preference elicitation for RMP model, which determines a weak order by comparing alternatives with reference points. A preference elicitation tool is provided which infers a parsimonious RMP model from the DM's pairwise comparisons. Lastly, three web services implementing the preference elicitation tools for Electre Tri have been developed and integrated to Decision Deck software. The proposed preference elicitation tools consist of algorithms solving mixed integer programs. Extensive numerical experiments have been performed to study the performance and behavior of the proposed elicitation tools to give insights into their applicability in practice. Moreover, the tools have been successfully applied to three real-world cases.

Den här magisteruppsatsen presenterar en metod för points-to analys som är avsedd för aktiviteter inom mjukvaruutveckling. Applikationer för mjukvaruutveckling som använder resultatet från en points-to analys är oftast intresserad av en liten del av det program som analyseras. För att göra metoden mer effektiv presenteras också ett antal approximationer som kommer att reducera storleken på analysen. En implementation av metoden och approximationerna gjordes för att kunna utvärdera metoden och approximationerna. Resultatet visar att approximationerna som gjordes på analysen inte påverkar precisionen avsevärt. Resultatet visar också att tiden för att göra en analys kortas ner mycket genom att göra approximationer på analysen. / This master’s thesis is presenting an approach to points-to analysis that is targeted to software engineering activities. Software engineering applications that use the result of points-to analysis are often only interested of a small amount of the classes in an application. In order to make the analysis more efficient, a couple of approximations are presented that will reduce the size of the analysis scope. An implementation was constructed to evaluate the approach and the approximations. The experimental result shows that the approximations made on the analysis are in the most cases not affecting the precision at all for the relevant parts of the application being analyzed. The experimental results also show that the analysis time is shortened considerable by using approximations.

E. Bombieri et J. Pila ont introduit une méthode qui donne les bornees sur le nombre de points entiers qui sont appartiennent d'un arc donné (sous les plusieurs hypothèses).Dans la partie algébrique nous généralisons la méthode de Bombieri Pila pour le cas des champs de fonction de genre $0$ avec une variable. Ensuite, nous appliquons le résultat pour calculer le nombre de courbes elliptiques qui sont dans la même classe d'isomorphisme avec leurs coefficients dans une petite boîte.Une fois que nous avons prouvé ça, la question naturelle est de savoir si nous pouvons l'améliorer dans certains cas particuliers. Nous allons étudier le cas des courbes elliptiques en utilisant la partie de conjecture par Birch Swinnerton-Dyer, les propriétés des fonctions de hauteur bien avec les empilements compacts.Après, dans une partie analytique nous donnons la version explicite du théorème de Bombieri Vinogradov. Ce théorème est un résultat important concerne le terme d'erreur dans le théorème de Dirichlet sur les progressions arithmétiques, pris en moyenne sur les modules $q$ variant jusqu'à $Q$. Notre but est d'améliorer les résultats existant de cette façon (voir cite{Akbary2015}), donc nous pouvons réduire la puissance du facteur logarithmique en utilisant l'inégalité de grand crible et l'identité de Vaughan. / E.Bombieri and J.Pila introduced a method to bound the number of integral points in a small given box (under some conditions). In algebraic part we generalise this method to the case of function fields of genus $0$ in ove variable. Then we apply the result to count the number of elliptic curves falling in the same isomorphic class with coefficients lying in a small box.Once we are done the natural question is how to improve this bound for some particular families of curves. We study the case of elliptic curves and use the fact that the necessary part of Birch Swinnerton-Dyer conjecture holds over function fields. We also use the properties of height functions and results about sphere packing.In analytic part we give an explicit version of Bombieri-Vinogradov theorem. This theorem is an important result that concerns the error term in Dirichlet's theorem in arithmetic progressions averaged over moduli $q$ up to $Q$. We improve the existent result of such type given in cite{Akbary2015}. We reduce the logarithmic power by using the large sieve inequality and Vaughan identity.

Every continuous convex function defined on a separable Banach space is Gateaux differentiable on a dense G^ subset of the space E [Mazur]. Suppose we are given a sequence (xn) that Is dense in E. Can we always find a Gateaux differentiable point x such that x = z^=^anxn.for some sequence (an) with infinitely many non-zero terms so that Ση∞=1||anxn|| < co ? According to this paper, such points are called of "simple type," and shown to be dense in E. Mazur's theorem follows directly from the result and Rybakov's theorem (A countably additive vector measure F: E -* X on a cr-field is absolutely continuous with respect to |x*F] for some x* e Xs) can be shown without deep measure theoretic Involvement.