Refine
Year of publication
Document Type
- Preprint (655)
- Article (392)
- Working Paper (10)
- Conference Proceeding (3)
- Doctoral Thesis (1)
Has Fulltext
- yes (1061)
Is part of the Bibliography
- no (1061)
Keywords
- Heavy Ion Experiments (20)
- Hadron-Hadron scattering (experiments) (11)
- Hadron-Hadron Scattering (9)
- LHC (9)
- Lambda-Kalkül (8)
- Heavy-ion collision (6)
- Operationale Semantik (6)
- Programmiersprache (5)
- ALICE experiment (4)
- Quark-Gluon Plasma (4)
Institute
- Physik (1026)
- Frankfurt Institute for Advanced Studies (FIAS) (932)
- Informatik (908)
- Medizin (16)
- Biochemie und Chemie (3)
- Informatik und Mathematik (3)
- ELEMENTS (2)
- Hochschulrechenzentrum (2)
- Biochemie, Chemie und Pharmazie (1)
- Biodiversität und Klima Forschungszentrum (BiK-F) (1)
Epigenetic signatures such as methylation of the monoamine oxidase A (MAOA) gene have been found to be altered in panic disorder (PD). Hypothesizing temporal plasticity of epigenetic processes as a mechanism of successful fear extinction, the present psychotherapy-epigenetic study for we believe the first time investigated MAOA methylation changes during the course of exposure-based cognitive behavioral therapy (CBT) in PD. MAOA methylation was compared between N=28 female Caucasian PD patients (discovery sample) and N=28 age- and sex-matched healthy controls via direct sequencing of sodium bisulfite-treated DNA extracted from blood cells. MAOA methylation was furthermore analyzed at baseline (T0) and after a 6-week CBT (T1) in the discovery sample parallelized by a waiting time in healthy controls, as well as in an independent sample of female PD patients (N=20). Patients exhibited lower MAOA methylation than healthy controls (P<0.001), and baseline PD severity correlated negatively with MAOA methylation (P=0.01). In the discovery sample, MAOA methylation increased up to the level of healthy controls along with CBT response (number of panic attacks; T0–T1: +3.37±2.17%), while non-responders further decreased in methylation (−2.00±1.28%; P=0.001). In the replication sample, increases in MAOA methylation correlated with agoraphobic symptom reduction after CBT (P=0.02–0.03). The present results support previous evidence for MAOA hypomethylation as a PD risk marker and suggest reversibility of MAOA hypomethylation as a potential epigenetic correlate of response to CBT. The emerging notion of epigenetic signatures as a mechanism of action of psychotherapeutic interventions may promote epigenetic patterns as biomarkers of lasting extinction effects.
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.
The accurate knowledge of the neutron-induced fission cross-sections of actinides and other isotopes involved in the nuclear fuel cycle is essential for the design of advanced nuclear systems, such as Generation-IV nuclear reactors. Such experimental data can also provide the necessary feedback for the adjustment of nuclear model parameters used in the evaluation process, resulting in the further development of nuclear fission models. In the present work, the 240Pu(n,f) cross-section was measured at CERN's n_TOF facility relative to the well-known 235U(n,f) cross section, over a wide range of neutron energies, from meV to almost MeV, using the time-of-flight technique and a set-up based on Micromegas detectors. This measurement was the first experiment to be performed at n_TOF's new experimental area (EAR-2), which offers a significantly higher neutron flux compared to the already existing experimental area (EAR-1). Preliminary results as well as the experimental procedure, including a description of the facility and the data handling and analysis, are presented.
Knowledge about the biogeographic affinities of the world’s tropical forests helps to better understand regional differences in forest structure, diversity, composition, and dynamics. Such understanding will enable anticipation of region-specific responses to global environmental change. Modern phylogenies, in combination with broad coverage of species inventory data, now allow for global biogeographic analyses that take species evolutionary distance into account. Here we present a classification of the world’s tropical forests based on their phylogenetic similarity. We identify five principal floristic regions and their floristic relationships: (i) Indo-Pacific, (ii) Subtropical, (iii) African, (iv) American, and (v) Dry forests. Our results do not support the traditional neo- versus paleotropical forest division but instead separate the combined American and African forests from their Indo-Pacific counterparts. We also find indications for the existence of a global dry forest region, with representatives in America, Africa, Madagascar, and India. Additionally, a northern-hemisphere Subtropical forest region was identified with representatives in Asia and America, providing support for a link between Asian and American northern-hemisphere forests.
In evidence-based weight-loss programs weight regain is common after an initial weight reduction. Eating slowly significantly lowers meal energy intake and hunger ratings. Despite this knowledge, obese individuals do not implement this behaviour. We, thus tested the hypothesis of changing eating behaviour with an intra-oral medical device leading to constant weight reduction in overweight and obesity.
Six obese patients (6 men, age 56 ± 14, BMI 29 ± 2 kg / m2) with increased CVRF profile were included in this prospective study. All patients had been treated for obesity during the last 10 years in a single centre and had at least 3 frustrate evidence-based diets. Patients received a novel non-invasive intra-oral medical device to slow eating time. Further advice included not to count calories, to avoid any other form of diet, to take their time with their meals, and to eat whatever they liked.
This device was used only during meals for the first 4 to 8 weeks for a total of 88 [20–160] hours. Follow-up period was 23 [15–38] months. During this period, patients lost 11% [5–20%] (p<0.001) of their initial weight. At 12 months, all patients had lost >5%, and 67% (4/6) achieved a >10% bodyweight loss. In the course of the study, altered eating patterns were observed. There were no complications with the medical device. Of note, all patients continued to lose weight after the initial intervention period (p<0.001) and none of them had weight regain.
With this medical device, overweight and obese patients with a history of previously frustrating attempts to lose weight achieved a significant and sustained weight loss over two years. These results warrant the ongoing prospective randomised controlled trial to prove concept and mechanism of action.
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.
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.
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: The potential anti-cancer effects of mammalian target of rapamycin (mTOR) inhibitors are being intensively studied. To date, however, few randomised clinical trials (RCT) have been performed to demonstrate anti-neoplastic effects in the pure oncology setting, and at present, no oncology endpoint-directed RCT has been reported in the high-malignancy risk population of immunosuppressed transplant recipients. Interestingly, since mTOR inhibitors have both immunosuppressive and anti-cancer effects, they have the potential to simultaneously protect against immunologic graft loss and tumour development. Therefore, we designed a prospective RCT to determine if the mTOR inhibitor sirolimus can improve hepatocellular carcinoma (HCC)-free patient survival in liver transplant (LT) recipients with a pre-transplant diagnosis of HCC. Methods: The study is an open-labelled, randomised, RCT comparing sirolimus-containing versus mTOR-inhibitor-free immunosuppression in patients undergoing LT for HCC. Patients with a histologically confirmed HCC diagnosis are randomised into 2 groups within 4-6 weeks after LT; one arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol and the second arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol for the first 4-6 weeks, at which time sirolimus is initiated. A 3-year recruitment phase is planned with a 5-year follow-up, testing HCC-free survival as the primary endpoint. Our hypothesis is that sirolimus use in the second arm of the study will improve HCC-free survival. The study is a non-commercial investigator-initiated trial (IIT) sponsored by the University Hospital Regensburg and is endorsed by the European Liver and Intestine Transplant Association; 13 countries within Europe, Canada and Australia are participating. Discussion: If our hypothesis is correct that mTOR inhibition can reduce HCC tumour growth while simultaneously providing immunosuppression to protect the liver allograft from rejection, patients should experience less post-transplant problems with HCC recurrence, and therefore could expect a longer and better quality of life. A positive outcome will likely change the standard of posttransplant immunosuppressive care for LT patients with HCC. (trial registered at www.clinicaltrials.gov: NCT00355862) (EudraCT Number: 2005-005362-36)