High precision radial velocities with giano spectra

Radial velocities measured from near-infrared (NIR) spectra are a potential tool to search for extrasolar planets around cool stars. High resolution infrared spectrographs now available reach the high precision of visible instruments, with a constant improvement over time. GIANO is an infrared echelle spectrograph and it is a powerful tool to provide high resolution spectra for accurate radial velocity measurements of exo-planets and for chemical and dynamical studies of stellar or extragalactic objects. No other IR instruments have the GIANO's capability to cover the entire NIR wavelength range. In this work we develop an ensemble of IDL procedures to measure high precision radial velocities on a few GIANO spectra acquired during the commissioning run, using the telluric lines as wevelength reference. In Section 1.1 various exoplanet search methods are described. They exploit different properties of the planetary system. In Section 1.2 we describe the exoplanet population discovered trough the different methods. In Section 1.3 we explain motivations for NIR radial velocities and the challenges related the main issue that has limited the pursuit of high-precision NIR radial velocity, that is, the lack of a suitable calibration method. We briefly describe calibration methods in the visible and the solutions for IR calibration, for instance, the use of telluric lines. The latter has advantages and problems, described in detail. In this work we use telluric lines as wavelength reference. In Section 1.4 the Cross Correlation Function (CCF) method is described. This method is widely used to measure the radial velocities.In Section 1.5 we describe GIANO and its main science targets. In Chapter 2 observational data obtained with GIANO spectrograph are presented and the choice criteria are reported. In Chapter 3 we describe the detail of the analysis and examine in depth the flow chart reported in Section 3.1. In Chapter 4 we give the radial velocities measured with our IDL procedure for all available targets. We obtain an rms scatter in radial velocities of about 7 m/s. Finally, we conclude that GIANO can be used to measure radial velocities of late type stars with an accuracy close to or better than 10 m/s, using telluric lines as wevelength reference. In 2014 September GIANO is being operative at TNG for Science Verification and more observational data will allow to further refine this analysis.

Advanced data deduplication techniques and their application

Data deduplication describes a class of approaches that reduce the storage capacity needed to store data or the amount of data that has to be transferred over a network. These approaches detect coarse-grained redundancies within a data set, e.g. a file system, and remove them.rnrnOne of the most important applications of data deduplication are backup storage systems where these approaches are able to reduce the storage requirements to a small fraction of the logical backup data size.rnThis thesis introduces multiple new extensions of so-called fingerprinting-based data deduplication. It starts with the presentation of a novel system design, which allows using a cluster of servers to perform exact data deduplication with small chunks in a scalable way.rnrnAfterwards, a combination of compression approaches for an important, but often over- looked, data structure in data deduplication systems, so called block and file recipes, is introduced. Using these compression approaches that exploit unique properties of data deduplication systems, the size of these recipes can be reduced by more than 92% in all investigated data sets. As file recipes can occupy a significant fraction of the overall storage capacity of data deduplication systems, the compression enables significant savings.rnrnA technique to increase the write throughput of data deduplication systems, based on the aforementioned block and file recipes, is introduced next. The novel Block Locality Caching (BLC) uses properties of block and file recipes to overcome the chunk lookup disk bottleneck of data deduplication systems. This chunk lookup disk bottleneck either limits the scalability or the throughput of data deduplication systems. The presented BLC overcomes the disk bottleneck more efficiently than existing approaches. Furthermore, it is shown that it is less prone to aging effects.rnrnFinally, it is investigated if large HPC storage systems inhibit redundancies that can be found by fingerprinting-based data deduplication. Over 3 PB of HPC storage data from different data sets have been analyzed. In most data sets, between 20 and 30% of the data can be classified as redundant. According to these results, future work in HPC storage systems should further investigate how data deduplication can be integrated into future HPC storage systems.rnrnThis thesis presents important novel work in different area of data deduplication re- search.

The role of dendritic cells (DC) in Friend retrovirus-induced immunosuppression and immunotherapeutic applications of functionalized nanoparticles

