Refine
Year of publication
Document Type
- Preprint (666)
- Article (388)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1067)
Is part of the Bibliography
- no (1067)
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 (1034)
- Frankfurt Institute for Advanced Studies (FIAS) (955)
- Informatik (931)
- Medizin (9)
- Geowissenschaften (7)
- Informatik und Mathematik (3)
- Georg-Speyer-Haus (2)
- Hochschulrechenzentrum (2)
- Biochemie und Chemie (1)
- Biowissenschaften (1)
Viscous hydrodynamic calculations of high energy heavy-ion collisions (Nb-Nb and Au-Au) from 200 to 800 MeV/nucleon are presented. The resulting baryon rapidity distributions, the in-plane transverse momentum transfer (bounce-off), and the azimuthal dependence of the midrapidity particles (off-plane squeeze out) compare well with Plastic Ball data. We find that the considered observables are sensitive both to the nuclear equation of state and to the nuclear shear viscosity η. Transverse momentum distributions indicate a high shear viscosity (η≊60 MeV/fm2 c) in the compression zone, in agreement with nuclear matter estimates. The bulk viscosity ζ influences only the entropy production during the expansion stage; collective observables like flow and dN/dY do not depend strongly on ζ. The recently observed off-plane (φ=90°) squeeze-out, which is found in the triple-differential rapidity distribution, exhibits the strongest sensitivity to the nuclear equation of state. It is demonstrated that for very central collisions, b=1 fm, the squeeze-out is visible even in the double-differential cross section. This is experimentally accessible by studying azimuthally symmetric events, as confirmed recently by data of the European 4π detector collaboration at Gesellchaft für Schwerionforschung Darmstadt.
Methodik
(2002)
Die vegetationskundliche und strukturelle Zuordnung der Lebensraumtypen erfolgt nach der vorrangig von Braun-Blanquet entwickelten Vegetationsklassifizierung, einer hierarchischen Gliederung der Vegetationstypen (Syntaxonomie), die die Ebenen der Assoziation, des Verbandes, der Ordnung und der Klasse umfasst. Hierbei ist die Assoziation die grundlegende Einheit, in der die Pflanzengesellschaften zusammengefasst werden, die sich durch gleiche charakteristische Arten(gruppen)kombinationen auszeichnen. Der Verband vereinigt ähnliche Assoziationen. Das sind bereits umfassendere, jedoch standörtlich noch recht einheitliche Vegetationseinheiten. In Ordnungen werden ähnliche Verbände zusammengefasst. Die Klasse vereinigt ähnliche Ordnungen.
Gemas Artikel 11 der FFH-Richtlinie ist ein Monitoring des Erhaltungszustandes der Arten von gemeinschaftlicher Bedeutung durchzufuhren. Weiterhin ist nach Artikel 12 eine fortlaufende Überwachung des unbeabsichtigten Fangs oder Tötens der Anhang IV-Tierarten vorgeschrieben, worauf gegebenenfalls weiterführende Erhaltungsmaßnahmen und Forschung aufbauen sollen. Im § 40 BNatSchG wird dieses Monitoring in die Verantwortung der Bundesländer übergeben.
A small electrostatic storage ring is the central machine of the Frankfurt Ion Storage Experiments (FIRE) which will be built at the new Stern-Gerlach Center of Frankfurt University. As a true multiuser, multipurpose facility with ion energies up to 50 keV, it will allow new methods to analyze complex many-particle systems from atoms to very large biomolecules. With envisaged storage times of some seconds and beam emittances in the order of a few mm mrad, measurements with up to 6 orders of magnitude better resolutions as compared to single-pass experiments become possible. In comparison to earlier designs, the ring lattice was modified in many details: Problems in earlier designs were related to, e.g., the detection of light particles and highly charged ions with different charge states. Therefore, the deflectors were redesigned completely, allowing a more flexible positioning of the diagnostics. Here, after an introduction to the concept of electrostatic machines, an overview of the planned FIRE is given and the ring lattice and elements are described in detail.
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
The translation eukaryotic elongation factor 1alpha (eEF1A) is a monomeric GTPase involved in protein synthesis. In addition, this protein is thought to participate in other cellular functions such as actin bundling, cell cycle regulation, and apoptosis. Here we show that eEF1A is associated with the alpha2 subunit of the inhibitory glycine receptor in pulldown experiments with rat brain extracts. Moreover, additional proteins involved in translation like ribosomal S6 protein and p70 ribosomal S6 protein kinase as well as ERK1/2 and calcineurin were identified in the same pulldown approaches. Glycine receptor activation in spinal cord neurons cultured for 1 week resulted in an increased phosphorylation of ribosomal S6 protein. Immunocytochemistry showed that eEF1A and ribosomal S6 protein are localized in the soma, dendrites, and at synapses of cultured hippocampal and spinal cord neurons. Consistent with our biochemical data, immunoreactivities of both proteins were partially overlapping with glycine receptor immunoreactivity in cultured spinal cord and hippocampal neurons. After 5 weeks in culture, eEF1A immunoreactivity was redistributed to the cytoskeleton in about 45% of neurons. Interestingly, the degree of redistribution could be increased at earlier stages of in vitro differentiation by inhibition of either the ERK1/2 pathway or glycine receptors and simultaneous N-methyl-D-aspartate receptor activation. Our findings suggest a functional coupling of eEF1A with both inhibitory and excitatory receptors, possibly involving the ERK-signaling pathway.
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 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.
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 must-convergence 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 extension.
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.
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.
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.
Gene-modified autologous hematopoietic stem cells (HSC) can provide ample clinical benefits to subjects suffering from X-linked chronic granulomatous disease (X-CGD), a rare inherited immunodeficiency characterized by recurrent, often life-threatening bacterial and fungal infections. Here we report on the molecular and cellular events observed in two young adults with X-CGD treated by gene therapy in 2004. After the initial resolution of bacterial and fungal infections, both subjects showed silencing of transgene expression due to methylation of the viral promoter, and myelodysplasia with monosomy 7 as a result of insertional activation of ecotropic viral integration site 1 (EVI1). One subject died from overwhelming sepsis 27 months after gene therapy, whereas a second subject underwent an allogeneic HSC transplantation. Our data show that forced overexpression of EVI1 in human cells disrupts normal centrosome duplication, linking EVI1 activation to the development of genomic instability, monosomy 7 and clonal progression toward myelodysplasia.
The first measurement of two-pion Bose–Einstein correlations in central Pb–Pb collisions at √sNN=2.76 TeV at the Large Hadron Collider is presented. We observe a growing trend with energy now not only for the longitudinal and the outward but also for the sideward pion source radius. The pion homogeneity volume and the decoupling time are significantly larger than those measured at RHIC.
Inclusive transverse momentum spectra of primary charged particles in Pb–Pb collisions at √sNN=2.76 TeV have been measured by the ALICE Collaboration at the LHC. The data are presented for central and peripheral collisions, corresponding to 0–5% and 70–80% of the hadronic Pb–Pb cross section. The measured charged particle spectra in |η|<0.8 and 0.3<pT<20 GeV/c are compared to the expectation in pp collisions at the same sNN, scaled by the number of underlying nucleon–nucleon collisions. The comparison is expressed in terms of the nuclear modification factor RAA. The result indicates only weak medium effects (RAA≈0.7) in peripheral collisions. In central collisions, RAA reaches a minimum of about 0.14 at pT=6–7 GeV/c and increases significantly at larger pT. The measured suppression of high-pT particles is stronger than that observed at lower collision energies, indicating that a very dense medium is formed in central Pb–Pb collisions at the LHC.
The inclusive charged particle transverse momentum distribution is measured in proton–proton collisions at s=900 GeV at the LHC using the ALICE detector. The measurement is performed in the central pseudorapidity region (|η|<0.8) over the transverse momentum range 0.15<pT<10 GeV/c. The correlation between transverse momentum and particle multiplicity is also studied. Results are presented for inelastic (INEL) and non-single-diffractive (NSD) events. The average transverse momentum for |η|<0.8 is 〈pT〉INEL=0.483±0.001 (stat.)±0.007 (syst.) GeV/c and 〈pT〉NSD=0.489±0.001 (stat.)±0.007 (syst.) GeV/c, respectively. The data exhibit a slightly larger 〈pT〉 than measurements in wider pseudorapidity intervals. The results are compared to simulations with the Monte Carlo event generators PYTHIA and PHOJET.
Rapidity and transverse momentum dependence of inclusive J/ψ production in pp collisions at √s=7 TeV
(2011)
The ALICE experiment at the LHC has studied inclusive J/ψ production at central and forward rapidities in pp collisions at √s=7 TeV. In this Letter, we report on the first results obtained detecting the J/ψ through the dilepton decay into e+e− and μ+μ− pairs in the rapidity ranges |y|<0.9 and 2.5<y<4, respectively, and with acceptance down to zero pT. In the dielectron channel the analysis was carried out on a data sample corresponding to an integrated luminosity Lint=5.6 nb−1 and the number of signal events is NJ/ψ=352±32(stat.)±28(syst.); the corresponding figures in the dimuon channel are Lint=15.6 nb−1 and NJ/ψ=1924±77(stat.)±144(syst.). The measured production cross sections are σJ/ψ(|y|<0.9)=10.7±1.0(stat.)±1.6(syst.)−2.3+1.6(syst.pol.)μb and σJ/ψ(2.5<y<4)=6.31±0.25(stat.)±0.76(syst.)−1.96+0.95(syst.pol.)μb. The differential cross sections, in transverse momentum and rapidity, of the J/ψ were also measured.
The pT-differential inclusive production cross section of the prompt charm-strange meson Ds+ in the rapidity range |y|<0.5 was measured in proton–proton collisions at s=7 TeV at the LHC using the ALICE detector. The analysis was performed on a data sample of 2.98×108 events collected with a minimum-bias trigger. The corresponding integrated luminosity is Lint=4.8 nb−1. Reconstructing the decay Ds+→ϕπ+, with ϕ→K−K+, and its charge conjugate, about 480 Ds± mesons were counted, after selection cuts, in the transverse momentum range 2<pT<12 GeV/c. The results are compared with predictions from models based on perturbative QCD. The ratios of the cross sections of four D meson species (namely D0, D+, D⁎+ and Ds+) were determined both as a function of pT and integrated over pT after extrapolating to full pT range, together with the strangeness suppression factor in charm fragmentation. The obtained values are found to be compatible within uncertainties with those measured by other experiments in e+e−, ep and pp interactions at various centre-of-mass energies.