Arbetet bygger på förbättring av befintlig arkitektur för en tjänst som beräknar koldioxidutsläpp för molntjänster. Nuvarande arkitektur bygger på att samla ihop och klumpa stora mängder data i form av användarrapporter. Därefter körs frågor mot det data för att få ut relevant information. Detta kan ta väldigt lång tid. För att försöka påskynda denna process görs en undersökning om man kan minska tiden som går åt att köra frågor mot data om datamängden blir mindre. Detta uppnås genom att filtrera bort oönskad data ur mängden innan man kör frågor mot det. Vidare undersöks om den nya arkitekturen kan möjliggöra för enklare implementation av nya funktioner till tjänsten. Metoden för undersökningen var att bygga en alternativ arkitektur med hjälp av AWS och dess tjänster. Resultaten visar på att även om mängden data som skannas är nästan oförändrat så minskas körtiden avsevärt när den totala storleken på datamängden minskar. Vidare bidrar den nya arkitekturen till enklare implementation av nya tjänster än tidigare. / The current architecture the stakeholders are using consists of collecting large amounts of data. After the data is collected it is queried for relevant information. This query process can take a long time. This report looks at if it is possible to reduce this time by reducing the data size. This is done by filtering the data before doing queries towards it. Furthermore this report will investigate if the new architecture can make it easier to implement new functionality. To investigate these questions a new architecture will be built using AWS. The results show that even though scanning nearly the same amount of data, with the total data size reduced one can drastically reduce the query times. Furthermore this new architecture makes it easier to implement new functionality.

Typ Ia Supernovae (SNe) können verwendet werden, um Bulk-Flows zu messen, die durchschnittliche Bewegung von Materie relativ zur kosmischen Mikrowellenhintergrundstrahlung (CMB). Bulk-Flow-Studien ermöglichen Tests der Behauptung des Kosmologischen Prinzips von Homogenität und Isotropie für ausreichend große Distanzen. Im letzten Jahrzehnt wurden mehrere hohe Bulk-Geschwindigkeiten in großen Skalen gemeldet, die schwer mit den Vorhersagen des ΛCDM-Kosmologiemodells zu vereinbaren sind. In dieser Arbeit schätze ich Bulk-Flows auf der Grundlage einer neuen Probe von SNe aus einer Next-Generation-Sky-Survey namens Zwicky Transient Facility (ZTF). Die Auswahl und Analyse der großen Anzahl von astrophysikalischen Transienten, die jede Nacht von dieser Survey erfasst werden, ist komplex. Ich habe eine flexible Analysis Software namens AMPEL entwickelt, um diese Aufgaben zu erfüllen. Ein neuer ZTF-Datensatz, der aus etwa 850 Typ Ia SNe besteht, wurde für diese Forschung zusammengestellt. Simulationen zeigen, dass die nicht-sphärische Surveygeometrie von ZTF, die aktuellen Stichprobengrößenbeschränkungen und der Malmquist-Bias zusammen systematische Effekte ergeben, die kleiner sind als die aktuellen statistischen Unsicherheiten. Ich habe die ZTF-Probe zusammen mit zwei anderen kosmologischen SNe-Proben im heliozentrischen Inertialsystem verwendet, um das kosmische Ruhesystem unabhängig vom CMB zu etablieren. Der gemessene Beobachter-Dipol innerhalb der Rotverschiebungsschale 0,06 < z < 0,1 zeigt eine Konvergenz mit dem CMB-Temperaturdipol. Im CMB-Inertialsystem im gleichen Skala wird kein signifikanter Bulk-Flow gemessen. / Type Ia supernovae (SNe) can be used to measure bulk flows, the average motion of matter relative to the Cosmic Microwave Background (CMB). Bulk-flow studies enable tests of the Cosmological Principle’s assertion of large-scale homogeneity and isotropy. Over the past decade, several high bulk-velocities at large scales have been reported, which are difficult to unify with constraints from the ΛCDM cosmological model. In this work, I estimate bulk-flows based on a new sample of SNe from a next-generation sky survey called the Zwicky Transient Facility (ZTF). Selecting and analyzing the large number of astrophysical transients detected each night by this survey is complex. I developed a flexible analysis framework called AMPEL to address these challenges. A new ZTF dataset comprising roughly 850 type Ia SNe was assembled for this research. Simulations show that the non-spherical survey geometry of ZTF, the current sample size limitations, and the Malmquist bias together yield systematic effects smaller than current statistical uncertainties. I used the ZTF sample along with two cosmological-grade SNe samples in heliocentric inertial frame to establish the cosmic rest frame independently from the CMB. The measured observer-dipole within the redshift shell 0.06 < z < 0.1 shows convergence with the CMB temperature dipole. In the CMB inertial frame at the same scale, no significant bulk-flow is detected.

