Gaulverrecken, großer Schrecken ...:über die Pferdehaltung in Mündling

Studiert man die Preisträgerlisten der Körberstiftung, so fällt es auf, dass der Großteil der Gewinner ... aus den größeren Städten kommt. Interessant wäre es zu erfahren, wie viele Teilnehmer aus einem kleinen Ort, aus dem ländlichen Bereich stammen. Ich möchte darauf hinweisen, wie wenig über die dörfliche und ländliche Vergangenheit herausgefunden wird, wie wenig wichtig das erscheint; somit verschwinden sicher auch viele wesentlichen Gesichtspunkte in der Geschichte unseres Landes unbeachtet. ... Eingemeindungen und zentralisierte Adressenvergabe lassen befürchten, dass viele kleine Dörfer in Bayern in absehbarer Zeit verschwunden sind. So wird auch mein Heimatdorf „Mündling“ bald nicht mehr in Erscheinung treten, sondern als Ort die Stadt Harburg zu finden sein. Es geht mir darum aufzuzeigen, dass Dorfgeschichte (z. B. von Mündling) ein wichtiger Teil der deutschen Geschichte ist und „diese Geschichte auch aufgezeichnet werden muss, bevor auch unser Dorf kartographisch namentlich verschwunden ist.

Facilitating the analysis of COVID-19 literature through a knowledge graph

At the end of 2019, Chinese authorities alerted the World Health Organization (WHO) of the outbreak of a new strain of the coronavirus, called SARS-CoV-2, which struck humanity by an unprecedented disaster a few months later. In response to this pandemic, a publicly available dataset was released on Kaggle which contained information of over 63,000 papers. In order to facilitate the analysis of this large mass of literature, we have created a knowledge graph based on this dataset. Within this knowledge graph, all information of the original dataset is linked together, which makes it easier to search for relevant information. The knowledge graph is also enriched with additional links to appropriate, already existing external resources. In this paper, we elaborate on the different steps performed to construct such a knowledge graph from structured documents. Moreover, we discuss, on a conceptual level, several possible applications and analyses that can be built on top of this knowledge graph. As such, we aim to provide a resource that allows people to more easily build applications that give more insights into the COVID-19 pandemic

Optimized method for black carbon analysis in ice and snow using the Single Particle Soot Photometer

In this study we attempt to optimize the method for measuring black carbon (BC) in snow and ice using a Single Particle Soot Photometer (SP2). Beside the previously applied ultrasonic (CETAC) and Collison-type nebulizers we introduce a jet (Apex Q) nebulizer to aerosolize the aqueous sample for SP2 analysis. Both CETAC and Apex Q require small sample volumes (a few milliliters) which makes them suitable for ice core analysis. The Apex Q shows the least size-dependent nebulizing efficiency in the BC particle diameter range of 100–1000 nm. The CETAC has the advantage that air and liquid flows can be monitored continuously. All nebulizer-types require a calibration with BC standards for the determination of the BC mass concentration in unknown aqueous samples. We found Aquadag to be a suitable material for preparing calibration standards. Further, we studied the influence of different treatments for fresh discrete snow and ice samples as well as the effect of storage. The results show that samples are best kept frozen until analysis. Once melted, they should be sonicated for 25 min, immediately analyzed while being stirred and not be refrozen

ProofWatch: Watchlist Guidance for Large Theories in E

Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem provers, both for interactive formalizations and for human-assisted proving of open conjectures in small theories. In this work we explore the use of watchlists in large theories coming from first-order translations of large ITP libraries, aiming at improving hammer-style automation by smarter internal guidance of the ATP systems. In particular, we (i) design watchlist-based clause evaluation heuristics inside the E ATP system, and (ii) develop new proof guiding algorithms that load many previous proofs inside the ATP and focus the proof search using a dynamically updated notion of proof matching. The methods are evaluated on a large set of problems coming from the Mizar library, showing significant improvement of E's standard portfolio of strategies, and also of the previous best set of strategies invented for Mizar by evolutionary methods.Comment: 19 pages, 10 tables, submitted to ITP 2018 at FLO

Improved performance of the LHCb Outer Tracker in LHC Run 2

The LHCb Outer Tracker is a gaseous detector covering an area of $5\times 6 m^2$ with 12 double layers of straw tubes. The performance of the detector is presented based on data of the LHC Run 2 running period from 2015 and 2016. Occupancies and operational experience for data collected in $p p$, pPb and PbPb collisions are described. An updated study of the ageing effects is presented showing no signs of gain deterioration or other radiation damage effects. In addition several improvements with respect to LHC Run 1 data taking are introduced. A novel real-time calibration of the time-alignment of the detector and the alignment of the single monolayers composing detector modules are presented, improving the drift-time and position resolution of the detector by 20\%. Finally, a potential use of the improved resolution for the timing of charged tracks is described, showing the possibility to identify low-momentum hadrons with their time-of-flight.Comment: 29 pages, 20 figures, minor changes to match the published versio

Opposite-side flavour tagging of B mesons at the LHCb experiment

The calibration and performance of the oppositeside flavour tagging algorithms used for the measurements of time-dependent asymmetries at the LHCb experiment are described. The algorithms have been developed using simulated events and optimized and calibrated with B + →J/ψK +, B0 →J/ψK ∗0 and B0 →D ∗− μ + νμ decay modes with 0.37 fb−1 of data collected in pp collisions at √ s = 7 TeV during the 2011 physics run. The oppositeside tagging power is determined in the B + → J/ψK + channel to be (2.10 ± 0.08 ± 0.24) %, where the first uncertainty is statistical and the second is systematic

Search for CP violation in D+→K−K+π+D^{+} \to K^{-}K^{+}\pi^{+} decays

A model-independent search for direct CP violation in the Cabibbo suppressed decay $D^+ \to K^- K^+\pi^+$ in a sample of approximately 370,000 decays is carried out. The data were collected by the LHCb experiment in 2010 and correspond to an integrated luminosity of 35 pb$^{-1}$. The normalized Dalitz plot distributions for $D^+$ and $D^-$ are compared using four different binning schemes that are sensitive to different manifestations of CP violation. No evidence for CP asymmetry is found.Comment: 13 pages, 8 figures, submitted to Phys. Rev.

Differential branching fraction and angular analysis of the decay B0→K∗0μ+μ−

The angular distribution and differential branching fraction of the decay B 0→ K ∗0 μ + μ − are studied using a data sample, collected by the LHCb experiment in pp collisions at s√=7 TeV, corresponding to an integrated luminosity of 1.0 fb−1. Several angular observables are measured in bins of the dimuon invariant mass squared, q 2. A first measurement of the zero-crossing point of the forward-backward asymmetry of the dimuon system is also presented. The zero-crossing point is measured to be q20=4.9±0.9GeV2/c4 , where the uncertainty is the sum of statistical and systematic uncertainties. The results are consistent with the Standard Model predictions