Refine
Year of publication
Document Type
- Preprint (669)
- Article (402)
- Working Paper (10)
- Conference Proceeding (3)
- Doctoral Thesis (1)
Has Fulltext
- yes (1085)
Is part of the Bibliography
- no (1085)
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 (1048)
- Frankfurt Institute for Advanced Studies (FIAS) (954)
- Informatik (930)
- Medizin (18)
- 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)
- Biowissenschaften (1)
- Extern (1)
- Institut für Ökologie, Evolution und Diversität (1)
- Pharmazie (1)
- Zentrum für Biomolekulare Magnetische Resonanz (BMRZ) (1)
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: Eukaryotic gene expression is controlled by cis-regulatory elements (CREs), including promoters and enhancers, which are bound by transcription factors (TFs). Differential expression of TFs and their binding affinity at putative CREs determine tissue- and developmental-specific transcriptional activity. Consolidating genomic data sets can offer further insights into the accessibility of CREs, TF activity, and, thus, gene regulation. However, the integration and analysis of multi-modal data sets are hampered by considerable technical challenges. While methods for highlighting differential TF activity from combined chromatin state data (e.g., ChIP-seq, ATAC-seq, or DNase-seq) and RNA-seq data exist, they do not offer convenient usability, have limited support for large-scale data processing, and provide only minimal functionality for visually interpreting results.
Results: We developed TF-Prioritizer, an automated pipeline that prioritizes condition-specific TFs from multi-modal data and generates an interactive web report. We demonstrated its potential by identifying known TFs along with their target genes, as well as previously unreported TFs active in lactating mouse mammary glands. Additionally, we studied a variety of ENCODE data sets for cell lines K562 and MCF-7, including twelve histone modification ChIP-seq as well as ATAC-seq and DNase-seq datasets, where we observe and discuss assay-specific differences.
Conclusion: TF-Prioritizer accepts ATAC-seq, DNase-seq, or ChIP-seq and RNA-seq data as input and identifies TFs with differential activity, thus offering an understanding of genome-wide gene regulation, potential pathogenesis, and therapeutic targets in biomedical research.
Background Eukaryotic gene expression is controlled by cis-regulatory elements (CREs) including promoters and enhancers which are bound by transcription factors (TFs). Differential expression of TFs and their putative binding sites on CREs cause tissue and developmental-specific transcriptional activity. Consolidating genomic data sets can offer further insights into the accessibility of CREs, TF activity, and thus gene regulation. However, the integration and analysis of multi-modal data sets are hampered by considerable technical challenges. While methods for highlighting differential TF activity from combined ChIP-seq and RNA-seq data exist, they do not offer good usability, have limited support for large-scale data processing, and provide only minimal functionality for visual result interpretation.
Results We developed TF-Prioritizer, an automated java pipeline to prioritize condition-specific TFs derived from multi-modal data. TF-Prioritizer creates an interactive, feature-rich, and user-friendly web report of its results. To showcase the potential of TF-Prioritizer, we identified known active TFs (e.g., Stat5, Elf5, Nfib, Esr1), their target genes (e.g., milk proteins and cell-cycle genes), and newly classified lactating mammary gland TFs (e.g., Creb1, Arnt).
Conclusion TF-Prioritizer accepts ChIP-seq and RNA-seq data, as input and suggests TFs with differential activity, thus offering an understanding of genome-wide gene regulation, potential pathogenesis, and therapeutic targets in biomedical research.
In vivo inducible reverse genetics in patients' tumors to identify individual therapeutic targets
(2021)
High-throughput sequencing describes multiple alterations in individual tumors, but their functional relevance is often unclear. Clinic-close, individualized molecular model systems are required for functional validation and to identify therapeutic targets of high significance for each patient. Here, we establish a Cre-ERT2-loxP (causes recombination, estrogen receptor mutant T2, locus of X-over P1) based inducible RNAi- (ribonucleic acid interference) mediated gene silencing system in patient-derived xenograft (PDX) models of acute leukemias in vivo. Mimicking anti-cancer therapy in patients, gene inhibition is initiated in mice harboring orthotopic tumors. In fluorochrome guided, competitive in vivo trials, silencing of the apoptosis regulator MCL1 (myeloid cell leukemia sequence 1) correlates to pharmacological MCL1 inhibition in patients´ tumors, demonstrating the ability of the method to detect therapeutic vulnerabilities. The technique identifies a major tumor-maintaining potency of the MLL-AF4 (mixed lineage leukemia, ALL1-fused gene from chromosome 4) fusion, restricted to samples carrying the translocation. DUX4 (double homeobox 4) plays an essential role in patients’ leukemias carrying the recently described DUX4-IGH (immunoglobulin heavy chain) translocation, while the downstream mediator DDIT4L (DNA-damage-inducible transcript 4 like) is identified as therapeutic vulnerability. By individualizing functional genomics in established tumors in vivo, our technique decisively complements the value chain of precision oncology. Being broadly applicable to tumors of all kinds, it will considerably reinforce personalizing anti-cancer treatment in the future.
High precision measurement of the radiative capture cross section of 238U at the n_TOF CERN facility
(2017)
The importance of improving the accuracy on the capture cross-section of 238U has been addressed by the Nuclear Energy Agency, since its uncertainty significantly affects the uncertainties of key design parameters for both fast and thermal nuclear reactors. Within the 7th framework programme ANDES of the European Commission three different measurements have been carried out with the aim of providing the 238U(n,γ) cross-section with an accuracy which varies from 1 to 5%, depending on the energy range. Hereby the final results of the measurement performed at the n_TOF CERN facility in a wide energy range from 1 eV to 700 keV will be presented.
The 236U isotope plays an important role in nuclear systems, both for future and currently operating ones. The actual knowledge of the capture reaction of this isotope is satisfactory in the thermal region, but it is considered insufficient for Fast Reactor and ADS applications. For this reason the 236U(n, γ) reaction cross-section has been measured for the first time in the whole energy region from thermal energy up to 1 MeV at the n_TOF facility with two different detection systems: an array of C6D6 detectors, employing the total energy deposited method, and a FX1 total absorption calorimeter (TAC), made of 40 BaF2 crystals. The two n_TOF data sets agree with each other within the statistical uncertainty in the Resolved Resonance Region up to 800 eV, while sizable differences (up to ≃ 20%) are found relative to the current evaluated data libraries. Moreover two new resonances have been found in the n_TOF data. In the Unresolved Resonance Region up to 200 keV, the n_TOF results show a reasonable agreement with previous measurements and evaluated data.
The 33S(n,α)30Si cross section measurement, using 10B(n,α) as reference, at the n_TOF Experimental Area 2 (EAR2) facility at CERN is presented. Data from 0.01 eV to 100 keV are provided and, for the first time, the cross section is measured in the range from 0.01 eV to 10 keV. These data may be used for a future evaluation of the cross section because present evaluations exhibit large discrepancies. The 33S(n,α)30Si reaction is of interest in medical physics because of its possible use as a cooperative target to boron in Neutron Capture Therapy (NCT).
The Cosmological Lithium Problem refers to the large discrepancy between the abundance of primordial 7Li predicted by the standard theory of Big Bang Nucleosynthesis and the value inferred from the so-called “Spite plateau” in halo stars. A possible explanation for this longstanding puzzle in Nuclear Astrophysics is related to the incorrect estimation of the destruction rate of 7Be, which is responsible for the production of 95% of primordial Lithium. While charged-particle induced reactions have mostly been ruled out, data on the 7Be(n,α) and 7Be(n,p) reactions are scarce or completely missing, so that a large uncertainty still affects the abundance of 7Li predicted by the standard theory of Big Bang Nucleosynthesis. Both reactions have been measured at the n_TOF facility at CERN, providing for the first time data in a wide neutron energy range.
73Ge(n, γ ) cross sections were measured at the neutron time-of-flight facility n_TOF at CERN up to neutron energies of 300 keV, providing for the first time experimental data above 8 keV. Results indicate that the stellar cross section at kT = 30 keV is 1.5 to 1.7 times higher than most theoretical predictions. The new cross sections result in a substantial decrease of 73Ge produced in stars, which would explain the low isotopic abundance of 73Ge in the solar system.
he study of the resonant structures in neutron-nucleus cross-sections, and therefore of the compound-nucleus reaction mechanism, requires spectroscopic measurements to determine with high accuracy the energy of the neutron interacting with the material under study.
To this purpose, the neutron time-of-flight facility n_TOF has been operating since 2001 at CERN. Its characteristics, such as the high intensity instantaneous neutron flux, the wide energy range from thermal to few GeV, and the very good energy resolution, are perfectly suited to perform high-quality measurements of neutron-induced reaction cross sections. The precise and accurate knowledge of these cross sections plays a fundamental role in nuclear technologies, nuclear astrophysics and nuclear physics.
Two different measuring stations are available at the n_TOF facility, called EAR1 and EAR2, with different characteristics of intensity of the neutron flux and energy resolution. These experimental areas, combined with advanced detection systems lead to a great flexibility in performing challenging measurement of high precision and accuracy, and allow the investigation isotopes with very low cross sections, or available only in small quantities, or with very high specific activity.
The characteristics and performances of the two experimental areas of the n_TOF facility will be presented, together with the most important measurements performed to date and their physics case. In addition, the significant upcoming measurements will be introduced.
Neutron-induced reaction cross sections are important for a wide variety of research fields ranging from the study of nuclear level densities, nucleosynthesis to applications of nuclear technology like design, and criticality and safety assessment of existing and future nuclear reactors, radiation dosimetry, medical applications, nuclear waste transmutation, accelerator-driven systems and fuel cycle investigations. Simulations and calculations of nuclear technology applications largely rely on evaluated nuclear data libraries. The evaluations in these libraries are based both on experimental data and theoretical models. CERN’s neutron time-of-flight facility n_TOF has produced a considerable amount of experimental data since it has become fully operational with the start of its scientific measurement programme in 2001. While for a long period a single measurement station (EAR1) located at 185 m from the neutron production target was available, the construction of a second beam line at 20 m (EAR2) in 2014 has substantially increased the measurement capabilities of the facility. An outline of the experimental nuclear data activities at n_TOF will be presented.
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.
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.
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.