Thesis (doctoral)--Uppsala universitet, 1985. / Summary in English. Includes bibliographical references (p. 257-264) and index.

Thesis--Halle-Wittenberg. / Includes bibliographical references.

Thesis--Halle-Wittenberg. / Includes bibliographical references.

abstract: ABSTRACT Emile Zola is considered one of the fathers of 19th century French Naturalist literature. He is famous for his eloquence, sarcasm and is well known for being a provocateur. He wants to follow the principles of science: observation of his characters in their living environment (or milieu). He holds that individuals inherit physical and personality traits from their ancestors, such as atavism, which can be passed from grandfather to father and father to son. This assumption leads to Social Darwinism and impacted Zola like many other European intellectuals who believed in the new social sciences. Religion was going extinct on the old continent and the trend was to apply these theories to literature and humanities. The author also captures the political and social unrest of a struggling working class in his novel Germinal, where starving miners rebel against the bourgeois class that exploits them. Baldomero Lillo is a Chilean naturalist follower of Emile Zola who found inspiration in Germinal to write Sub Terra-short stories depicting the grim life of the coal miners. The author knows them well since he shared his existence with the miners in Lota, in the southern region of Santiago. Unlike Zola, Lillo, who was less educated and less inclined to trust science, opts for a compassionate Naturalism which relates more to his culture and personal inclinations. Le milieu or el medio ambiente in the Sub Terra stories is dreadful and the author seeks to expose the master/slave relationship in a society that still resembles the European Middle Ages. Le milieu, that is to say the external forces that surround the miners (their geographical, social and political environment), eventually engulfs and condemns them to a life of servitude and misery. Determinism on both continents decides the fate of each member of the society.   / Dissertation/Thesis / M.A. French 2012

Les tilapias (espèces Oreochromis) sont le second groupe le plus important de poissons dans l'aquaculture mondiale ainsi qu'une des premières sources de protéines animales pour des millions de personnes dans les pays en cours de développement. En effet, Les tilapias ont la plupart des qualités requises dans le monde aquacole comme un taux de croissance important et une résistance aux maladies. Cependant leurs reproductions précoces et continues provoquent une surpopulation des bassins et un nanisme des individus. Pour surmonter ces difficultés, il s'agit de créer de nouvelles méthodes de contrôle du sexe (génétique et température) pour une meilleure compréhension de la détermination du sexe chez le tilapia. La détermination sexuelle chez les tilapias est complexe. En effet, le sexe est influencé par des facteurs génétiques majeurs (XX/XY), des facteurs génétiques mineur (sur les autosomes : LG3, LG23) et la température. Au cours des dernières années, de nombreuses ressources génomiques ont été progressivement développées (Bac End Sequences, Expressed sequence Tag, physical map, RH map…). Dans ce travail de thèse nous avons cherché à identifier, par des approches in silico, des gènes liés au sexe, en nous intéressant, en particulier, à ceux localisés sur LG3. Nous avons divisé notre travail en deux étapes. La première recouvre des travaux préliminaires de collecte et de comparaison d'informations existantes. Elle s'est concrétisée par la création d'une carte physique comparée entre le génome complet de l'épinoche et des BES du tilapia ainsi que d'une carte RH du tilapia. La deuxième étape porte sur l'analyse du chromosome correspondant au LG3 (Chr3). Nous avons pu grâce aux méthodes, outils et données développés lors de la première étape, reconstituer le Chr3, l'annoter et faire une liste de gènes impliqués dans la cascade du sexe chez le tilapia du Nil. / Tilapias (Oreochromis spp.) are the second most important fish group in aquaculture and a primary source of animal protein for millions of people in developing countries. Indeed, Tilapias have most of the qualities required in aquaculture such as a good growth-rate and resistance to diseases. Nevertheless, their early and constant reproduction leads to tank overpopulation and dwarfism of individuals. To overcome this, new sex controlling methods (genetics and temperature) are being studied to better understand the sex determination in tilapia. Sex determination in tilapia is complex since sex is influenced by major genetic factors (XX/XY), minor genetic factors (on an autosome: LG3, LG23) and temperature factors. Over the past years a great effort has been done to increase the genomic tools in tilapia by obtaining data on Bac End Sequences (BES), Expressed Sequence tags (EST), physical map, RH map.... The objective of our work is to identify, by in silico approaches, genes associated to sex, especially the ones located on the linkage group LG3. We divided our work in two steps. The first work is to collect heterogeneous and available information existing on tilapia using comparative genomic analyses. This step led to the creation of a comparative physical map between the complete genome of stickleback and the BES of tilapia along with a tilapia RH map. The second step is to analyse the chromosome corresponding to the LG3 (Chr3). Using methods, tools and data developed during the first step, we recreated the Chr3, annotated it and listed the genes involved in the sex cascade in Nile tilapia.

