Refine
Year of publication
Document Type
- Preprint (669)
- Article (388)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1070)
Is part of the Bibliography
- no (1070)
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 (1037)
- Frankfurt Institute for Advanced Studies (FIAS) (958)
- Informatik (934)
- Medizin (9)
- Geowissenschaften (7)
- Informatik und Mathematik (3)
- Georg-Speyer-Haus (2)
- Hochschulrechenzentrum (2)
- Biochemie und Chemie (1)
- Biowissenschaften (1)
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.
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.
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.
Based on a study of 2150 specimens of the genus Trechus Clairville, 1806 from the Bale Mts, Mount Chillalo, and Mount Enkuolo, southern Ethiopia, the current knowledge regarding systematics and distribution of the genus in the area is summarized. Twenty-six new species are described and figured in detail: Trechus abalkhasimi sp. nov. (southeastern slope of Bale Mts, below Mt Abalkhasim); T. adaba sp. nov. (western Bale Mts, above Adaba); T. angavoensis sp. nov. (western Bale Mts, above Dodola); T. balesilvestris sp. nov. (western Bale Mts, above Adaba); T. bombi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. colobus sp. nov. (western Bale Mts); T. depressipennis sp. nov. (northeastern margin of Sanetti Plateau, Bale Mts); T. dodola sp. nov. (western Bale Mts, above Dodola); T. fisehai sp. nov. (northern slope of Bale Mts, above Goba); T. grandipennis sp. nov. and T. hagenia sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. haggei sp. nov. (northeastern margin of Sanetti Plateau); T. harenna sp. nov. and T. harryi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. iridescens sp. nov. (southeastern slope of Bale Mts, below Mt Abalk-hasim); T. mattisi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. mekbibi sp. nov. (southern and western part of Bale Mts); T. minitrechus sp. nov. (northeastern slope of Mt Enkuolo); T. nanulus sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. nigrifemoralis sp. nov. and T. oppositus sp. nov. (western Bale Mts, above Dodola); T. rira sp. nov. (southern escarpment of Bale Mts, upper Rira Valley); T. sanettii sp. nov. (southeastern slope of Sanetti Plateau, Bale Mts); T. tragelaphus sp. nov. (western Bale Mts, above Dodola); T. transversicollis sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. wiersbowskyi sp. nov. (southern escarpment of Bale Mts, upper Rira Valley). New distributional data are provided for T. baleensis (Basilewsky, 1974), T. bastianinii Magrini & Sciaky, 2006, T. batuensis Magrini & Sciaky, 2006, T. chillalicus Jeannel, 1936, T. clarkeianus (Basilewsky, 1974), T. culminicola Jeannel, 1936, T. ericalis Magrini, Quéinnec & Vigna Taglianti, 2013, T. gallorites Jeannel, 1936, T. gypaeti Vigna Taglianti & Magrini, 2010, T. oromiensis Magrini, Quéinnec & Vigna Taglianti, 2012, T. relictus Magrini, Quéinnec & Vigna Taglianti, 2012 and T. rotundicollis (Basilewsky, 1974). Cothresia robini Basilewsky, 1974 is considered a junior synonym of T. chillalicus Jeannel, 1936. A key to all species known to occur in the Bale Mts and adjacent volcanos is presented.