L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le "dilemme du fabricant de tables" (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'"approximation polynomiale rigoureuse", permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre "vérifieur ISValP" est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en "précision augmentée" pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de "double-arrondi", qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis.

Cette thèse porte principalement sur l'équilibrage de charge dans de grands graphes aléatoires. En informatique, un problème d'équilibrage de charge survient lorsque différentes tâches ont besoin d'accéder à un même ensemble de points de ressources. Il faut alors décider quelles ressources spécifiques seront allouées à quelles tâches. Suivant le contexte, les notions de "tâche" et de "ressource" peuvent avoir différentes interprétations. Afin de prendre des exemples concrets, on se concentrera sur deux applications en particulier: - un système de hachage à choix multiples (plus précisément, le "cuckoo hashing"). L'objectif est ici d'allouer des cellules d'un tableau à des objets, afin de pouvoir ensuite vérifier facilement la présence d'un objet et récupérer les données associées. Les tâches sont liées aux objets à stocker, et les ressources sont les cellules du tableau. - un réseau de distribution de contenu distribué, au sens où les contenus peuvent être stockés sur une multitude de petits serveurs aux capacités individuelles très limitées. Ici, les tâches sont des demandes de téléchargement (ou requêtes) pour un contenu et les ressources sont liées aux serveurs et à la façon dont leurs espaces de stockage sont utilisés. Le problème d'équilibrage de charge consiste à décider quel serveur va servir quelle requête. Les contraintes locales portant sur chaque ressource (en quelle quantité est-elle disponible et pour quelles tâches est-elle convenable?) ainsi que la charge de travail associée avec chaque tâche peuvent être représentées efficacement sur un graphe biparti, avec des contraintes de capacité sur ses sommets et ses arêtes. De plus, en pratique, les systèmes considérés sont souvent de très grande taille (avec parfois des milliers de tâches et de points de ressources différents) et relativement aléatoires (que ce soit par choix ou une conséquence de leur grande taille). Une modélisation à l'aide de grands graphes aléatoires est donc souvent pertinente. L'ensemble des solutions envisageables pour un problème d'équilibrage de charge donné étant vaste, il est primordial de commencer par déterminer des bornes sur les performances que l'on peut espérer. Ainsi, on considérera dans un premier temps une solution optimale du problème (même si elle ne serait pas réalisable avec des contraintes pratiques). Les performances d'une telle solution peuvent être obtenues en étudiant les appariements de taille maximum dans un grand graphe aléatoire, ce que l'on réalisera à l'aide de la méthode de la cavité. Cette méthode vient de l'étude des systèmes désordonnés en physique statistique, et on s'attachera ici à l'appliquer de manière rigoureuse dans le cadre que l'on considère. Dans le contexte du cuckoo hashing, les résultats obtenus permettent de calculer le seuil sur la charge du système (le nombre d'objets à insérer par rapport à la taille du tableau) en-dessous duquel on peut construire une table de hachage correcte avec grande probabilité dans un grand système, et également de traiter de manière similaire de variantes de la méthode de hachage basique qui tentent de diminuer la quantité d'aléa nécessaire au système. Au-delà du problème d'équilibrage de charge, dans le cadre des réseaux de distributions de contenu distribués, un second problème se pose: comment décider quel contenu stocker et en quelle quantité, autrement dit comment répliquer les contenus? On appelle ce second problème un problème d'allocation de ressources. A nouveau, l'étude déjà réalisée permet de quantifier l'efficacité d'une politique de réplication fixée en supposant que la politique d'équilibrage de charge fonctionne de manière optimale. Il reste cependant à optimiser la politique de réplication de contenus utilisée, ce que l'on effectue dans un régime où l'espace de stockage disponible au niveau de chaque serveur est important par rapport à la taille d'un contenu. Finalement, afin de quantifier maintenant les performances minimales atteignables en pratique, on s'intéressera aux mêmes questions lorsque la politique d'équilibrage de charge utilisée est un simple algorithme glouton. Cette étude est réalisée à l'aide d'approximations de champs moyen. On utilisera également les résultats obtenus afin de concevoir des politiques de réplication de contenus adaptatives.