Cette thèse de doctorat étudie l'interprétation calculatoire des preuves de la logique classique. Elle présente trois calculs reflétant trois approches différentes de la question. <br /><br /> Cette thèse est donc composée de trois parties. <br /><br /> La première partie introduit le *X calcul, dont les termes représentent des preuves dans le calcul des séquents classique. Les règles de réduction du *X calcul capture la plupart des caractéristiques de l'élimination des coupures du calcul des séquents. Ce calcul introduit des termes permettant une<br />implémentation implicite de l'effacement et de la duplication. Pour autant que nous sachions, c'est le premier tel calcul pour la logique classique. <br /><br /> La deuxième partie étudie la possibilité de représenter les calculs classiques au moyen de diagrammes. Nous présentons le dX calcul, qui est le calcul diagrammatique de la logique classique, et dont les diagrammes sont issus des<br />*X-termes. La différence principale réside dans le fait que dX fonctionne à un niveau supérieur d'abstraction. Il capture l'essence des preuves du calcul des séquents ainsi que l'essence de l'élimination classique des coupures. <br /><br /> La troisième partie relie les deux premières. Elle présente le $copy;X calcul qui est une version unidimensionnelle du calcul par diagramme. Nous commencons par le *X, où nous identifions explicitement les termes qui doivent l'être. Ceux-ci<br />sont les termes qui encodent les preuves des séquents qui sont équivalentes modulo permutation de règles d'inférence indépendantes. Ces termes ont également la même représentation par diagramme. Une telle identification induit une relation de congruence sur les termes. La relation de réduction est définie modulo la congruence, et les règles de réduction correspondent à celle du dX calcul.

Les processeurs mono-coeurs traditionnels ne sont plus suffisants pour répondre aux besoins croissants en performance des fonctions avioniques. Les processeurs multi/many-coeurs ont emergé ces dernières années afin de pouvoir intégrer plusieurs fonctions et de bénéficier de la puissance par Watt disponible grâce aux partages de ressources. En revanche, tous les processeurs multi/many-coeurs ne répondent pas forcément aux besoins des fonctions avioniques. Nous préférons avoir plus de déterminisme que de puissance de calcul car la certification de ces processeurs passe par la maîtrise du déterminisme. L’objectif de cette thèse est d’évaluer le processeur many-coeur (MPPA-256) de Kalray dans un contexte industriel aéronautique. Nous avons choisi la fonction de maintenance HMS (Health Monitoring System) qui a un besoin important en bande passante et un besoin de temps de réponse borné.Par ailleurs, cette fonction est également dotée de propriétés de parallélisme car elle traite des données de vibration venant de capteurs qui sont fonctionnellement indépendants, et par conséquent leur traitement peut être parallélisé sur plusieurs coeurs. La particularité de cette étude est qu’elle s’intéresse au déploiement d’une fonction existante séquentielle sur une architecture many-coeurs en partant de l’acquisition des données jusqu’aux calculs des indicateurs de santé avec un fort accent sur le fluxd’entrées/sorties des données. Nos travaux de recherche ont conduit à 5 contributions:• Transformation des algorithmes existants en algorithmes incrémentaux capables de traiter les données au fur et mesure qu’elles arrivent des capteurs.• Gestion du flux d’entrées des échantillons de vibrations jusqu’aux calculs des indicateurs de santé,la disponibilité des données dans le cluster interne, le moment où elles sont consommées et enfinl’estimation de la charge de calcul.• Mesures de temps pas très intrusives directement sur le MPPA-256 en ajoutant des timestamps dans le flow de données.• Architecture logicielle qui respecte les contraintes temps-réel même dans les pires cas. Elle estbasée sur une pipeline à 3 étages.• Illustration des limites de la fonction existante: nos expériences ont montré que les paramètres contextuels de l’hélicoptère tels que la vitesse du rotor doivent être corrélés aux indicateurs de santé pour réduire les fausses alertes. / Traditional single-cores are no longer sufficient to meet the growing needs of performance in avionics domain. Multi-core and many-core processors have emerged in the recent years in order to integrate several functions thanks to the resource sharing. In contrast, all multi-core and many-core processorsdo not necessarily satisfy the avionic constraints. We prefer to have more determinism than computing power because the certification of such processors depends on mastering the determinism.The aim of this thesis is to evaluate the many-core processor (MPPA-256) from Kalray in avionic context. We choose the maintenance function HMS (Health Monitoring System) which requires an important bandwidth and a response time guarantee. In addition, this function has also parallelism properties. It computes data from sensors that are functionally independent and, therefore their processing can be parallelized in several cores. This study focuses on deploying the existing sequential HMS on a many-core processor from the data acquisition to the computation of the health indicators with a strongemphasis on the input flow.Our research led to five main contributions:• Transformation of the global existing algorithms into a real-time ones which can process data as soon as they are available.• Management of the input flow of vibration samples from the sensors to the computation of the health indicators, the availability of raw vibration data in the internal cluster, when they are consumed and finally the workload estimation.• Implementing a lightweight Timing measurements directly on the MPPA-256 by adding timestamps in the data flow.• Software architecture that respects real-time constraints even in the worst cases. The software architecture is based on three pipeline stages.• Illustration of the limits of the existing function: our experiments have shown that the contextual parameters of the helicopter such as the rotor speed must be correlated with the health indicators to reduce false alarms.