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)
Invasive coronary angiography (ICA) was the only method to image coronary arteries for a long time and is still the gold-standard. Technology of noninvasive imaging by coronary computed-tomography angiography (CCTA) has experienced remarkable progress during the last two decades. It is possible to visualize atherosclerotic lesions in the vessel wall in contrast to "lumenography" performed by ICA. Coronary artery disease can be ruled out by CCTA with excellent accuracy. The degree of stenoses is, however, often overestimated which impairs specificity. Atherosclerotic lesions can be characterized as calcified, non-calcified and partially calcified. Calcified plaques are usually quantified using the Agatston-Score. Higher scores are correlated with worse cardiovascular outcome and increased risk of cardiac events. For non-calcified or partially calcified plaques different angiographic findings like positive remodelling, a large necrotic core or spotty calcification more frequently lead to myocardial infarctions. CCTA is an important tool with increasing clinical value for ruling out coronary artery disease or relevant stenoses as well as for advanced risk stratification.
In situ single particle analysis of ice particle residuals (IPRs) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January–February 2013. During the 4-week campaign more than 70 000 out-of-cloud aerosol particles and 595 IPRs were analyzed covering a particle size diameter range from 100 nm to 3 µm. The IPRs were sampled during 273 h while the station was covered by mixed-phase clouds at ambient temperatures between −27 and −6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. The outcome of these laboratory studies was characteristic marker peaks for each investigated particle type. These marker peaks were applied to the field data. In the sampled IPRs we identified a larger number fraction of primary aerosol particles, like soil dust (13 ± 5 %) and minerals (11 ± 5 %), in comparison to out-of-cloud aerosol particles (2.4 ± 0.4 and 0.4 ± 0.1 %, respectively). Additionally, anthropogenic aerosol particles, such as particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPRs than in the out-of-cloud aerosol. In the out-of-cloud aerosol we identified a large fraction of aged particles (31 ± 5 %), including organic material and secondary inorganics, whereas this particle type was much less abundant (2.7 ± 1.3 %) in the IPRs. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPRs in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPRs.
In-situ single particle analysis of ice particle residuals (IPR) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January/February 2013. During the four week campaign more than 70000 out-of-cloud aerosol particles and 595 IPR were analyzed covering a particle size diameter range from 100 nm to 3 μm. The IPR were sampled during 273 hours while the station was covered by mixed-phase clouds at ambient temperatures between -27 °C and -6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. As outcome instrument specific marker peaks for the different investigated particle types were obtained and applied to the field data. The results show that the sampled IPR contain a larger relative amount of natural, primary aerosol, like soil dust (13 %) and minerals (11 %), in comparison to out-of-cloud aerosol particles (2 % and <1 %, respectively). Additionally, anthropogenic aerosol particles, like particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPR than in the out-of-cloud aerosol. The out of-cloud aerosol contained a large fraction of aged particles (30 %, including organic material and secondary inorganics), whereas this particle type was much less abundant (3 %) in the IPR. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPR in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPR.
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.
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.