La thèse s'intéresse à l'accompagnement familial des apprentissages scolaires en mathématiques, mais aussi et surtout à l'organisation non discriminante de ses conditions. La " culture didactique " partagée dans notre société s'adapte de moins en moins aux régulations de la scolarité obligatoire. En effet, en se focalisant sur le repérage des difficultés individuelles et en encourageant les interventions précoces à l'extérieur de l'institution d'enseignement, elle transforme les aléas " ordinaires " de l'apprentissage en dysfonctionnements. Certaines tentatives d'amélioration insistent sur l'information et la communication entre école et parents. Or les discours éloignent souvent de la réalité des actions. Les " exercices à faire à la maison ", en transmettant des comportements, jouent un rôle complémentaire important. Certes, ils font rapidement surgir les divergences, parce qu'ils rendent visibles les contre-performances des élèves, et suggèrent toutes sortes de rectifications. Les devoirs sont par conséquent souvent accusés d'introduire des disparités et de pertuber les relations entre protagonistes. La thèse réexamine ce point de vue, en étudiant d'autres formes d'étude, qui s'ajusteraient mieux aux besoins des institutions didactiques. Pour simplifier la circulation des savoirs mathématiques les plus fréquemment utilisés, la société a mis en place des instruments culturels. Mais certains ont été détournés de leur fonction, ce qui a rompu des équilibres didactiques essentiels. La récitation des tables de multiplication fournit un exemple paradigmatique de la dénégation des transpositions. Les régressions métadidactiques ont en effet lentement modifié une ancienne répartition des tâches entre institutions, jusqu'à dédidactifier tout un pan de l'enseignement du calcul. La thèse éclaire la compréhension de ces phénomènes à l'aide de la Théorie des Situations Didactiques. Elle propose un nouveau concept pour une ingénierie spécifique de l'entraînement et de la familiarisation des élèves avec les connaisances les plus fondamentales : les assortiments didactiques.

