Refine
Year of publication
Document Type
- Preprint (651)
- Article (376)
- Working Paper (5)
Has Fulltext
- yes (1032)
Is part of the Bibliography
- no (1032)
Keywords
- Heavy Ion Experiments (20)
- Hadron-Hadron scattering (experiments) (11)
- Hadron-Hadron Scattering (9)
- LHC (9)
- Heavy-ion collision (6)
- ALICE experiment (4)
- Quark-Gluon Plasma (4)
- ALICE (3)
- Collective Flow (3)
- Heavy Ions (3)
Institute
- Physik (1004)
- Frankfurt Institute for Advanced Studies (FIAS) (932)
- Informatik (902)
- Medizin (15)
- Informatik und Mathematik (3)
- Biowissenschaften (2)
- ELEMENTS (2)
- Hochschulrechenzentrum (2)
- Pharmazie (2)
- Biochemie und Chemie (1)
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.
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.
The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in an extended lambda-calculus LS with case, constructors, seq, let, and choice, with a simple set of reduction rules; and to argue that an approximation calculus LA is equivalent to LS w.r.t. the contextual preorder, which enables the proof tool of simulation. Unfortunately, a direct proof appears to be impossible.
The correctness proof is by defining another calculus L comprising the complex variants of copy, case-reduction and seq-reductions that use variable-binding chains. This complex calculus has well-behaved diagrams and allows a proof of correctness of transformations, and that the simple calculus LS, the calculus L, and the calculus LA all have an equivalent contextual preorder.
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.
The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in an extended lambda-calculus LS with case, constructors, seq, let, and choice, with a simple set of reduction rules; and to argue that an approximation calculus LA is equivalent to LS w.r.t. the contextual preorder, which enables the proof tool of simulation. Unfortunately, a direct proof appears to be impossible.
The correctness proof is by defining another calculus L comprising the complex variants of copy, case-reduction and seq-reductions that use variable-binding chains. This complex calculus has well-behaved diagrams and allows a proof of correctness of transformations, and that the simple calculus LS, the calculus L, and the calculus LA all have an equivalent contextual preorder.
Fucoxanthin chlorophyll proteins (Fcps), the light-harvesting antennas of heterokont algae, are encoded by a multigene family and are highly similar with respect to their molecular masses as well as to their pigmentation, making it difficult to purify single Fcps. In this study, a hexa-histidine tag was genetically added to the C-terminus of the FcpA protein of the pennate diatom Phaeodactylum tricornutum. A transgenic strain expressing the recombinant His-tagged FcpA protein in addition to the endogenous wild type Fcps was created. This strategy allowed, for the first time, the purification of a specific, stable trimeric Fcp complex. In addition, a pool of various trimeric Fcps was also purified from the wild-type cells using sucrose density gradient ultracentrifugation and gel filtration. In both the His-tagged and the wild-type Fcps, excitation energy coupling between fucoxanthin and chlorophyll a was intact and the existence of a chlorophyll a/fucoxanthin excitonic dimer was demonstrated using circular dichroism spectroscopy. Mass spectrometric analyses of the trimeric His-tagged complex indicated that it is composed of FcpA and FcpE polypeptides. It is confirmed here that a trimer is the basic organizational unit of Fcps in P. tricornutum. From circular dichroism spectra, it is proposed that the organization of the pigments on the polypeptide backbone of Fcps is a conserved feature in the case of chlorophyll a/c containing algae.
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.