Refine
Year of publication
Document Type
- Preprint (666)
- Article (388)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1067)
Is part of the Bibliography
- no (1067)
Keywords
- Heavy Ion Experiments (20)
- Hadron-Hadron Scattering (11)
- Hadron-Hadron scattering (experiments) (11)
- LHC (9)
- Lambda-Kalkül (8)
- Heavy-ion collision (6)
- Operationale Semantik (6)
- Programmiersprache (5)
- ALICE experiment (4)
- Collective Flow (4)
Institute
- Physik (1034)
- Frankfurt Institute for Advanced Studies (FIAS) (955)
- Informatik (931)
- Medizin (9)
- Geowissenschaften (7)
- Informatik und Mathematik (3)
- Georg-Speyer-Haus (2)
- Hochschulrechenzentrum (2)
- Biochemie und Chemie (1)
- Biowissenschaften (1)
This paper presents results from the "INUIT-JFJ/CLACE 2013" field campaign at the high alpine research station Jungfraujoch in January/February 2013. The chemical composition of ice particle residuals (IPR) in a size diameter range of 200–900 nm was measured in orographic, convective and non-convective clouds with a single particle mass spectrometer (ALABAMA) under ambient conditions characterized by temperatures between −28 and −4 °C and wind speed from 0.1 to 21 km h−1. Additionally, background aerosol particles in cloud free air were investigated. The IPR were sampled from mixed-phase clouds with two inlets which selectively extract small ice crystals in-cloud, namely the Counterflow Virtual Impactor (Ice-CVI) and the Ice Selective Inlet (ISI). The IPR as well as the aerosol particles were classified into seven different particle types: (1) black carbon, (2) organic carbon, (3) black carbon internally mixed with organic carbon, (4) minerals, (5) one particle group (termed "BioMinSal") that may contain biological particles, minerals, or salts, (6) industrial metals, and (7) lead containing particles. For any sampled particle population it was determined by means of single particle mass spectrometer how many of the analyzed particles belonged to each of these categories. Accordingly, between 20 and 30% of the IPR and roughly 42% of the background particles contained organic carbon. The measured fractions of minerals in the IPR composition varied from 6 to 33%, while the values for the "BioMinSal" group were between 15 and 29%. Four percent to 31% of the IPR contained organic carbon mixed with black carbon. Both inlets delivered similar results of the chemical composition and of the particle size distribution, although lead was found only in the IPR sampled by the Ice-CVI. The results show that the ice particle residual composition varies substantially between different cloud events, which indicates the influence of different meteorological conditions, such as origin of the air masses, temperature and wind speed.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence. This also shows correctness wrt. program semantics, since the encodings are adequate translations wrt. contextual semantics. While these translations encode blocking into queuing and waiting, we also provide an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
Motivated by our experience in analyzing properties of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.
Various concurrency primitives have been added to sequential programming languages, in order to turn them concurrent. Prominent examples are concurrent buffers for Haskell, channels in Concurrent ML, joins in JoCaml, and handled futures in Alice ML. Even though one might conjecture that all these primitives provide the same expressiveness, proving this equivalence is an open challenge in the area of program semantics. In this paper, we establish a first instance of this conjecture. We show that concurrent buffers can be encoded in the lambda calculus with futures underlying Alice ML. Our correctness proof results from a systematic method, based on observational semantics with respect to may and must convergence.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence, and as a consequence also yields soundness of the encodings with respect to a contextually defined notion of program equivalence. While these translations encode blocking into queuing and waiting, we also describe an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
Background: School attendance during the COVID-19 pandemic is intensely debated.
Aim: In November 2020, we assessed SARS-CoV-2 infections and seroreactivity in 24 randomly selected school classes and connected households in Berlin, Germany.
Methods: We collected oro-nasopharyngeal swabs and blood samples, examining SARS-CoV-2 infection and IgG antibodies by RT-PCR and ELISA. Household members self-swabbed. We assessed individual and institutional prevention measures. Classes with SARS-CoV-2 infection and connected households were retested after 1 week.
Results: We examined 1,119 participants, including 177 primary and 175 secondary school students, 142 staff and 625 household members. SARS-CoV-2 infection occurred in eight classes, affecting each 1–2 individuals. Infection prevalence was 2.7% (95% confidence interval (CI): 1.2–5.0; 9/338), 1.4% (95% CI: 0.2–5.1; 2/140), and 2.3% (95% CI: 1.3–3.8; 14/611) among students, staff and household members. Six of nine infected students were asymptomatic at testing. We detected IgG antibodies in 2.0% (95%CI: 0.8–4.1; 7/347), 1.4% (95% CI: 0.2–5.0; 2/141) and 1.4% (95% CI: 0.6–2.7; 8/576). Prevalence increased with inconsistent facemask-use in school, walking to school, and case-contacts outside school. For three of nine households with infection(s), origin in school seemed possible. After 1 week, no school-related secondary infections appeared in affected classes; the attack rate in connected households was 1.1%.
Conclusion: School attendance under rigorously implemented preventive measures seems reasonable. Balancing risks and benefits of school closures need to consider possible spill-over infection into households. Deeper insight is required into the infection risks due to being a schoolchild vs attending school.
Background: School attendance during the SARS-CoV-2 pandemic is intensely debated. Modelling studies suggest that school closures contribute to community transmission reduction. However, data among school-attending students and staff are scarce. In November 2020, we examined SARS-CoV-2 infections and seroreactivity in 24 randomly selected school classes and connected households in Berlin, Germany.
Methods: Students and school staff were examined, oro-nasopharyngeal swabs and blood samples collected, and SARS-CoV-2 infection and IgG antibodies detected by RT-PCR and ELISA. Household members performed self-swabs. Individual and institutional infection prevention and control measures were assessed. Classes with SARS-CoV-2 infection and connected household members were re-tested after one week.
Findings: 1119 participants were examined, including 177 primary and 175 secondary school students, 142 staff, and 625 household members. Participants reported mainly cold symptoms (19·4%). SARS-CoV-2 infection occurred in eight of 24 classes affecting each 1-2 individuals. Infection prevalence was 2·7% (95%CI; 1·2-5·0%; 9/338), 1·4% (0·2-5·1%; 2/140), and 2·3% (1·3-3·8%; 14/611) among students, staff and household members, respectively, including quarantined persons. Six of nine infected students were asymptomatic. Prevalence increased with inconsistent facemask use in school, way to school on foot, and case-contacts outside school. IgG antibodies were detected in 2·0% (0·8-4·1%; 7/347), 1·4% (0·2-5·0%; 2/141) and 1·4% (0·6-2·7%; 8/576), respectively. For three of nine households with infection(s) detected at cross-sectional assessment, origin in school seemed possible. After one week, no school-related, secondary infections appeared in affected classes; the attack rate in connected households was 1·1%.
Interpretation: These data suggest that school attendance under preventive measures is feasible, provided their rigorous implementation. In balancing threats and benefits of open versus closed schools during the pandemic, parents and society need to consider possible spill-overs into their households. Deeper insight is needed into the infection risks due to being a schoolchild as compared to attending school.
Purpose: The PELICAN trial evaluates for the first time efficacy and safety of pegylated liposomal doxorubicin (PLD) versus capecitabine as first-line treatment of metastatic breast cancer (MBC).
Methods: This randomized, phase III, open-label, multicenter trial enrolled first-line MBC patients who were ineligible for endocrine or trastuzumab therapy. Cumulative adjuvant anthracyclines of 360 mg/m2 doxorubicin or equivalent were allowed. Left ventricular ejection fraction of >50 % was required. Patients received PLD 50 mg/m2 every 28 days or capecitabine 1250 mg/m2 twice daily for 14 days every 21 days. The primary endpoint was time-to-disease progression (TTP).
Results: 210 patients were randomized (n = 105, PLD and n = 105, capecitabine). Adjuvant anthracyclines were given to 37 % (PLD) and 36 % (capecitabine) of patients. No significant difference was observed in TTP [HR = 1.21 (95 % confidence interval, 0.838–1.750)]. Median TTP was 6.0 months for both PLD and capecitabine. Comparing patients with or without prior anthracyclines, no significant difference in TTP was observed in the PLD arm (log-rank P = 0.64). For PLD versus capecitabine, respectively, overall survival (median, 23.3 months vs. 26.8 months) and time-to-treatment failure (median, 4.6 months vs. 3.7 months) were not statistically significantly different. Compared to PLD, patients on capecitabine experienced more serious adverse events (P = 0.015) and more cardiac events among patients who had prior anthracycline exposure (18 vs. 8 %; P = 0.31).
Conclusion: Both PLD and capecitabine are effective first-line agents for MBC.
Ziele: Das Ziel dieser offiziellen Leitlinie, die von der Deutschen Gesellschaft für Gynäkologie und Geburtshilfe (DGGG) und der Deutschen Krebsgesellschaft (DKG) publiziert und koordiniert wurde, ist es, die Früherkennung, Diagnostik, Therapie und Nachsorge des Mammakarzinoms zu optimieren.
Methoden: Der Aktualisierungsprozess der S3-Leitlinie aus 2012 basierte zum einen auf der Adaptation identifizierter Quellleitlinien und zum anderen auf Evidenzübersichten, die nach Entwicklung von PICO-(Patients/Interventions/Control/Outcome-)Fragen, systematischer Recherche in Literaturdatenbanken sowie Selektion und Bewertung der gefundenen Literatur angefertigt wurden. In den interdisziplinären Arbeitsgruppen wurden auf dieser Grundlage Vorschläge für Empfehlungen und Statements erarbeitet, die im Rahmen von strukturierten Konsensusverfahren modifiziert und graduiert wurden.
Empfehlungen: Der Teil 1 dieser Kurzversion der Leitlinie zeigt Empfehlungen zur Früherkennung, Diagnostik und Nachsorge des Mammakarzinoms: Der Stellenwert des Mammografie-Screenings wird in der aktualisierten Leitlinienversion bestätigt und bildet damit die Grundlage der Früherkennung. Neben den konventionellen Methoden der Karzinomdiagnostik wird die Computertomografie (CT) zum Staging bei höherem Rückfallrisiko empfohlen. Die Nachsorgekonzepte beinhalten Untersuchungsintervalle für die körperliche Untersuchung, Ultraschall und Mammografie, während weiterführende Gerätediagnostik und Tumormarkerbestimmungen bei der metastasierten Erkrankung Anwendung finden.
Purpose: The aim of this official guideline coordinated and published by the German Society for Gynecology and Obstetrics (DGGG) and the German Cancer Society (DKG) was to optimize the screening, diagnosis, therapy and follow-up care of breast cancer.
Methods: The process of updating the S3 guideline dating from 2012 was based on the adaptation of identified source guidelines which were combined with reviews of evidence compiled using PICO (Patients/Interventions/Control/Outcome) questions and the results of a systematic search of literature databases and the selection and evaluation of the identified literature. The interdisciplinary working groups took the identified materials as their starting point to develop recommendations and statements which were modified and graded in a structured consensus procedure.
Recommendations: Part 1 of this short version of the guideline presents recommendations for the screening, diagnosis and follow-up care of breast cancer. The importance of mammography for screening is confirmed in this updated version of the guideline and forms the basis for all screening. In addition to the conventional methods used to diagnose breast cancer, computed tomography (CT) is recommended for staging in women with a higher risk of recurrence. The follow-up concept includes suggested intervals between physical, ultrasound and mammography examinations, additional high-tech diagnostic procedures, and the determination of tumor markers for the evaluation of metastatic disease.
n this paper we report on the investigation of baryonic resonance production in proton-proton collisions at the kinetic energies of 1.25 GeV and 3.5 GeV, based on data measured with HADES. Exclusive channels npπ+ and ppπ0 as well as ppe+e− were studied simultaneously in the framework of a one-boson exchange model. The resonance cross sections were determined from the one-pion channels for Δ(1232) and N(1440) (1.25 GeV) as well as further Δ and N* resonances up to 2 GeV/c2 for the 3.5 GeV data. The data at 1.25 GeV energy were also analysed within the framework of the partial wave analysis together with the set of several other measurements at lower energies. The obtained solutions provided the evolution of resonance production with the beam energy, showing a sizeable non-resonant contribution but with still dominating contribution of Δ(1232)P33. In the case of 3.5 GeV data, the study of the ppe+e− channel gave the insight on the Dalitz decays of the baryon resonances and, in particular, on the electromagnetic transition form-factors in the time-like region. We show that the assumption of a constant electromagnetic transition form-factors leads to underestimation of the yield in the dielectron invariant mass spectrum below the vector mesons pole. On the other hand, a comparison with various transport models shows the important role of intermediate ρ production, though with a large model dependency. The exclusive channels analysis done by the HADES collaboration provides new stringent restrictions on the parameterizations used in the models.
his contribution aims to give a basic overview of the latest results regarding the production of resonances in different collision systems. The results were extracted from experimental data collected with HADES that is a multipurpose detector located at the GSI Helmholtzzentrum, Darmstadt. The main points discussed here are: the properties of the strange resonances Λ(1405) and Σ(1385), the role of Δ’s as a source of pions in the final state, the production dynamics reflected in form of differential cross sections, and the role of the ϕ meson as a source for K− particles.
We present the results of two-pion production in tagged quasi-free np collisions at a deutron incident beam energy of 1.25 GeV/c measured with the High-Acceptance Di-Electron Spectrometer (HADES) installed at GSI. The specific acceptance of HADES allowed for the first time to obtain high-precision data on π+π− and π−π0 production in np collisions in a region corresponding to large transverse momenta of the secondary particles. The obtained differential cross section data provide strong constraints on the production mechanisms and on the various baryon resonance contributions (∆∆, N(1440), N(1520), ∆(1600)). The invariant mass and angular distributions from the np → npπ+π −and np → ppπ−π0 reactions are compared with different theoretical model predictions.
Seven different instruments and measurement methods were used to examine the immersion freezing of bacterial ice nuclei from Snomax® (hereafter Snomax), a product containing ice active protein complexes from non-viable Pseudomonas syringae bacteria. The experimental conditions were kept as similar as possible for the different measurements. Of the participating instruments, some examined droplets which had been made from suspensions directly, and the others examined droplets activated on previously generated Snomax particles, with particle diameters of mostly a few hundred nanometers and up to a few micrometers in some cases. Data were obtained in the temperature range from −2 to −38 °C, and it was found that all ice active protein complexes were already activated above −12 °C. Droplets with different Snomax mass concentrations covering 10 orders of magnitude were examined. Some instruments had very short ice nucleation times down to below 1 s, while others had comparably slow cooling rates around 1 K min−1. Displaying data from the different instruments in terms of numbers of ice active protein complexes per dry mass of Snomax, nm, showed that within their uncertainty the data agree well with each other as well as to previously reported literature results. Two parameterizations were taken from literature for a direct comparison to our results, and these were a time dependent approach based on a contact angle distribution Niedermeier et al. (2014) and a modification of the parameterization presented in Hartmann et~al.~(2013) representing a time independent approach. The agreement between these and the measured data were good, i.e. they agreed within a temperature range of 0.6 K or equivalently a range in nm of a factor of 2. From the results presented herein, we propose that Snomax, at least when carefully shared and prepared, is a suitable material to test and compare different instruments for their accuracy of measuring immersion freezing.