Friend murine leukemia Virus (FV) infection of immunocompetent mice is a well- established model to acquire further knowledge about viral immune suppression mechanisms, with the aim to develop therapeutics against retrovirus-induced diseases. Interestingly, BALB/c mice are infected by low doses of FV and die from FV-induced erythroleukemia, while C57/BL6 mice are infected by FV only at high viral dose, and remain persistently infected for their whole life. Due to the central role of dendritic cells (DC) in the induction of anti-viral responses, we asked for their functional role in the genotype-dependent sensitivity towards FV infection. In my PhD study I showed that bone marrow (BM)-derived DC differentiated from FV-infected BM cells obtained from FV-inoculated BALB/c (FV susceptible) and C57BL/6 (FV resistant) mice showed an increased endocytotic activity and lowered expression of MHCII and of costimulatory receptors as compared with non-infected control BMDC. FV-infected BMDC from either mouse strain were partially resistant towards stimulation-induced upregulation of MHCII and costimulators, and accordingly were poor T cell stimulators in vitro and in vivo. In addition, FV-infected BMDC displayed an altered expression profile of proinflammator cytokines and favoured Th2 polarization. Ongoing work is focussed on elucidating the functional role of proteins identified as differentially expressed in FV-infected DC in a genotype-dependent manner, which therefore may contribute to the differential course of FV infection in vivo in BALB/c versus C57BL/6 mice. So far, more than 300 proteins have been identified which are differently regulated in FV-infected vs. uninfected DC from both mouse strains. One of these proteins, S100A9, was strongly upregulated specifically in BMDC derived from FV-infected C57BL/6 BM cells. S100A9-/- mice were more sensitive towards inoculation with FV than corresponding wild type (WT) mice (both C57BL/6 background), which suggests a decisive role of this factor for anti-viral defense. In addition, FV-infected S100A9-/- BMDC showed lower motility than WT DC. The future work is aimed to further elucidate the functional importance of S100A9 for DC functions. To exploit the potential of DC for immunotherapeutic applications, in another project of this PhD study the usability of different types of functionalized nanoparticles

Orthogonal gamma-based expansions for volatility option prices under jump-diffusion dynamics

In my work I derive closed-form pricing formulas for volatility based options by suitably approximating the volatility process risk-neutral density function. I exploit and adapt the idea, which stands behind popular techniques already employed in the context of equity options such as Edgeworth and Gram-Charlier expansions, of approximating the underlying process as a sum of some particular polynomials weighted by a kernel, which is typically a Gaussian distribution. I propose instead a Gamma kernel to adapt the methodology to the context of volatility options. VIX vanilla options closed-form pricing formulas are derived and their accuracy is tested for the Heston model (1993) as well as for the jump-diffusion SVJJ model proposed by Duffie et al. (2000).

Detrimental effects of exuberant and restrained immune responses against the central nervous system in the context of multiple sclerosis and glioblastoma multiforme

