Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations

Avoiding access conflicts is a major challenge in the design of multi-threaded programs. In the context of real-time systems, the absence of conflicts can be guaranteed by ensuring that no two potentially conflicting accesses are ever scheduled concurrently.In this paper, we analyze programs that carry time annotations specifying the time for executing each statement. We propose a technique for verifying that a multi-threaded program with time annotations is free of access conflicts. In particular, we generate constraints that reflect the possible schedules for executing the program and the required properties. We then invoke an SMT solver in order to verify that no execution gives rise to concurrent conflicting accesses. Otherwise, we obtain a trace that exhibits the access conflict.Comment: http://journal.ub.tu-berlin.de/eceasst/article/view/97

Essays on Banks' Tax Response

This thesis consists of three essays examining banks’ tax response. The first essay Tax vs. Regulation Policy and the Location of Financial Sector FDI is co-authored with Prof. Dr. Michael Overesch, Chair of Business Taxation at the University of Cologne and Prof. Dr. Georg Wamser, Chair of Public Finance at the University of Tuebingen. It aims to investigate how taxation and regulatory constraints influence German banks’ decision to locate branches orsubsidiaries in specific countries. In the second essay Profit Shifting and Tax Response of Multinational Banks, co-authored with Prof. Dr. Michael Overesch, Chair of Business Taxation at the University of Cologne, we evaluate if banks engage in profit shifting and estimate the extent. In additional analysis we test different profit components for their tax elasticity. Finally, we test often suspected shifting channels, such as leverage and loan loss provisions, to support our results. The thesis concludes with an essay on recapitalized banks. Tax Aggressiveness vs. Capital Injections - Can Banks Have It All? is based on a working paper with MSc. Tanja Herbert, doctoral research assistant at the chair of business taxation at the University of Cologne. Using a hand-collected data set we analyze the change in tax aggressiveness of banks caused by capital injections during the financial crisis. We thereby measure the effect government influence had on banks’ tax aggressiveness

Fabrication and Characterization of Single-Crystal Diamond Membranes for Quantum Photonics with Tunable Microcavities

The development of quantum technologies is one of the big challenges in modern research. Acrucial component for many applications is an efficient, coherent spin–photon interface, and coupling single-color centers in thin diamond membranes to a microcavity is a promising approach. To structure such micrometer thin single-crystal diamond (SCD) membranes with a good quality, it is important to minimize defects originating from polishing or etching procedures. Here, we report on the fabrication of SCD membranes, with various diameters, exhibiting a low surface roughness down to 0.4 nm on a small area scale, by etching through a diamond bulk mask with angled holes. A significant reduction in pits induced by micromasking and polishing damages was accomplished by the application of alternating Ar/Cl2 + O2 dry etching steps. By a variation of etching parameters regarding the Ar/Cl2 step, an enhanced planarization of the surface was obtained, in particular, for surfaces with a higher initial surface roughness of several nanometers. Furthermore, we present the successful bonding of an SCD membrane via van der Waals forces on a cavity mirror and perform finesse measurements which yielded values between 500 and 5000, depending on the position and hence on the membranethickness. Our results are promising for, e.g., an efficient spin–photon interface

In vitro and in vivo effects of Pelargonium sidoides DC. root extract EPs® 7630 and selected constituents against SARS-CoV-2 B.1, Delta AY.4/AY.117 and Omicron BA.2

The occurrence of immune-evasive SARS-CoV-2 strains emphasizes the importance to search for broad-acting antiviral compounds. Our previous in vitro study showed that Pelargonium sidoides DC. root extract EPs® 7630 has combined antiviral and immunomodulatory properties in SARS-CoV-2-infected human lung cells. Here we assessed in vivo effects of EPs® 7630 in SARS-CoV-2-infected hamsters, and investigated properties of EPs® 7630 and its functionally relevant constituents in context of phenotypically distinct SARS-CoV-2 variants. We show that EPs® 7630 reduced viral load early in the course of infection and displayed significant immunomodulatory properties positively modulating disease progression in hamsters. In addition, we find that EPs® 7630 differentially inhibits SARS-CoV-2 variants in nasal and bronchial human airway epithelial cells. Antiviral effects were more pronounced against Omicron BA.2 compared to B.1 and Delta, the latter two preferring TMPRSS2-mediated fusion with the plasma membrane for cell entry instead of receptor-mediated low pH-dependent endocytosis. By using SARS-CoV-2 Spike VSV-based pseudo particles (VSVpp), we confirm higher EPs® 7630 activity against Omicron Spike-VSVpp, which seems independent of the serine protease TMPRSS2, suggesting that EPs® 7630 targets endosomal entry. We identify at least two molecular constituents of EPs® 7630, i.e., (−)-epigallocatechin and taxifolin with antiviral effects on SARS-CoV-2 replication and cell entry. In summary, our study shows that EPs® 7630 ameliorates disease outcome in SARS-CoV-2-infected hamsters and has enhanced activity against Omicron, apparently by limiting late endosomal SARS-CoV-2 entry