There is anecdotal evidence that populations of the New Zealand endemic red admiral butterfly Bassaris gonerilla (F.) have declined since the early 1900s. This decline has been associated with the introduction of the generalist pupal parasitoids Pteromalus puparum (L.) and Echthromorpha intricatoria (F.). The former was deliberately introduced for the biological control of the cabbage white butterfly (Pieris rapae (L.)); the latter is an adventitious arrival from Australia. The objective of this thesis was to quantify, using population models, the effect that P. puparum is having on B. gonerilla abundance. Population monitoring and a phenology model (based on temperature-related development rates) indicated that B. gonerilla has two full generations and one partial generation per summer in the Banks Peninsula region of New Zealand. B. gonerilla abundance was greatly reduced in drought summers, which was probably due to the negative effects of drought on the quality and quantity of the larval host plant Urtica ferox Forst. A life table study showed that egg parasitism by the unidentified scelionid Telenomus sp. was the largest mortality factor for the pre-imaginal stages of B. gonerilla, followed by "disappearance" mortality (predation and dispersal) in the larval stages. Pupal mortality due to P. puparum was lower compared with that caused by E. intricatoria, with 1-19% and 20-30% of pupae being parasitised by P. puparum and E. intricatoria, respectively. Collection of B. gonerilla pupae from the Christchurch, Dunedin and Wellington areas confirmed higher rates of percentage parasitism by E. intricatoria. B. gonerilla collected from the Banks Peninsula had a 50: 50 sex ratio and lifetime fecundity was estimated in the laboratory as 312 eggs per female. There was no evidence of density-dependent parasitism of B. gonerilla pupae by P. puparum in the field, although there was a significant positive relationship between life table estimates of E. intricatoria parasitism and B. gonerilla pupal abundance. Larval dispersal from the host plant showed a positive relationship with larval instar but no relationship with larval density. Rates of change in B. gonerilla adult abundance between generations within a year showed evidence of density dependence, and this negative feedback was stronger in a drought year. A discrete-time model for B. gonerilla population dynamics was constructed which had two summer generations per year and a partial overwintering generation. The model showed that the presence of this overwintering generation provides a temporal refuge from high levels of E. intricatoria parasitism. Removal of parasitoid mortality from the model suggested that P. puparum was suppressing B. Gonerilla populations on the Banks Peninsula by 5% and E. intricatoria by 30%. An important assumption of the model was that parasitism rates were independent of B. gonerilla density. This assumption appears valid for P. puparum parasitism, but may not be valid for E. intricatoria; therefore the estimated suppression levels due to this adventive parasitoid should be viewed with some caution. It is too soon to generalise on what determines the magnitude of non-target effects by arthropod biocontrol agents, this being only the second study to quantify effects at a population level. However, in this case retrospective analysis has shown that the impact of non-target parasitism by P. puparum on B. gonerilla abundance has been small. There is anecdotal evidence that populations of the New Zealand endemic red admiral butterfly Bassaris gonerilla (F.) have declined since the early 1900s. This decline has been associated with the introduction of the generalist pupal parasitoids Pteromalus puparum (L.) and Echthromorpha intricatoria (F.). The former was deliberately introduced for the biological control of the cabbage white butterfly (Pieris rapae (L.)); the latter is an adventitious arrival from Australia. The objective of this thesis was to quantify, using population models, the effect that P. puparum is having on B. gonerilla abundance. Population monitoring and a phenology model (based on temperature-related development rates) indicated that B. gonerilla has two full generations and one partial generation per summer in the Banks Peninsula region of New Zealand. B. gonerilla abundance was greatly reduced in drought summers, which was probably due to the negative effects of drought on the quality and quantity of the larval host plant Urtica ferox Forst.. A life table study showed that egg parasitism by the unidentified scelionid Telenomus sp. was the largest mortality factor for the pre-imaginal stages of B. gonerilla, followed by "disappearance" mortality (predation and dispersal) in the larval stages. Pupal mortality due to P. puparum was lower compared with that caused by E. intricatoria, with 1-19% and 20-30% of pupae being parasitised by P. puparum and E. intricatoria, respectively. Collection of B. gonerilla pupae from the Christchurch, Dunedin and Wellington areas confirmed higher rates of percentage parasitism by E. intricatoria. B. gonerilla collected from the Banks Peninsula had a 50: 50 sex ratio and lifetime fecundity was estimated in the laboratory as 312 eggs per female. There was no evidence of density-dependent parasitism of B. gonerilla pupae by P. puparum in the field, although there was a significant positive relationship between life table estimates of E. intricatoria parasitism and B. gonerilla pupal abundance. Larval dispersal from the host plant showed a positive relationship with larval instar but no relationship with larval density. Rates of change in B. gonerilla adult abundance between generations within a year showed evidence of density dependence, and this negative feedback was stronger in a drought year. A discrete-time model for B. gonerilla population dynamics was constructed which had two summer generations per year and a partial overwintering generation. The model showed that the presence of this overwintering generation provides a temporal refuge from high levels of E. intricatoria parasitism. Removal of parasitoid mortality from the model suggested that P. puparum was suppressing B. Gonerilla populations on the Banks Peninsula by 5% and E. intricatoria by 30%. An important assumption of the model was that parasitism rates were independent of B. gonerilla density. This assumption appears valid for P. puparum parasitism, but may not be valid for E. intricatoria; therefore the estimated suppression levels due to this adventive parasitoid should be viewed with some caution. It is too soon to generalise on what determines the magnitude of non-target effects by arthropod biocontrol agents, this being only the second study to quantify effects at a population level. However, in this case retrospective analysis has shown that the impact of non-target parasitism by P. puparum on B. gonerilla abundance has been small.

