Refine
Year of publication
Document Type
- Preprint (651)
- Article (380)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1044)
Is part of the Bibliography
- no (1044)
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 (1011)
- Frankfurt Institute for Advanced Studies (FIAS) (932)
- Informatik (908)
- 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.
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.
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.