Glioblastoma multiforme (GBM) is the most common and most aggressive astrocytic tumor of the central nervous system (CNS) in adults. The standard treatment consisting of surgery, followed by a combinatorial radio- and chemotherapy, is only palliative and prolongs patient median survival to 12 to 15 months. The tumor subpopulation of stem cell-like glioma-initiating cells (GICs) shows resistance against radiation as well as chemotherapy, and has been suggested to be responsible for relapses of more aggressive tumors after therapy. The efficacy of immunotherapies, which exploit the immune system to specifically recognize and eliminate malignant cells, is limited due to strong immunosuppressive activities of the GICs and the generation of a specialized protective microenvironment. The molecular mechanisms underlying the therapy resistance of GICs are largely unknown. rnThe first aim of this study was to identify immune evasion mechanisms in GICs triggered by radiation. A model was used in which patient-derived GICs were treated in vitro with fractionated ionizing radiation (2.5 Gy in 7 consecutive passages) to select for a more radio-resistant phenotype. In the model cell line 1080, this selection process resulted in increased proliferative but diminished migratory capacities in comparison to untreated control GICs. Furthermore, radio-selected GICs downregulated various proteins involved in antigen processing and presentation, resulting in decreased expression of MHC class I molecules on the cellular surface and diminished recognition potential by cytotoxic CD8+ T cells. Thus, sub-lethal fractionated radiation can promote immune evasion and hamper the success of adjuvant immunotherapy. Among several immune-associated proteins, interferon-induced transmembrane protein 3 (IFITM3) was found to be upregulated in radio-selected GICs. While high expression of IFITM3 was associated with a worse overall survival of GBM patients (TCGA database) and increased proliferation and migration of differentiated glioma cell lines, a strong contribution of IFITM3 to proliferation in vitro as well as tumor growth and invasiveness in a xenograft model could not be observed. rnMultiple sclerosis (MS) is the most common autoimmune disease of the CNS in young adults of the Western World, which leads to progressive disability in genetically susceptible individuals, possibly triggered by environmental factors. It is assumed that self-reactive, myelin-specific T helper cell 1 (Th1) and Th17 cells, which have escaped the control mechanisms of the immune system, are critical in the pathogenesis of the human disease and its animal model experimental autoimmune encephalomyelitis (EAE). It was observed that in vitro differentiated interleukin 17 (IL-17) producing Th17 cells co-expressed the Th1-phenotypic cytokine Interferon-gamma (IFN-γ) in combination with the two respective lineage-associated transcription factors RORγt and T-bet after re-isolation from the CNS of diseased mice. Pathogenic molecular mechanisms that render a CD4+ T cell encephalitogenic have scarcely been investigated up to date. rnIn the second part of the thesis, whole transcriptional changes occurring in in vitro differentiated Th17 cells in the course of EAE were analyzed. Evaluation of signaling networks revealed an overrepresentation of genes involved in communication between the innate and adaptive immune system and metabolic alterations including cholesterol biosynthesis. The transcription factors Cebpa, Fos, Klf4, Nfatc1 and Spi1, associated with thymocyte development and naïve T cells were upregulated in encephalitogenic CNS-isolated CD4+ T cells, proposing a contribution to T cell plasticity. Correlation of the murine T-cell gene expression dataset to putative MS risk genes, which were selected based on their proximity (± 500 kb; ensembl database, release 75) to the MS risk single nucleotide polymorphisms (SNPs) proposed by the most recent multiple sclerosis GWAS in 2011, revealed that 67.3% of the MS risk genes were differentially expressed in EAE. Expression patterns of Bach2, Il2ra, Irf8, Mertk, Odf3b, Plek, Rgs1, Slc30a7, and Thada were confirmed in independent experiments, suggesting a contribution to T cell pathogenicity. Functional analysis of Nfatc1 revealed that Nfatc1-deficient CD4+ T cells were restrained in their ability to induce clinical signs of EAE. Nfatc1-deficiency allowed proper T cell activation, but diminished their potential to fully differentiate into Th17 cells and to express high amounts of lineage cytokines. As the inducible Nfatc1/αA transcript is distinct from the other family members, it could represent an interesting target for therapeutic intervention in MS.rn

Revealing atomic-scale details in the force fields above carbonate surfaces

Diese Arbeit stellt eine ausführliche Studie fundamentaler Eigenschaften der Kalzit CaCO3(10.4) und verwandter Mineraloberflächen dar, welche nicht nur durch die Verwendung von Nichtkontakt Rasterkraftmikroskopie, sondern hauptsächlich durch die Messung von Kraftfeldern ermöglicht wurde. Die absolute Oberflächenorientierung sowie der hierfür zugrundeliegende Prozess auf atomarer Skala konnten erfolgreich für die Kalzit (10.4) Oberfläche identifiziert werden.rnDie Adsorption chiraler Moleküle auf Kalzit ist relevant im Bereich der Biomineralisation, was ein Verständnis der Oberflächensymmetrie unumgänglich macht. Die Messung des Oberflächenkraftfeldes auf atomarer Ebene ist hierfür ein zentraler Aspekt. Eine solche Kraftkarte beleuchtet nicht nur die für die Biomineralisation wichtige Wechselwirkung der Oberfläche mit Molekülen, sondern enthält auch die Möglichkeit, Prozesse auf atomarer Skala und damit Oberflächeneigenschaften zu identifizieren.rnDie Einführung eines höchst flexiblen Messprotokolls gewährleistet die zuverlässige und kommerziell nicht erhältliche Messung des Oberflächenkraftfeldes. Die Konversion der rohen ∆f Daten in die vertikale Kraft Fz ist jedoch kein trivialer Vorgang, insbesondere wenn Glätten der Daten in Frage kommt. Diese Arbeit beschreibt detailreich, wie Fz korrekt für die experimentellen Bedingungen dieser Arbeit berechnet werden können. Weiterhin ist beschrieben, wie Lateralkräfte Fy und Dissipation Γ erhalten wurden, um das volle Potential dieser Messmethode auszureizen.rnUm Prozesse auf atomarer Skala auf Oberflächen zu verstehen sind die kurzreichweitigen, chemischen Kräfte Fz,SR von größter Wichtigkeit. Langreichweitige Beiträge müssen hierzu an Fz angefittet und davon abgezogen werden. Dies ist jedoch eine fehleranfällige Aufgabe, die in dieser Arbeit dadurch gemeistert werden konnte, dass drei unabhängige Kriterien gefunden wurden, die den Beginn zcut von Fz,SR bestimmen, was für diese Aufgabe von zentraler Bedeutung ist. Eine ausführliche Fehleranalyse zeigt, dass als Kriterium die Abweichung der lateralen Kräfte voneinander vertrauenswürdige Fz,SR liefert. Dies ist das erste Mal, dass in einer Studie ein Kriterium für die Bestimmung von zcut gegeben werden konnte, vervollständigt mit einer detailreichen Fehleranalyse.rnMit der Kenntniss von Fz,SR und Fy war es möglich, eine der fundamentalen Eigenschaften der CaCO3(10.4) Oberfläche zu identifizieren: die absolute Oberflächenorientierung. Eine starke Verkippung der abgebildeten Objekte