Calcifediol-loaded liposomes for local treatment of pulmonary bacterial infections.

The influence of vitamin D3 and its metabolites calcifediol (25(OH)D) and calcitriol on immune regulation and inflammation is well described, and raises the question of potential benefit against bacterial infections. In the current study, 25(OH)D was encapsulated in liposomes to enable aerosolisation, and tested for the ability to prevent pulmonary infection by Pseudomonas aeruginosa. Prepared 25(OH)D-loaded liposomes were nanosized and monodisperse, with a negative surface charge and a 25(OH)D entrapment efficiency of approximately 23%. Jet nebulisation of liposomes was seen to yield an aerosol suitable for tracheo-bronchial deposition. Interestingly, 25(OH)D in either liposomes or ethanolic solution had no effect on the release of the proinflammatory cytokine KC from Pseudomonas-infected murine epithelial cells (LA-4); treatment of infected, human bronchial 16-HBE cells with 25(OH)D liposomes however resulted in a significant reduction in bacterial survival. Together with the importance of selecting an application-appropriate in vitro model, the current study illustrates the feasibility and practicality of employing liposomes as a means to achieve 25(OH)D lung deposition. 25(OH)D-loaded liposomes further demonstrated promising effects regarding prevention of Pseudomonas infection in human bronchial epithelial cells

Lipid-specific IgMs induce antiviral responses in the CNS: implications for progressive multifocal leukoencephalopathy in multiple sclerosis

Progressive multi-focal leukoencephalopathy (PML) is a potentially fatal encephalitis caused by JC polyomavirus (JCV). PML principally affects people with a compromised immune system, such as patients with multiple sclerosis (MS) receiving treatment with natalizumab. However, intrathecal synthesis of lipid-reactive IgM in MS patients is associated with a markedly lower incidence of natalizumab-associated PML compared to those without this antibody repertoire. Here we demonstrate that a subset of lipid-reactive human and murine IgMs induce a functional anti-viral response that inhibits replication of encephalitic Alpha and Orthobunyaviruses in multi-cellular central nervous system cultures. These lipid-specific IgMs trigger microglia to produce IFN-β in a cGAS-STING-dependent manner, which induces an IFN-α/β-receptor 1-dependent antiviral response in glia and neurons. These data identify lipid-reactive IgM as a mediator of anti-viral activity in the nervous system and provide a rational explanation why intrathecal synthesis of lipid-reactive IgM correlates with a reduced incidence of iatrogenic PML in MS

Changing climate both increases and decreases European river floods

Climate change has led to concerns about increasing river floods resulting from the greater water-holding capacity of a warmer atmosphere. These concerns are reinforced by evidence of increasing economic losses associated with flooding in many parts of the world, including Europe. Any changes in river floods would have lasting implications for the design of flood protection measures and flood risk zoning. However, existing studies have been unable to identify a consistent continental-scale climatic-change signal in flood discharge observations in Europe, because of the limited spatial coverage and number of hydrometric stations. Here we demonstrate clear regional patterns of both increases and decreases in observed river flood discharges in the past five decades in Europe, which are manifestations of a changing climate. Our results—arising from the most complete database of European flooding so far—suggest that: increasing autumn and winter rainfall has resulted in increasing floods in northwestern Europe; decreasing precipitation and increasing evaporation have led to decreasing floods in medium and large catchments in southern Europe; and decreasing snow cover and snowmelt, resulting from warmer temperatures, have led to decreasing floods in eastern Europe. Regional flood discharge trends in Europe range from an increase of about 11 per cent per decade to a decrease of 23 per cent. Notwithstanding the spatial and temporal heterogeneity of the observational record, the flood changes identified here are broadly consistent with climate model projections for the next century, suggesting that climate-driven changes are already happening and supporting calls for the consideration of climate change in flood risk management