RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system

Labour Market and Social Policy in Italy: Challenges and Changes. Bertelsmann Policy Brief #2016/02

vEight years after the outbreak of the financial crisis, Italy has still to cope with and overcome a plethora of economic and social challenges. On top of this, it faces an unfavourable demographic structure and severe disparities between its northern and southern regions. Some promising reforms have recently been enacted, specifically targeting poverty and social exclusion. However, much more remains to be done on the way towards greater economic stability and widely shared prosperity

Enhanced expression of genes related to xenobiotic metabolism in the skin of patients with atopic dermatitis but not with ichthyosis vulgaris

Previous transcriptome analyses underscored the importance of immunological and skin barrier abnormalities in atopic dermatitis (AD). We sought to identify pathogenic pathways involved in AD by comparing the transcriptomes of AD patients stratified for filaggrin (FLG)-null mutations to those of both healthy donors and patients with ichthyosis vulgaris. We applied RNA sequencing to analyze the whole transcriptome of nonlesional skin. We found that 607 genes (476 up-regulated and 131 down-regulated by >2-fold) and 193 genes (172 up-regulated and 21 down-regulated by >2-fold) were differentially expressed when all AD or ichthyosis vulgaris patients were compared with healthy donors, respectively. Expression of genes involved in RNA/protein turnover and adenosine triphosphate synthesis, as well as genes involved in cell death, response to oxidative stress, DNA damage/repair, and autophagy, were significantly enriched in AD skin and, to a lesser extent, in ichthyosis vulgaris skin. FLG-null mutations appear to hardly interfere with current observations. Genes related to xenobiotic metabolism were up-regulated in AD skin only, as were genes related to arachidonic, linoleic, and α-linolenic acid metabolism. Thus, this work newly links AD pathogenesis to aberrant expression of genes related to xenobiotic metabolism

Helicity Analysis of Semileptonic Hyperon Decays Including Lepton Mass Effects

Using the helicity method we derive complete formulas for the joint angular decay distributions occurring in semileptonic hyperon decays including lepton mass and polarization effects. Compared to the traditional covariant calculation the helicity method allows one to organize the calculation of the angular decay distributions in a very compact and efficient way. In the helicity method the angular analysis is of cascade type, i.e. each decay in the decay chain is analyzed in the respective rest system of that particle. Such an approach is ideally suited as input for a Monte Carlo event generation program. As a specific example we take the decay $\Xi^0 \to \Sigma^+ + l^- + \bar{\nu}_l$ ($l^-=e^-, \mu^-$) followed by the nonleptonic decay $\Sigma^+ \to p + \pi^0$ for which we show a few examples of decay distributions which are generated from a Monte Carlo program based on the formulas presented in this paper. All the results of this paper are also applicable to the semileptonic and nonleptonic decays of ground state charm and bottom baryons, and to the decays of the top quark.Comment: Published version. 40 pages, 11 figures included in the text. Typos corrected, comments added, references added and update

Measurement of the branching ratio of the decay Ξ0→Σ+μ−νˉμ\Xi^{0}\rightarrow \Sigma^{+} \mu^{-} \bar{\nu}_{\mu}

From the 2002 data taking with a neutral kaon beam extracted from the CERN-SPS, the NA48/1 experiment observed 97 $\Xi^{0}\rightarrow \Sigma^{+} \mu^{-} \bar{\nu}_{\mu}$ candidates with a background contamination of $30.8 \pm 4.2$ events. From this sample, the BR($\Xi^{0}\rightarrow \Sigma^{+} \mu^{-} \bar{\nu}_{\mu}$) is measured to be $(2.17 \pm 0.32_{\mathrm{stat}}\pm 0.17_{\mathrm{syst}})\times10^{-6}$

Observation of the rare decay K_S -> pi^0mu^+mu^-

A search for the decay K_S -> pi^0mu^+mu^- has been made by the NA48/1 Collaboration at the CERN SPS accelerator. The data were collected during 2002 with a high-intensity K_S beam. Six events were found with a background expectation of 0.22^+0.18_-0.11 event. Using a vector matrix element and unit form factor, the measured branching ratio is B(K_S -> pi^0mu^+mu^-)=[2.9^+1.5_-1.2(stat)+/-0.2(syst)]x10^{-9}.Comment: 19 pages, 8 figures, 4 tables. To be published in Physics Letters

First observation and branching fraction and decay parameter measurements of the weak radiative decay Xi0 --> Lambda e+e-

The weak radiative decay Xi0 --> Lambda e+e- has been detected for the first time. We find 412 candidates in the signal region, with an estimated background of 15 +/- 5 events. We determine the branching fraction B(Xi0 --> Lambda e+e-) = [7.6 +/- 0.4(stat) +/- 0.4(syst) +/- 0.2(norm)] x 10^{-6}, consistent with an internal bremsstrahlung process, and the decay asymmetry parameter alpha_{XiLambdaee} = -0.8 +/- 0.2, consistent with that of Xi0 --> Lambda gamma. The charge conjugate reaction Xi0_bar --> Lambda_bar e+e- has also been observed.Comment: 20 pages, 5 figures, 4 tables; revised: 19 pages, 4 figures, 4 tables, after reviewers' comments: 1 figure removed, 1 figure corrected, minor editorial changes; to be published in Phys. Lett.

First Observation and Measurement of the Decay K+- -> pi+- e+ e- gamma

Using the full data set of the NA48/2 experiment, the decay K+- -> pi+- e+ e- gamma is observed for the first time, selecting 120 candidates with 7.3 +- 1.7 estimated background events. With K+- -> pi+- pi0D as normalisation channel, the branching ratio is determined in a model-independent way to be Br(K+- -> pi+- e+ e- gamma, m_eegamma > 260 MeV/c^2) = (1.19 +- 0.12_stat +- 0.04_syst) x 10^-8. This measured value and the spectrum of the e+ e- gamma invariant mass allow a comparison with predictions of Chiral Perturbation Theory.Comment: 13 pages, 3 figures. Accepted for publication in Phys.Lett.

Empirical parameterization of the K+- -> pi+- pi0 pi0 decay Dalitz plot

As first observed by the NA48/2 experiment at the CERN SPS, the \p0p0 invariant mass (M00) distribution from \kcnn decay shows a cusp-like anomaly at M00=2m+, where m+ is the charged pion mass. An analysis to extract the pi pi scattering lengths in the isospin I=0 and I=2 states, a0 and a2, respectively, has been recently reported. In the present work the Dalitz plot of this decay is fitted to a new empirical parameterization suitable for practical purposes, such as Monte Carlo simulations of K+- -> pi+- pi0 pi0 decays.Comment: 9 pages, 3 figures