The interaction of Leishmania major parasites with human myeloid cells and its consequence for adaptive immunity

In der vorliegenden Arbeit fokussierten wir uns auf drei verschiedene Aspekte der Leishmanien-Infektion. Wir charakterisierten den Prozess des Zelltods „Apoptose“ bei Parasiten (1), untersuchten die Eignung von Makrophagen und dendritischen Zellen als Wirtszelle für die Entwicklung der Parasiten (2) und analysierten die Konsequenzen der Infektion für die Entstehung einer adaptiven Immunantwort im humanen System. Von zentraler Bedeutung für dieses Projekt war die Hypothese, dass apoptotische Leishmanien den Autophagie-Mechanismus ihrer Wirtszellen ausnutzen, um eine T-Zell-vermittelte Abtötung der Parasiten zu vermindern.rnWir definierten eine apoptotische Leishmanien-Population, welche durch eine rundliche Morphologie und die Expression von Phosphatidylserin auf der Parasitenoberfläche charakterisiert war. Die apoptotischen Parasiten befanden sich zudem in der SubG1-Phase und wiesen weniger und fragmentierte DNA auf, welche durch TUNEL-Assay nachgewiesen werden konnte. Bei der Interaktion der Parasiten mit humanen Makrophagen und dendritischen Zellen zeigte sich, dass die anti-inflammatorischen Makrophagen anfälliger für Infektionen waren als die pro-inflammatorischen Makrophagen oder die dendritischen Zellen. Interessanterweise wurde in den dendritischen Zellen jedoch die effektivste Umwandlung zur krankheitsauslösenden, amastigoten Lebensform beobachtet. Da sowohl Makrophagen als auch dendritische Zellen zu den antigenpräsentierenden Zellen gehören, könnte dies zur Aktivierung der T-Zellen des adaptiven Immunsystems führen. Tatsächlich konnte während der Leishmanien-Infektion die Proliferation von T-Zellen beobachtet werden. Dabei stellten wir fest, dass es sich bei den proliferierenden T-Zellen um CD3+CD4+ T-Zellen handelte, welche sich überraschenderweise als Leishmanien-spezifische CD45RO+ T-Gedächtniszellen herausstellten. Dies war unerwartet, da ein vorheriger Kontakt der Spender mit Leishmanien als unwahrscheinlich gilt. In Gegenwart von apoptotischen Parasiten konnte eine signifikant schwächere T-Zell-Proliferation in Makrophagen, jedoch nicht in dendritischen Zellen beobachtet werden. Da sich die T-Zell-Proliferation negativ auf das Überleben der Parasiten auswirkt, konnten die niedrigsten Überlebensraten in dendritischen Zellen vorgefunden werden. Innerhalb der Zellen befanden sich die Parasiten in beiden Zelltypen im Phagosom, welches allerdings nur in Makrophagen den Autophagie-Marker LC3 aufwies. Chemische Induktion von Autophagie führte, ebenso wie die Anwesenheit von apoptotischen Parasiten, zu einer stark reduzierten T-Zell-Proliferation und dementsprechend zu einem höheren Überleben der Parasiten.rnZusammenfassend lässt sich aus unseren Daten schließen, dass Apoptose in Einzellern vorkommt. Während der Infektion können sowohl Makrophagen, als auch dendritische Zellen mit Leishmanien infiziert und das adaptive Immunsystem aktivert werden. Die eingeleitete T-Zell-Proliferation nach Infektion von Makrophagen ist in Gegenwart von apoptotischen Parasiten reduziert, weshalb sie im Vergleich zu dendritischen Zellen die geeigneteren Wirtszellen für Leishmanien darstellen. Dafür missbrauchen die Parasiten den Autophagie-Mechanismus der Makrophagen als Fluchtstrategie um das adaptive Immunsystem zu umgehen und somit das Überleben der Gesamtpopulation zu sichern. Diese Ergebnisse erklären den Vorteil von Apoptose in Einzellern und verdeutlichen, dass der Autophagie-Mechanismus als potentielles therapeutisches Ziel für die Behandlung von Leishmaniose dienen kann.rn

