Refine
Year of publication
Document Type
- Preprint (669)
- Article (387)
- Working Paper (5)
Has Fulltext
- yes (1061)
Is part of the Bibliography
- no (1061)
Keywords
- Heavy Ion Experiments (20)
- Hadron-Hadron Scattering (11)
- Hadron-Hadron scattering (experiments) (11)
- LHC (9)
- Heavy-ion collision (6)
- ALICE experiment (4)
- Collective Flow (4)
- Jets (4)
- Quark-Gluon Plasma (4)
- ALICE (3)
Institute
- Physik (1030)
- Frankfurt Institute for Advanced Studies (FIAS) (958)
- Informatik (928)
- Medizin (18)
- Informatik und Mathematik (3)
- Biowissenschaften (2)
- ELEMENTS (2)
- Hochschulrechenzentrum (2)
- Pharmazie (2)
- Biochemie und Chemie (1)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (1)
- Institute for Monetary and Financial Stability (IMFS) (1)
- Psychologie und Sportwissenschaften (1)
- Rechtswissenschaft (1)
- Senckenbergische Naturforschende Gesellschaft (1)
- Wirtschaftswissenschaften (1)
- Zentrum für Biomolekulare Magnetische Resonanz (BMRZ) (1)
The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in a an extended lambda-calculus with case, constructors, seq, let, and choice, with a simple set of reduction rules. Unfortunately, a direct proof appears to be impossible. The correctness proof is by defining another calculus comprising the complex variants of copy, case-reduction and seq-reductions that use variablebinding chains. This complex calculus has well-behaved diagrams and allows a proof that of correctness of transformations, and also that the simple calculus defines an equivalent contextual order.
Plants, fungi and algae are important components of global biodiversity and are fundamental to all ecosystems. They are the basis for human well-being, providing food, materials and medicines. Specimens of all three groups of organisms are accommodated in herbaria, where they are commonly referred to as botanical specimens.The large number of specimens in herbaria provides an ample, permanent and continuously improving knowledge base on these organisms and an indispensable source for the analysis of the distribution of species in space and time critical for current and future research relating to global biodiversity. In order to make full use of this resource, a research infrastructure has to be built that grants comprehensive and free access to the information in herbaria and botanical collections in general. This can be achieved through digitization of the botanical objects and associated data.The botanical research community can count on a long-standing tradition of collaboration among institutions and individuals. It agreed on data standards and standard services even before the advent of computerization and information networking, an example being the Index Herbariorum as a global registry of herbaria helping towards the unique identification of specimens cited in the literature.In the spirit of this collaborative history, 51 representatives from 30 institutions advocate to start the digitization of botanical collections with the overall wall-to-wall digitization of the flat objects stored in German herbaria. Germany has 70 herbaria holding almost 23 million specimens according to a national survey carried out in 2019. 87% of these specimens are not yet digitized. Experiences from other countries like France, the Netherlands, Finland, the US and Australia show that herbaria can be comprehensively and cost-efficiently digitized in a relatively short time due to established workflows and protocols for the high-throughput digitization of flat objects.Most of the herbaria are part of a university (34), fewer belong to municipal museums (10) or state museums (8), six herbaria belong to institutions also supported by federal funds such as Leibniz institutes, and four belong to non-governmental organizations. A common data infrastructure must therefore integrate different kinds of institutions.Making full use of the data gained by digitization requires the set-up of a digital infrastructure for storage, archiving, content indexing and networking as well as standardized access for the scientific use of digital objects. A standards-based portfolio of technical components has already been developed and successfully tested by the Biodiversity Informatics Community over the last two decades, comprising among others access protocols, collection databases, portals, tools for semantic enrichment and annotation, international networking, storage and archiving in accordance with international standards. This was achieved through the funding by national and international programs and initiatives, which also paved the road for the German contribution to the Global Biodiversity Information Facility (GBIF).Herbaria constitute a large part of the German botanical collections that also comprise living collections in botanical gardens and seed banks, DNA- and tissue samples, specimens preserved in fluids or on microscope slides and more. Once the herbaria are digitized, these resources can be integrated, adding to the value of the overall research infrastructure. The community has agreed on tasks that are shared between the herbaria, as the German GBIF model already successfully demonstrates.We have compiled nine scientific use cases of immediate societal relevance for an integrated infrastructure of botanical collections. They address accelerated biodiversity discovery and research, biomonitoring and conservation planning, biodiversity modelling, the generation of trait information, automated image recognition by artificial intelligence, automated pathogen detection, contextualization by interlinking objects, enabling provenance research, as well as education, outreach and citizen science.We propose to start this initiative now in order to valorize German botanical collections as a vital part of a worldwide biodiversity data pool.
The nucleosynthesis of elements beyond iron is dominated by neutron captures in the s and r processes. However, 32 stable, proton-rich isotopes cannot be formed during those processes, because they are shielded from the s-process flow and r-process β-decay chains. These nuclei are attributed to the p and rp process.
For all those processes, current research in nuclear astrophysics addresses the need for more precise reaction data involving radioactive isotopes. Depending on the particular reaction, direct or inverse kinematics, forward or time-reversed direction are investigated to determine or at least to constrain the desired reaction cross sections.
The Facility for Antiproton and Ion Research (FAIR) will offer unique, unprecedented opportunities to investigate many of the important reactions. The high yield of radioactive isotopes, even far away from the valley of stability, allows the investigation of isotopes involved in processes as exotic as the r or rp processes.
Aim: In the CheckRad-CD8 trial patients with locally advanced head and neck squamous cell cancer are treated with a single cycle of induction chemo-immunotherapy (ICIT). Patients with pathological complete response (pCR) in the re-biopsy enter radioimmunotherapy. Our goal was to study the value of F-18-FDG PET/CT in the prediction of pCR after induction therapy.
Methods: Patients treated within the CheckRad-CD8 trial that additionally received FDG- PET/CT imaging at the following two time points were included: 3–14 days before (pre-ICIT) and 21–28 days after (post-ICIT) receiving ICIT. Tracer uptake in primary tumors (PT) and suspicious cervical lymph nodes (LN +) was measured using different quantitative parameters on EANM Research Ltd (EARL) accredited PET reconstructions. In addition, mean FDG uptake levels in lymphatic and hematopoietic organs were examined. Percent decrease (Δ) in FDG uptake was calculated for all parameters. Biopsy of the PT post-ICIT acquired after FDG-PET/CT served as reference. The cohort was divided in patients with pCR and residual tumor (ReTu).
Results: Thirty-one patients were included. In ROC analysis, ΔSUVmax PT performed best (AUC = 0.89) in predicting pCR (n = 17), with a decline of at least 60% (sensitivity, 0.77; specificity, 0.93). Residual SUVmax PT post-ICIT performed best in predicting ReTu (n = 14), at a cutpoint of 6.0 (AUC = 0.91; sensitivity, 0.86; specificity, 0.88). Combining two quantitative parameters (ΔSUVmax ≥ 50% and SUVmax PT post-ICIT ≤ 6.0) conferred a sensitivity of 0.81 and a specificity of 0.93 for determining pCR. Background activity in lymphatic organs or uptake in suspected cervical lymph node metastases lacked significant predictive value.
Conclusion: FDG-PET/CT can identify patients with pCR after ICIT via residual FDG uptake levels in primary tumors and the related changes compared to baseline. FDG-uptake in LN + had no predictive value.
Trial registry: ClinicalTrials.gov identifier: NCT03426657.
Objective: Combination antiretroviral therapy (cART) has markedly increased survival and quality of life in people living with HIV. With the advent of new treatment options, including single-tablet regimens, durability and efficacy of first-line cART regimens are evolving.
Methods: We analyzed data from the prospective multicenter German Clinical Surveillance of HIV Disease (ClinSurv) cohort of the Robert-Koch Institute. Kaplan–Meier and Cox proportional hazards models were run to examine the factors associated with treatment modification. Recovery after treatment initiation was analyzed comparing pre-cART viral load and CD4+ T-cell counts with follow-up data.
Results: We included 8788 patients who initiated cART between 2005 and 2017. The sample population was predominantly male (n = 7040; 80.1%), of whom 4470 (63.5%) were reporting sex with men as the transmission risk factor. Overall, 4210 (47.9%) patients modified their first-line cART after a median time of 63 months (IQR 59–66). Regimens containing integrase strand transfer inhibitors (INSTI) were associated with significantly lower rates of treatment modification (adjusted hazard ratio 0.44; 95% CI 0.39–0.50) compared to protease inhibitor (PI)-based regimens. We found a decreased durability of first-line cART significantly associated with being female, a low CD4+ T-cell count, cART initiation in the later period (2011–2017), being on a multi-tablet regimen (MTR).
Conclusions: Drug class and MTRs are significantly associated with treatment modification. INSTI-based regimens showed to be superior compared to PI-based regimens in terms of durability.
Correction to: Infection (2020) 48:723–733 https://doi.org/10.1007/s15010-020-01469-6. The original version of this article unfortunately contained a mistake. In this article the authors Dirk Schürmann at affiliation Charité, University Medicine, Berlin, Olaf Degen at affiliation University Clinic Hamburg Eppendorf, Hamburg and Heinz-August Horst at affiliation University Hospital Schleswig–Holstein, Kiel, Germany were missing from the author list. The original article has been corrected.
Carbon-fiber-reinforced plastics are widely used in lightweight marine structures due to their high strength and superior fatigue behavior. In this article, we will present an innovative methodology for simultaneous load and structural monitoring of a carbon-fiber-reinforced plastic rudder stock as part of a big commercial vessel. Experimental results are presented here from a quasi-static tensile test in which the load monitoring is performed using embedded strain sensors. Structural monitoring is based on high-frequency electromechanical impedance spectroscopy combined with dedicated signal processing and surface-mounted piezoelectric transducers. We have achieved the following results: (1) the demonstration of a hybrid monitoring system including load and structural monitoring, (2) successful embedding of strain gauges during composite manufacturing of the carbon-fiber-reinforced plastic rudder stock, (3) development of instrumentation hardware for multichannel electromechanical impedance measurements, and (4) successful damage detection by means of electromechanical impedance spectroscopy in thick carbon-fiber-reinforced plastic rudder stock samples exploiting strain data.
The bile acid activated transcription factor farnesoid X receptor (FXR) regulates numerous metabolic processes and is a rising target for the treatment of hepatic and metabolic disorders. FXR agonists have revealed efficacy in treating non-alcoholic steatohepatitis (NASH), diabetes and dyslipidemia. Here we characterize imatinib as first-in-class allosteric FXR modulator and report the development of an optimized descendant that markedly promotes agonist induced FXR activation in a reporter gene assay and FXR target gene expression in HepG2 cells. Differential effects of imatinib on agonist-induced bile salt export protein and small heterodimer partner expression suggest that allosteric FXR modulation could open a new avenue to gene-selective FXR modulators.
Invasive treatment of NSTEMI patients in German chest pain units – evidence for a treatment paradox
(2018)
Background: Patients with non ST-segment elevation myocardial infarction (NSTEMI) represent the largest fraction of patients with acute coronary syndrome in German Chest Pain units. Recent evidence on early vs. selective percutaneous coronary intervention (PCI) is ambiguous with respect to effects on mortality, myocardial infarction (MI) and recurrent angina. With the present study we sought to investigate the prognostic impact of PCI and its timing in German Chest Pain Unit (CPU) NSTEMI patients.
Methods and results: Data from 1549 patients whose leading diagnosis was NSTEMI were retrieved from the German CPU registry for the interval between 3/2010 and 3/2014. Follow-up was available at median of 167 days after discharge. The patients were grouped into a higher (Group A) and lower risk group (Group B) according to GRACE score and additional criteria on admission. Group A had higher Killip classes, higher BNP levels, reduced EF and significant more triple vessel disease (p < 0.001). Surprisingly, patients in group A less frequently received early diagnostic catheterization and PCI. While conservative management did not affect prognosis in Group B, higher-risk CPU-NSTEMI patients without PCI had a significantly worse survival.
Conclusions: The present results reveal a substantial treatment gap in higher-risk NSTEMI patients in German Chest Pain Units. This treatment paradox may worsen prognosis in patients who could derive the largest benefit from early revascularization.
Extending the method of Howe, we establish a large class of untyped higher-order calculi, in particular such with call-by-need evaluation, where similarity, also called applicative simulation, can be used as a proof tool for showing contextual preorder. The paper also demonstrates that Mann’s approach using an intermediate “approximation” calculus scales up well from a basic call-by-need non-deterministic lambdacalculus to more expressive lambda calculi. I.e., it is demonstrated, that after transferring the contextual preorder of a non-deterministic call-byneed lambda calculus to its corresponding approximation calculus, it is possible to apply Howe’s method to show that similarity is a precongruence. The transfer is not treated in this paper. The paper also proposes an optimization of the similarity-test by cutting off redundant computations. Our results also applies to deterministic or non-deterministic call-by-value lambda-calculi, and improves upon previous work insofar as it is proved that only closed values are required as arguments for similaritytesting instead of all closed expressions.