Dissertação (mestrado) - Columbia University - School of International and Public Affairs, New York, 2017 / Bibliografia: p. [64]-72 / All rights reserved. The total or partial reproduction of the work is prohibited without authorization from the University, the author and the advisor. / Texto em inglês e resumos em inglês e português / A dificuldade de acesso ao crédito é um dos maiores obstáculos para a sobrevivência das pequenas e médias empresas (PMEs). Uma das principais razões para isso é a falta de garantias. Essa situação se reflete na baixa competitividade e alta desigualdade do Brasil. Os sistemas de garantia fornecem esta garantia. Esta tese analisa o papel potencial dos esquemas de garantia para promover a inclusão financeira no Brasil. Para alcançar esse objetivo, a pesquisa analisa a competitividade e a desigualdade do Brasil e sua relação com o acesso ao crédito. A metodologia utilizada foi um estudo de caso sobre o Fundo Garantidor para Investimentos (FGI), utilizando abordagem qualitativa e estatísticas descritivas. A coleta de dados baseou-se em entrevistas semiestruturadas, fontes secundárias, análise de documentos e dados operacionais. A análise utilizou os modelos de construção e reparação de confiança entre organizações, o papel dos bancos nacionais de desenvolvimento nos sistemas de garantia e o benchmark internacional para governança e eficácia dos esquemas de garantia. Os resultados demonstram que o FGI conseguiu criar uma governança adequada e estabelecer confiança com os bancos. Até 2017, 26 bancos contrataram mais de 32 mil operações no valor de 1,9 bilhões de dólares, com adicionalidades comparáveis ao benchmark internacional. No entanto, estudos adicionais são necessários para estabelecer uma ligação entre a adicionalidade dos esquemas de garantia e o desenvolvimento social e econômico. / Difficult access to credit is one of the greatest obstacles to the survival of small and medium-sized enterprises (SMEs). One of the major reasons for this is the lack of guarantees. This situation is reflected in Brazil’s low competitiveness and high inequality. Guarantee Schemes provide this guarantee. This thesis analyzes the potential role of guarantee schemes to promote financial inclusion in Brazil. To achieve this objective the research analyzes Brazil competitiveness and inequality and their relation to credit access. The methodology used was a case study over the Fundo Garantidor para Investimentos (Investment Guarantee Fund - FGI), using a qualitative approach and descriptive statistics. Data collection relied on semi-structured interviews, secondary sources, document analysis and operational data. The analysis used inter-organization trust building and repair models, the role of national development banks in the guarantee systems and the international benchmark for governance and effectiveness of guarantee schemes. The results demonstrate that FGI achieve adequate governance and established trust with the banks. By 2017, 26 banks contracted more than 32,000 operations worth 1.9 billion dollars, with additionalities comparable to the international benchmark. However, additional studies are necessary to establish a link between the guarantee schemes additionality and social and economic development.

The thesis has both a theoretical and a practical part. Within the theoretical part it deals with problems and the characteristics of food intake failures, especially with the perception of her/his body during maturation, pubescence, adolescence, early adulthood and middle adulthood and the impact of psychological and social factors and risk factors. It points out the possibilities of a probable occurrence of a food intake failures, the attitude of the society and parents. It deals with different attitudes to slenderness, self-esteem, eating habits of girls and how present-day girls are informed about food intake failures. The diploma thesis main aim within a practical part is the illustration of a theoretical part and the description of subjectively sensed possible causes from women who suffered from food intake failures. There are 6 casuistries described here which are subsequently summarized in the results. Possible comments and ideas are mentioned in the discussion.