Funktionelle Analyse der onkologisch relevanten Protease Threonin-Aspartase 1

Krebs stellt eine der häufigsten Todesursachen in Europa dar. Grundlage für eine langfristige Verbesserung des Behandlungserfolgs ist ein molekulares Verständnis der Mechanismen, welche zur Krankheitsentstehung beitragen. In diesem Zusammenhang spielen Proteasen nicht nur eine wichtige Rolle, sondern stellen auch bei vielerlei Erkrankungen bereits anerkannte Zielstrukturen derzeitiger Behandlungsstrategien dar. Die Protease Threonin Aspartase 1 (Taspase1) spielt eine entscheidende Rolle bei der Aktivierung von Mixed Lineage Leukemia (MLL)-Fusionsproteinen und somit bei der Entstehung aggressiver Leukämien. Aktuelle Arbeiten unterstreichen zudem die onkologische Relevanz von Taspase1 auch für solide Tumore. Die Kenntnisse über die molekularen Mechanismen und Signalnetzwerke, welche für die (patho)biologischen Funktionen von Taspase1 verantwortlich sind, stellen sich allerdings noch immer als bruchstückhaft dar. Um diese bestehenden Wissenslücken zu schließen, sollten im Rahmen der Arbeit neue Strategien zur Inhibition von Taspase1 erarbeitet und bewertet werden. Zusätzlich sollten neue Einsichten in evolutionären Funktionsmechanismen sowie eine weitergehende Feinregulation von Taspase1 erlangt werden. Zum einen erlaubte die Etablierung und Anwendung eines zellbasierten Taspase1-Testsystem, chemische Verbindungen auf deren inhibitorische Aktivität zu testen. Überraschenderweise belegten solch zelluläre Analysen in Kombination mit in silico-Modellierungen eindeutig, dass ein in der Literatur postulierter Inhibitor in lebenden Tumorzellen keine spezifische Wirksamkeit gegenüber Taspase1 zeigte. Als mögliche Alternative wurden darüber hinaus Ansätze zur genetischen Inhibition evaluiert. Obwohl publizierte Studien Taspase1 als ααββ-Heterodimer beschreiben, konnte durch Überexpression katalytisch inaktiver Mutanten kein trans-dominant negativer Effekt und damit auch keine Inhibition des wildtypischen Enzyms beobachtet werden. Weiterführende zellbiologische und biochemische Analysen belegten erstmalig, dass Taspase1 in lebenden Zellen in der Tat hauptsächlich als Monomer und nicht als Dimer vorliegt. Die Identifizierung evolutionär konservierter bzw. divergenter Funktionsmechanismen lieferte bereits in der Vergangenheit wichtige Hinweise zur Inhibition verschiedenster krebsrelevanter Proteine. Da in Drosophila melanogaster die Existenz und funktionelle Konservierung eines Taspase1-Homologs postuliert wurde, wurde in einem weiteren Teil der vorliegenden Arbeit die evolutionäre Entwicklung der Drosophila Taspase1 (dTaspase1) untersucht. Obwohl Taspase1 als eine evolutionär stark konservierte Protease gilt, konnten wichtige Unterschiede zwischen beiden Orthologen festgestellt werden. Neben einem konservierten autokatalytischen Aktivierungsmechanismus besitzt dTaspase1 verglichen mit dem humanen Enzym eine flexiblere Substraterkennungs-sequenz, was zu einer Vergrößerung des Drosophila-spezifischen Degradoms führt. Diese Ergebnisse zeigen des Weiteren, dass zur Definition und Vorhersage des Degradoms nicht nur proteomische sondern auch zellbiologische und bioinformatische Untersuchungen geeignet und notwendig sind. Interessanterweise ist die differentielle Regulation der dTaspase1-Aktivität zudem auf eine veränderte intrazelluläre Lokalisation zurückzuführen. Das Fehlen von in Vertebraten hochkonservierten aktiven Kernimport- und nukleolären Lokalisationssignalen erklärt, weshalb dTaspase1 weniger effizient nukleäre Substrate prozessiert. Somit scheint die für die humane Taspase1 beschriebene Regulation von Lokalisation und Aktivität über eine Importin-α/NPM1-Achse erst im Laufe der Entwicklung der Vertebraten entstanden zu sein. Es konnte also ein bislang unbekanntes evolutionäres Prinzip identifiziert werden, über welches eine Protease einen Transport- bzw. Lokalisations-basierten Mechanismus zur Feinregulation ihrer Aktivität „von der Fliege zum Menschen“ nutzt. Eine weitere Möglichkeit zur dynamischen Funktionsmodulation bieten post-translationale Modifikationen (PTMs) der Proteinsequenz, zu welcher Phosphorylierung und Acetylierung zählen. Interessanterweise konnte für die humane Taspase1 über den Einsatz unabhängiger Methoden einschließlich massenspektrometrischer Analysen eine Acetylierung durch verschiedene Histon-Acetyltransferasen (HATs) nachgewiesen werden. Diese Modifikation erfolgt reversibel, wobei vor allem die Histon-Deacetylase HDAC1 durch Interaktion mit Taspase1 die Deacetylierung der Protease katalysiert. Während Taspase1 in ihrer aktiven Konformation acetyliert vorliegt, kommt es nach Deacetylierung zu einer Reduktion ihrer enzymatischen Aktivität. Somit scheint die Modulation der Taspase1-Aktivität nicht allein über intra-proteolytische Autoaktivierung, Transport- und Interaktionsmechanismen, sondern zudem durch post-translationale Modifikationen gesteuert zu werden. Zusammenfassend konnten im Rahmen dieser Arbeit entscheidende neue Einblicke in die (patho)biologische Funktion und Feinregulation der Taspase1 gewonnen werden. Diese Ergebnisse stellen nicht nur einen wichtigen Schritt in Richtung eines verbesserten Verständnis der „Taspase1-Biologie“, sondern auch zur erfolgreichen Inhibition und Bewertung der krebsrelevanten Funktion dieser Protease dar.