The subject of this thesis is the study of certain stochastic models arising in Population Genetics. The study of biological evolution naturally motivates the construction and use of sometimes sophisticated mathematical models. We contribute to the study of the so-called Lambda models. Our work is divided into two parts. In Part I, we study non-spatial models, introduced in 1999. Although there is a very rich literature concerning the description of genetic diversity thanks to the genealogies arising in these models, we obtain new results by considering the dynamics of the full population. We also contribute by presenting the first Bayesian method that allows us to reconstruct the genealogies generated by these models from data. In Part II, we study a recent extension of these models to the spatial setting. In particular, we prove a non trivial result concerning the geographical dispersal of a new mutant under this model.

Composições cerâmicas de CaxSr1-xTi1-yFeyO3-&delta;, x = 0, 0,5 e 1,0, y = 0 e 0,35, foram preparadas por meio de síntese reativa de CaCO3, SrCO3, TiO2 e Fe2O3 e pela técnica dos precursores poliméricos. Os pós-cerâmicos foram avaliados por meio de análise térmica (termogravimétrica e térmica diferencial), difração de raios X e microscopia eletrônica de varredura. Compactos cerâmicos sinterizados foram analisados por difração de raios X, microscopia eletrônica de varredura, microscopia de varredura por sonda e espectroscopia de impedância. A força eletromotriz gerada entre duas faces paralelas de amostras cilíndricas foi monitorada na faixa de temperatura 600 - 1100 oC para pressão parcial de oxigênio de ~50 ppm, utilizando-se uma bomba eletroquímica de oxigênio com transdutores de zircônia estabilizada com ítria. Foram refinadas, por meio de análise de Rietveld as estruturas cristalinas determinadas na análise por difração de raios X: perovskita cúbica (x = 0) e perovskita ortorrômbica (x 0). A condutividade elétrica foi analisada por medidas de espectroscopia de impedância na faixa de freqüências 5 Hz-13 MHz da temperatura ambiente até ~200 C. A deconvolução dos diagramas de impedância [-Z\"() x Z\'()] na faixa de temperaturas 300 < T(K) < 500 mostra dois semicírculos atribuídos às contribuições intragranular (grãos) e intergranular (contornos de grão) à resistividade elétrica. Os compactos sinterizado utilizando pós preparados pela síntese de estado sólido apresentam valores de resistividade intergranular e intragranular maiores que os compactos preparados com pós obtidos pela síntese química. O sinal elétrico (força eletromotriz) gerado sob exposição a oxigênio mostra que esses compostos podem ser utilizados em dispositivos sensores de oxigênio entre 600 e 1100C. Análises topográficas em microscópio de varredura por sonda em superfícies polidas e atacadas termicamente mostram detalhes morfológicos dos grãos, permitindo concluir que compactos sinterizados preparados com pós obtidos pela rota química são menos porosos que os preparados com pós obtidos pela rota convencional de síntese de estado sólido. Estes resultados estão de acordo com os resultados de medidas de espectroscopia de impedância. / CaxSr1-xTi1-yFeyO3-&delta;, x = 0, 0.5 and 1.0, y = 0 and 0.35, ceramic compounds were synthesized by reactive solid state synthesis of CaCO3, SrCO3, TiO2 and Fe2O3, and by the polymeric precursor technique. The ceramic powders were evaluated by thermogravimetry and differential thermal analysis, X-ray diffraction and scanning electron microscopy. Sintered ceramic pellets were analyzed by X-ray diffraction, scanning electron microscopy, scanning probe microscopy and impedance spectroscopy. The electromotive force resulting from the exposing the pellets to partial pressure de oxygen in the ~50 ppm in the 600-1100 oC range was monitored using an experimental setup consisting of an oxygen electrochemical pump with yttria-stabilized zirconia transducer and sensor. Rietveld analysis of the X-ray data allowed for determining the crystalline structures: cubic perovskite (y = 0) and orthorhombic perovskite (y 0). The electrical conductivity was determined by the two probe impedance spectroscopy measurements in the 5 Hz-13 MHz frequency range from room temperature to approximately 200 C. The deconvolution of the [-Z\"() x Z\'()] impedance diagrams in the 300 < T(K) < 500 range shows two semicircles due to intragranular (bulk) and intergranular (grain boundary) contributions to the electrical resistivity. Sintered pellets using powders prepared by the ceramic route present higher inter- and intragranular resistivity values than pellets prepared with chemically synthesized powders. The emf signal under exposure oxygen shows that these compounds may be used in oxygen sensing devices in the 600 - 1100 C range. Scanning probe microscopy topographic analysis of the polished and thermally etched surfaces of the pellets gave details of grain morphology, showing that pellets prepared with powders synthesized by the chemical route are less porous than the ones obtained by the ceramic route. These results are in agreement with the impedance spectroscopy results.

Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premier temps que le calcul résultant de cette extension bénéficie des propriétés de confluence et de normalisation, permettant d'identifier les termes beta-équivalents dans le formalisme grammatical. Nous réduisons de plus le même problème pour la beta-eta-équivalence à un ensemble d'hypothèse de départ. Dans un second temps, nous montrons comment cette introduction de structures de traits peut être appliquée au contrôle des dépendances à distances, à travers les exemples des contraintes de cas, des îlots d'extraction pour les mouvements explicites et implicites, et des extractions interrogatives multiples, et nous discutons de la pertinence de placer ces contrôles sur les structures de dérivation / This thesis focuses on the modelisation of syntax and syntax-semantics interface of sentences, and investigate how the control of the surgeneration caused by the treatment of linguistics movements with higher order types can take place at the level of derivation structures. For this purpose, we look at the possibility to extend the type system of Abstract Categorial Grammars with the constructions of disjoint sum, cartesian product and dependent product, which enable syntactic categories to be labeled by feature structures. At first, we demonstrate that the calculus associated with this extension enjoy the properties of confluence and normalization, by which beta-equivalence can be computed in the grammatical formalism. We also reduce the same problem for beta-eta-equivalence to a few hypothesis. Then, we show how this feature structures can be used to control linguistics movements, through the examples of case constraints, extraction islands for overt and covert movements and multiples interrogative extractions, and we discuss the relevancy of operating these controls on the derivation structures

Cette thèse prend ses racines dans la tradition sémantique montagovienne et dynamique standard. L’objet est les conditions dans lesquelles un syntagme nominal peut agir comme antécédent d'une expression anaphorique. Le travail porte sur l'accessibilité des référents de discours dans un système formel de la sémantique dynamique. Le cadre choisi est celui proposé par De Groote, type théorique Dynamic Logic (TTDL) car il fait appel à des outils mathématiques et logiques standards, qui permettent de conserver le principe de compositionnalité. Nous étendons la couverture de la gestion de l’accessibilité des référents dans TTDL à deux cas naturellement problématique pour les théories sémantiques dynamiques classiques, en particulier, l'anaphore sous la double négation et les modalités. Une adaptation est définie pour chaque cas et enfin, l'intégration des différentes solutions est proposée, ce qui montre la souplesse de TTDL. / This thesis has its roots in the standard Montagovian and dynamic semantic tradition. The subject is conditions under which a noun phrase may act as antecedent of a particular anaphoric expression. The work thesis deals with the accessibility of discourse referents using a formal system of dynamic semantics. The framework used is the one proposed by De Groote, Type Theoretic Dynamic Logic (TTDL) because it follows the Montagovian tradition and only makes use of standard mathematical and logical tools which allows to maintain compositionnality. We extend the coverage of TTDL to cases which are naturally problematic for classical dynamic semantic theories. In particularly, this thesis aims to extend TTDL's coverage of the accessibility of referents to two exceptions of classical dynamic theories, namely anaphora under double negation and modality. An adaptation is defined for each case and finally, an integration of various solutions is proposed, which shows the flexibility of TTDL

La linguistique informatique a pour objet de construire un modèle formel des connaissances linguistiques, et d’en tirer des algorithmes permettant le traitement automatique des langues. Pour ce faire, elle s’appuie fréquemment sur des grammaires dites génératives, construisant des phrases valides par l’application successive de règles de réécriture. Une approche alternative, basée sur la théorie des modèles, vise à décrire la grammaticalité comme une conjonction de contraintes de bonne formation, en s’appuyant sur des liens profonds entre logique et automates pour produire des analyseurs efficaces. Notre travail se situe dans ce dernier cadre. En s’appuyant sur plusieurs résultats existants en informatique théorique, nous proposons un outil de modélisation linguistique expressif, conçu pour faciliter l’ingénierie grammaticale. Celui-ci considère dans un premier temps la structure abstraite des énoncés, et fournit un langage logique s’appuyant sur les propriétés lexicales des mots pour caractériser avec concision l’ensemble des phrases grammaticalement correctes. Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul. Par suite, afin de valider cette approche, nous proposons un ensemble de modélisations portant sur des phénomènes linguistiques divers, avec un intérêt particulier pour le traitement des langages présentant des phénomènes d’ordre libre (c’est-à-dire qui autorisent la permutation de certains mots ou groupes de mots dans une phrase sans affecter sa signification), ainsi que pour leur complexité algorithmique. / The goal of computational linguistics is to provide a formal account linguistical knowledge, and to produce algorithmic tools for natural languageprocessing. Often, this is done in a so-called generative framework, where grammars describe sets of valid sentences by iteratively applying some set of rewrite rules. Another approach, based on model theory, describes instead grammaticality as a set of well-formedness logical constraints, relying on deep links between logic and automata in order to produce efficient parsers. This thesis favors the latter approach. Making use of several existing results in theoretical computer science, we propose a tool for linguistical description that is both expressive and designed to facilitate grammar engineering. It first tackles the abstract structure of sentences, providing a logical language based on lexical properties of words in order to concisely describe the set of grammaticaly valid sentences. It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus. Then in order to validate this proposal, we use it to model various linguistic phenomenas, ending with a specific focus on languages that include free word order phenomenas (that is, sentences which allow the free reordering of some of their words or syntagmas while keeping their meaning), and on their algorithmic complexity.

<p>This thesis studies computational interpretations of the intuitionistic sequent<br />calculus with implicit and explicit structural rules, with focus on the systems<br />with intersection types. The contributions of the thesis are grouped into three<br />parts. In the first part intersection types are introduced into the lambda<br />Gentzen calculus. The second part presents an extension of the lambda<br />Gentzen calculus to a term calculus with resource control, i.e. with explicit<br />operators for contraction and weakening, and apropriate intersection type<br />assignment system which characterises strong normalisation in the proposed<br />calculus. In the third part both previously studied calculi are integrated into<br />one framework by introducing the notion of the resource control cube.</p> / <p>Ова дисертација се бави рачунским интерпретацијама<br />интуиционистичког секвентног рачуна са имплицитним и експлицитним<br />структурним правилима, са фокусом на типске системе са пресеком.<br />Оригинални резултати тезе су груписани у три целине. У првом делу су<br />типови са пресеком уведени у lambda Gentzen рачун. Други део<br />представља проширење lambda Gentzen рачуна на формални рачун са<br />контролом ресурса, тј. са експлицитним операторима контракције и<br />слабљења, као и одговарајући типски систем са пресеком који<br />карактерише јаку нормализацију у уведеном рачуну. У трећем делу оба<br />рачуна су интегрисана у заједнички оквир увођењем структуре resource<br />control cube.</p> / <p>Ova disertacija se bavi računskim interpretacijama<br />intuicionističkog sekventnog računa sa implicitnim i eksplicitnim<br />strukturnim pravilima, sa fokusom na tipske sisteme sa presekom.<br />Originalni rezultati teze su grupisani u tri celine. U prvom delu su<br />tipovi sa presekom uvedeni u lambda Gentzen račun. Drugi deo<br />predstavlja proširenje lambda Gentzen računa na formalni račun sa<br />kontrolom resursa, tj. sa eksplicitnim operatorima kontrakcije i<br />slabljenja, kao i odgovarajući tipski sistem sa presekom koji<br />karakteriše jaku normalizaciju u uvedenom računu. U trećem delu oba<br />računa su integrisana u zajednički okvir uvođenjem strukture resource<br />control cube.</p>

Les traitements antirétroviraux combinés limitent la morbidité et la mortalité liées au SIDA après l'infection par le VIH, mais une hyperactivation du système immunitaire persiste, notamment au niveau des cellules myéloïdes, en corrélation avec une morbidité et une mortalité métabolique et cardio-vasculaire plus précoces que celles de la population générale. Il existe deux types de VIH ; l'infection par le VIH-2, prévalente en Afrique de l'Ouest et dans des communautés émigrées de cette région, conduit moins rapidement et moins fréquemment au SIDA que l'infection par le VIH-1, pour des raisons de relation hôte-virus encore à élucider. Lors de l'infection aigüe par le VIH-1, un pic sérique d'interféron (IFN) de type I et d'autres cytokines est observé, puis régulé négativement. Il est accompagné d'une forte réponse des gènes stimulés par l'IFN, qui persiste lors du passage à l'infection chronique, avec hyperactivation du système immunitaire. Les IFN de type I sont produits par toutes les cellules, mais en particulier par les cellules dendritiques plasmacytoïdes (pDC). Les IFN de type III (lambda) sont liés à la résolution de l'infection par le VHC, mais leur production en réponse au VIH reste à explorer. Durant mon doctorat, j'ai montré pour la première fois qu'in vitro, le VIH-1 et le VIH-2 stimulent la production d'IFN-lambda par les PBMC de donneurs sains de façon comparable. Chez des donneurs sains, les pDC produisent ces IFN de façon intrinsèque, mais pas les autres DC myéloïdes. Les pDC ont également un rôle dans la réponse immunitaire adaptative contre le VIH. L’équipe a en effet montré qu’elles peuvent effectuer la présentation croisée d’antigènes de cellules mortes infectées par le VIH, comme le font les autres DC. Elles peuvent ainsi activer des réponses T cytotoxiques spécifiques qui vont éliminer les cellules infectées. J’ai étudié ce mécanisme et montré que l’activation spécifique des lymphocytes T par les pDC est potentialisée par une pré-activation non-spécifique. En effet, les pDC s’activent en présence du virus et sécrètent des cytokines qui pré-activent une production intracellulaire d'IFN-gamma par les lymphocytes T CD8. Ces lymphocytes ne relarguent l'IFN-gamma qu'après reconnaissance spécifique par leur récepteur T d'un complexe peptide-CMH. Les résultats de cette thèse pourraient donner une place aux IFN-lambda ou à leur inhibition dans l'arsenal thérapeutique contre le VIH, ainsi qu'à l'activation des pDC pour conduire à une meilleure détection et élimination des réservoirs viraux par présentation croisée. / Combined antiretroviral treatments limit AIDS-related morbidity and mortality after HIV infection. But hyperactivation of the immune system persists, notably within the myeloid cell compartment, in correlation with metabolic and cardiovascular morbidity, which occurs earlier than in the general population. Two types of HIV have been described: HIV-2 infection, prevalent in West Africa and in emigrated communities originating from this area, leads less frequently and less rapidly to AIDS compared to HIV-1 infection, because of host-virus, which still need to be characterized. During acute HIV-1 infection, in the plasma, peak levels of type I Interferon (IFN) and other cytokines are observed, then they are down-modulated. A strong IFN stimulated gene (ISG) response is also observed. During chronic infection, the ISG response persists, with hyperactivation of the immune system. Type I IFN are produced by all cell types, but more specifically by plasmacytoid Dendritic Cells (pDC). Certain type III IFN (lambda) gene variants correlate with clearance of HCV infection, but IFN-lambda production in response to HIV remained to be studied. During my PhD, I showed for the first time that, in vitro, HIV-1 and HIV-2 induce IFN-lambda production by healthy donors PBMC at comparable levels. Plasmacytoid DC from healthy donors produce these IFN intrinsically, but not conventional DC. Plasmacytoid DC also have a role in the induction of adaptive immune responses against HIV. Our team demonstrated that they can crosspresent antigens from HIV infected apoptotic cells, like other DC. They can therefore activate specific cytotoxic T cell responses which eliminate infected cells. I studied this mechanism and showed that the activation of specific T cell by pDC is potentiated by non-specific pre-activation. Indeed, pDC become activated in the presence of virus and secrete cytokines which pre-activate intracellular IFN-gamma production by CD8 T cells. IFN-gamma is then secreted only after cognate MHC-peptide-T cell receptor interaction. The results of this thesis potentially give a role to IFN-lambda or their blockade in HIV treatment, and to the activation of pDC to induce better detection and elimination of HIV reservoirs through crosspresentation.

<p>Avgasmängden som bensindrivna fordon tillåts släppa ut minskas hela tiden. Ett sätt att möta framtida krav, är att förbättra katalysatorns effektivitet. För att göra detta kan luft-bränsle-förhållandet regleras med avseende på syrelagringen i katalysatorn, istället för som idag, reglera mot stökiometriskt blandningsförhållande. Eftersom syrelagringen inte går att mäta med en givare behövs en modell som beskriver katalysatorns dynamiska egenskaper. Tre sådana modeller har undersökts, utvärderats och jämförts.</p><p>Två av modellerna har implementerats i Matlab/Simulink och anpassats till mätningar från en experimentuppställning. För att kunna observera syrelagringen online valdes slutligen en av modellerna ut, och implementerades i ett Extended Kalman filter.</p><p>Ytterligare arbete behöver läggas ner på den mest lovande modellen, och detsamma gäller för Kalmanfiltret, men på sikt förväntas resultaten kunna bli bra.</p> / <p>The legal amount of emissions that vehicles with spark ignited engines are allowed to produce are steadily reduced over time. To meet future emission requirements it is desirable to make the catalytic converter work in a more efficient way. One way to do this is to control the air-fuel-ratio according to the oxygen storage level in the converter, instead of, as is done today, always trying to keep it close to stoichiometric. The oxygen storage level cannot be measured by a sensor. Hence, a model describing the dynamic behaviors of the converter is needed to observe this level. Three such models have been examined, validated, and compared.</p><p>Two of these models have been implemented in Matlab/Simulink and adapted to measurements from an experimental setup. Finally, one of the models was chosen to be incorporated in an extended Kalman filter (EKF), in order to make it possible to observe the oxygen storage level online.</p><p>The model that shows best potential needs further work, and the EKF is working with flaws, but overall the results are promising.</p>