Bien que la littérature scientifique relative aux nécropoles méroïtiques, royales ou privées, soit assez abondante, force est d’admettre qu’aucune étude globale concernant le mobilier associé au monument funéraire méroïtique bâti n’a jamais été effectuée. Ce matériel considérable n’a, en effet, été traité que sommairement dans les diverses publications, que ce soit dans le cadre général de monographies relatives à un site en particulier ou d’une façon éclectique dans des ouvrages de synthèse, des articles transversaux ou autres catalogues d’expositions temporaires.<p><p>Le but du présent travail n’est pas d’opérer un recensement de tous les objets liés aux superstructures connus à ce jour, ni même de dresser une carte des traditions funéraires méroïtiques au Soudan, de nombreux travaux inédits étant toujours en cours sur plusieurs sites archéologiques, mais bien de réunir les informations disponibles sur le mobilier archéologique relatif à ces structures spécifiques. Par le biais d’une approche méthodologique multiple (archéologique, architecturale, chronologique, stylistique, typologique et religieuse) et au moyen de la restitution des objets dans leur contexte physique, nous tenterons de reconstituer une gestuelle particulière, de même que de déterminer une évolution de ces pratiques et préciser ainsi la symbolique liée aux objets concernés. Nous chercherons à comprendre quels furent les actes et les démarches pratiqués par les acteurs de la cérémonie funéraire, membres de la famille et prêtres, visant à célébrer le souvenir du défunt dans la mémoire collective. En effet, il ne faudrait pas offrir une vision réductrice du complexe funéraire et des différents rites pratiqués, comme s'il ne s'adressait qu’au défunt. Ces différents actes et gestes sont également destinés aux vivants, en modifiant les relations qu’ils entretiennent avec le disparu, changeant ainsi son statut dans le maillage social de la société. Les différentes actions réalisées dès le scellement de la chambre funéraire sont autant d’indices sur la façon dont les Méroïtes accomplissaient leur deuil. <p><p>Il conviendra tout d’abord de s’intéresser aux traditions royales et de déterminer ensuite quand et de quelle façon ces traditions ont été adoptées par les élites de l’empire de Méroé, tant au niveau de la capitale que dans le reste de l’empire.<p><p>Un dépouillement des archives de fouilles, notamment celles de G.A. REISNER, nous a permis de découvrir des photographies inédites de certaines étapes de la fouille révélant ainsi des informations de première importance quant à l’emplacement originel de certains objets, ou illustrant d’autres objets qui ne figuraient dans aucune publication parce que jugés sans réelle importance à l’époque. La présente étude, dont de nombreuses approches sont inédites, permet d’établir un état de la question, de conforter certaines idées précédemment avancées dans la littérature scientifique et pose à nouveau la question de « l’égyptianisation » des élites de Méroé et de la perception de la civilisation égyptienne qu’en ont les cultures limitrophes et ce, dans les différentes couches sociales.<p> / Doctorat en Histoire, art et archéologie / info:eu-repo/semantics/nonPublished

This Thesis deal with problems in Czech land registry, which started after year 1945. In thesis are described four exemples, which are formed by many reasons. First example deal with problems of dual registration in Land books and Land tables. Second example is focused on situation after 1948 and subsequent changes in the ownership of land. Third example deal with problems which are formed in 1964 when had founded new property registry. The last example deal with promblems which are formed in changes of state boundary. And diferences between states land registry. Thesis is focused on description of problems and outline solutions.

This diploma thesis is focused on the analysis of small samples where it is not possible to obtain more data. It can be especially due to the capital intensity or time demandingness. Where the production have not a wherewithall for the realization more data or absence of the financial resources. Of course, analysis of small samples is very uncertain, because inferences are always encumbered with the level of uncertainty.

My Master's thesis deals with the problems of flow compression in network devices. Its outcome should alleviate memory consumption of the flows and simplify the processing of network traffic. As an introduction I provide a description of protocols serving for data storage and manipulation, followed by discussion about possibilities of compression methods that are employed nowadays. In the following part there is an in-depth analysis of source data that shows the structure and composition of the data and brings up useful observations, which are later used in the testing  of existing compression methods, as well as about their potential and utilization in flow compression. Later on, I venture into the field of lossy compression and basing on the test results a new approach is described, created by means of flow clustering and their subsequent lossy compression. The conclusion contains an evaluation of the possibilities of the method and the final summary of the thesis along with various suggestions for further development of the research.