Stochastic foundations of dynamic trade and labor market models

This dissertation consists of three self-contained papers that are related to two main topics. In particular, the first and third studies focus on labor market modeling, whereas the second essay presents a dynamic international trade setup.rnrnIn Chapter "Expenses on Labor Market Reforms during Transitional Dynamics", we investigate the arising costs of a potential labor market reform from a government point of view. To analyze various effects of unemployment benefits system changes, this chapter develops a dynamic model with heterogeneous employed and unemployed workers.rn rnIn Chapter "Endogenous Markup Distributions", we study how markup distributions adjust when a closed economy opens up. In order to perform this analysis, we first present a closed-economy general-equilibrium industry dynamics model, where firms enter and exit markets, and then extend our analysis to the open-economy case.rn rnIn Chapter "Unemployment in the OECD - Pure Chance or Institutions?", we examine effects of aggregate shocks on the distribution of the unemployment rates in OECD member countries.rn rnIn all three chapters we model systems that behave randomly and operate on stochastic processes. We therefore exploit stochastic calculus that establishes clear methodological links between the chapters.

Weighted geometric mean of large-scale matrices: numerical analysis and algorithms

Computing the weighted geometric mean of large sparse matrices is an operation that tends to become rapidly intractable, when the size of the matrices involved grows. However, if we are not interested in the computation of the matrix function itself, but just in that of its product times a vector, the problem turns simpler and there is a chance to solve it even when the matrix mean would actually be impossible to compute. Our interest is motivated by the fact that this calculation has some practical applications, related to the preconditioning of some operators arising in domain decomposition of elliptic problems. In this thesis, we explore how such a computation can be efficiently performed. First, we exploit the properties of the weighted geometric mean and find several equivalent ways to express it through real powers of a matrix. Hence, we focus our attention on matrix powers and examine how well-known techniques can be adapted to the solution of the problem at hand. In particular, we consider two broad families of approaches for the computation of f(A) v, namely quadrature formulae and Krylov subspace methods, and generalize them to the pencil case f(A\B) v. Finally, we provide an extensive experimental evaluation of the proposed algorithms and also try to assess how convergence speed and execution time are influenced by some characteristics of the input matrices. Our results suggest that a few elements have some bearing on the performance and that, although there is no best choice in general, knowing the conditioning and the sparsity of the arguments beforehand can considerably help in choosing the best strategy to tackle the problem.

Seasonality and diel variation in blue whale D calls recorded in the Southern California Bight

Passive acoustic data have been collected using HARPs (High-frequency Acoustic Recording Packages) and were used to assess (1) the seasonality of blue whale D calls in the Southern California Bight, (2) their interannual abundance during 2007-2012 and (3) their diel variation. This goal has been achieved running the GPL (Generalized Power-Law) automated detector. (1) Blue whale D calls were detected in the Southern California Bight from May through November with a peak in July, even though few detections were from December to April as well. A key predictor for blue whale distribution and movement in the California Current region has been identified with zooplankton aggregations, paying a particular attention to those euphausiid species, such as E. pacifica and T. spinifera, which are blue whale favorite krill. The Southern California Bight experiences seasonal upwelling, resulting in an increase of productivity and prey availability. The summer and early fall have been marked as the most favorable periods. This supports the presence of blue whales in the area at that time, supposing these marine mammals exploit the region as a feeding ground. (2) As to the interannual abundance during 2007-2012, I found a large variability. I observed a great increase of vocalizations in 2007 and 2010, whereas a decrease was shown in the other years, which is well marked in 2009. It is my belief that these fluctuations in abundance of D calls detections through the deployed period are due to the alternation of El Nino and La Nina events, which occurred in those years. (3) The assessment of the daily timing of D calls production shows that D calls are more abundant during the day than during the night with a peak at 12:00 and 13:00. Assuming that D calling is associated with feeding, the daily pattern of D calls may be linked to the prey availability. E. pacifica and T. spinifera are among those species of krill which undertake daily vertical migrations, remaining at depth during the day and slowly coming up towards the surface at night. Because of some anatomical arrangements, these euphausiids are very sensitive to the light. Given that we believe D calls have a social function, I hypothesize that blue whales may recognize the hours at the highest solar incidence as the best moment of the day in terms of prey availability, exploiting this time window to advert their conspecifics.

Computing primal solutions with exact arithmetics in SCIP.

The research for exact solutions of mixed integer problems is an active topic in the scientific community. State-of-the-art MIP solvers exploit a floating- point numerical representation, therefore introducing small approximations. Although such MIP solvers yield reliable results for the majority of problems, there are cases in which a higher accuracy is required. Indeed, it is known that for some applications floating-point solvers provide falsely feasible solutions, i.e. solutions marked as feasible because of approximations that would not pass a check with exact arithmetic and cannot be practically implemented. The framework of the current dissertation is SCIP, a mixed integer programs solver mainly developed at Zuse Institute Berlin. In the same site we considered a new approach for exactly solving MIPs. Specifically, we developed a constraint handler to plug into SCIP, with the aim to analyze the accuracy of provided floating-point solutions and compute exact primal solutions starting from floating-point ones. We conducted a few computational experiments to test the exact primal constraint handler through the adoption of two main settings. Analysis mode allowed to collect statistics about current SCIP solutions' reliability. Our results confirm that floating-point solutions are accurate enough with respect to many instances. However, our analysis highlighted the presence of numerical errors of variable entity. By using the enforce mode, our constraint handler is able to suggest exact solutions starting from the integer part of a floating-point solution. With the latter setting, results show a general improvement of the quality of provided final solutions, without a significant loss of performances.

An integrated system for building and running reproducible research

Our generation of computational scientists is living in an exciting time: not only do we get to pioneer important algorithms and computations, we also get to set standards on how computational research should be conducted and published. From Euclid’s reasoning and Galileo’s experiments, it took hundreds of years for the theoretical and experimental branches of science to develop standards for publication and peer review. Computational science, rightly regarded as the third branch, can walk the same road much faster. The success and credibility of science are anchored in the willingness of scientists to expose their ideas and results to independent testing and replication by other scientists. This requires the complete and open exchange of data, procedures and materials. The idea of a “replication by other scientists” in reference to computations is more commonly known as “reproducible research”. In this context the journal “EAI Endorsed Transactions on Performance & Modeling, Simulation, Experimentation and Complex Systems” had the exciting and original idea to make the scientist able to submit simultaneously the article and the computation materials (software, data, etc..) which has been used to produce the contents of the article. The goal of this procedure is to allow the scientific community to verify the content of the paper, reproducing it in the platform independently from the OS chosen, confirm or invalidate it and especially allow its reuse to reproduce new results. This procedure is therefore not helpful if there is no minimum methodological support. In fact, the raw data sets and the software are difficult to exploit without the logic that guided their use or their production. This led us to think that in addition to the data sets and the software, an additional element must be provided: the workflow that relies all of them.

Pontypool, traduci e muori. Traduzione di pontypool changes everything di tony burgess.

This work is focused on the translation of the first half of the novel Pontypool Changes Everything, written by Canadian author and screenplay writer Tony Burgess in 1998 and – quite surprisingly – still unpublished in Italy. Although the book disguises itself as a product for general consumption – more precisely as a tale of zombies – it is clear from the very beginning that the author is not interested in conforming to the conventions of the genre to which his work belongs. On the contrary, he seems to exploit the recent success of zombiea-pocalypse inspired stories to build up a more complex type of narrative. Nonetheless, he writes a story that introduces certain innovative elements in the rather repetitive and seemingly outworn genre, like the idea of a language-borne virus. Burgess, who has a graduate degree in semiotics, was by his own admission “insufferably preoccupied with literary malformations” when he wrote the book. As a matter of fact his narrative tackles issues – albeit superficially and always entertainingly – that seem to stem from the theories which originated in the field of linguistics around the second half of the twentieth century. It goes without saying that translating – as much as reading – such a book is both a difficult and compelling operation. As a translator you are required to constantly shift from one strategy to another, paying great attention to the semantic nuances of the written words whilst keeping in mind what the actual intention of the text is. Together with the book translation, this dissertation offers a brief introduction to the fundamental principles of translation and a detailed analysis of some of the translation problems posed by the novel.

Tomographic 3D reconstruction through linear inversion for breast microwave imaging

In the present thesis we address the problem of detecting and localizing a small spherical target with characteristic electrical properties inside a volume of cylindrical shape, representing female breast, with MWI. One of the main works of this project is to properly extend the existing linear inversion algorithm from planar slice to volume reconstruction; results obtained, under the same conditions and experimental setup are reported for the two different approaches. Preliminar comparison and performance analysis of the reconstruction algorithms is performed via numerical simulations in a software-created environment: a single dipole antenna is used for illuminating the virtual breast phantom from different positions and, for each position, the corresponding scattered field value is registered. Collected data are then exploited in order to reconstruct the investigation domain, along with the scatterer position, in the form of image called pseudospectrum. During this process the tumor is modeled as a dielectric sphere of small radius and, for electromagnetic scattering purposes, it's treated as a point-like source. To improve the performance of reconstruction technique, we repeat the acquisition for a number of frequencies in a given range: the different pseudospectra, reconstructed from single frequency data, are incoherently combined with MUltiple SIgnal Classification (MUSIC) method which returns an overall enhanced image. We exploit multi-frequency approach to test the performance of 3D linear inversion reconstruction algorithm while varying the source position inside the phantom and the height of antenna plane. Analysis results and reconstructed images are then reported. Finally, we perform 3D reconstruction from experimental data gathered with the acquisition system in the microwave laboratory at DIFA, University of Bologna for a recently developed breast-phantom prototype; obtained pseudospectrum and performance analysis for the real model are reported.