Refine
Year of publication
Document Type
- Preprint (669)
- Article (388)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1070)
Is part of the Bibliography
- no (1070)
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 (1037)
- Frankfurt Institute for Advanced Studies (FIAS) (958)
- Informatik (934)
- Medizin (9)
- Geowissenschaften (7)
- Informatik und Mathematik (3)
- Georg-Speyer-Haus (2)
- Hochschulrechenzentrum (2)
- Biochemie und Chemie (1)
- Biowissenschaften (1)
Based on a study of 2150 specimens of the genus Trechus Clairville, 1806 from the Bale Mts, Mount Chillalo, and Mount Enkuolo, southern Ethiopia, the current knowledge regarding systematics and distribution of the genus in the area is summarized. Twenty-six new species are described and figured in detail: Trechus abalkhasimi sp. nov. (southeastern slope of Bale Mts, below Mt Abalkhasim); T. adaba sp. nov. (western Bale Mts, above Adaba); T. angavoensis sp. nov. (western Bale Mts, above Dodola); T. balesilvestris sp. nov. (western Bale Mts, above Adaba); T. bombi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. colobus sp. nov. (western Bale Mts); T. depressipennis sp. nov. (northeastern margin of Sanetti Plateau, Bale Mts); T. dodola sp. nov. (western Bale Mts, above Dodola); T. fisehai sp. nov. (northern slope of Bale Mts, above Goba); T. grandipennis sp. nov. and T. hagenia sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. haggei sp. nov. (northeastern margin of Sanetti Plateau); T. harenna sp. nov. and T. harryi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. iridescens sp. nov. (southeastern slope of Bale Mts, below Mt Abalk-hasim); T. mattisi sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. mekbibi sp. nov. (southern and western part of Bale Mts); T. minitrechus sp. nov. (northeastern slope of Mt Enkuolo); T. nanulus sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. nigrifemoralis sp. nov. and T. oppositus sp. nov. (western Bale Mts, above Dodola); T. rira sp. nov. (southern escarpment of Bale Mts, upper Rira Valley); T. sanettii sp. nov. (southeastern slope of Sanetti Plateau, Bale Mts); T. tragelaphus sp. nov. (western Bale Mts, above Dodola); T. transversicollis sp. nov. (southern escarpment of Bale Mts, Harenna Forest); T. wiersbowskyi sp. nov. (southern escarpment of Bale Mts, upper Rira Valley). New distributional data are provided for T. baleensis (Basilewsky, 1974), T. bastianinii Magrini & Sciaky, 2006, T. batuensis Magrini & Sciaky, 2006, T. chillalicus Jeannel, 1936, T. clarkeianus (Basilewsky, 1974), T. culminicola Jeannel, 1936, T. ericalis Magrini, Quéinnec & Vigna Taglianti, 2013, T. gallorites Jeannel, 1936, T. gypaeti Vigna Taglianti & Magrini, 2010, T. oromiensis Magrini, Quéinnec & Vigna Taglianti, 2012, T. relictus Magrini, Quéinnec & Vigna Taglianti, 2012 and T. rotundicollis (Basilewsky, 1974). Cothresia robini Basilewsky, 1974 is considered a junior synonym of T. chillalicus Jeannel, 1936. A key to all species known to occur in the Bale Mts and adjacent volcanos is presented.
In the present work, three different techniques are used to separate ice-nucleating particles (INP) and ice particle residuals (IPR) from non-ice-active particles: the Ice Selective Inlet (ISI) and the Ice Counterflow Virtual Impactor (Ice-CVI), which sample ice particles from mixed phase clouds and allow for the analysis of the residuals, as well as the combination of the Fast Ice Nucleus Chamber (FINCH) and the Ice Nuclei Pumped Virtual Impactor (IN-PCVI), which provides ice-activating conditions to aerosol particles and extracts the activated ones for analysis. The collected particles were analyzed by scanning electron microscopy and energy-dispersive X-ray microanalysis to determine their size, chemical composition and mixing state. Samples were taken during January/February 2013 at the High Alpine Research Station Jungfraujoch. All INP/IPR-separating techniques had considerable abundances (median 20–70%) of contamination artifacts (ISI: Si-O spheres, probably calibration aerosol; Ice-CVI: Al-O particles; FINCH + IN-PCVI: steel particles). Also, potential measurement artifacts (soluble material) occurred (median abundance < 20%). After removal of the contamination particles, silicates and Ca-rich particles, carbonaceous material and metal oxides were the major INP/IPR particle types separated by all three techniques. Minor types include soot and Pb-bearing particles. Sea-salt and sulfates were identified by all three methods as INP/IPR. Lead was identified in less than 10% of the INP/IPR. It was mainly present as an internal mixture with other particle types, but also external lead-rich particles were found. Most samples showed a maximum of the INP/IPR size distribution at 400 nm geometric diameter. In a few cases, a second super-micron maximum was identified. Soot/carbonaceous material and metal oxides were present mainly in the submicron range. ISI and FINCH yielded silicates and Ca-rich particles mainly with diameters above 1 μm, while the Ice-CVI also sampled many submicron particles. Probably owing to the different meteorological conditions, the INP/IPR composition was highly variable on a sample to sample basis. Thus, some part of the discrepancies between the different techniques may result from the (unavoidable) non-parallel sampling. The observed differences of the particles group abundances as well as the mixing state of INP/IPR point to the need of further studies to better understand the influence of the separating techniques on the INP/IPR chemical composition.
During January/February 2013, at the High Alpine Research Station Jungfraujoch a measurement campaign was carried out, which was centered on atmospheric ice-nucleating particles (INP) and ice particle residuals (IPR). Three different techniques for separation of INP and IPR from the non-ice-active particles are compared. The Ice Selective Inlet (ISI) and the Ice Counterflow Virtual Impactor (Ice-CVI) sample ice particles from mixed phase clouds and allow for the analysis of the residuals. The combination of the Fast Ice Nucleus Chamber (FINCH) and the Ice Nuclei Pumped Counterflow Virtual Impactor (IN-PCVI) provides ice-activating conditions to aerosol particles and extracts the activated INP for analysis.Collected particles were analyzed by scanning electron microscopy and energy-dispersive X-ray microanalysis to determine size, chemical composition and mixing state. All INP/IPR-separating techniques had considerable abundances (median 20 – 70 %) of instrumental contamination artifacts (ISI: Si-O spheres, probably calibration aerosol; Ice-CVI: Al-O particles; FINCH+IN-PCVI: steel particles). Also, potential sampling artifacts (e.g., pure soluble material) occurred with a median abundance of < 20 %. While these could be explained as IPR by ice break-up, for INP their IN-ability pathway is less clear. After removal of the contamination artifacts, silicates and Ca-rich particles, carbonaceous material and metal oxides were the major INP/IPR particle types separated by all three techniques. Soot was a minor contributor. Lead was detected in less than 10 % of the particles, of which the majority were internal mixtures with other particle types. Sea-salt and sulfates were identified by all three methods as INP/IPR. Most samples showed a maximum of the INP/IPR size distribution at 400 nm geometric diameter. In a few cases, a second super-micron maximum was identified. Soot/carbonaceous material and metal oxides were present mainly in the submicron range. ISI and FINCH yielded silicates and Ca-rich particles mainly with diameters above 1 μm, while the Ice-CVI also separated many submicron IPR. As strictly parallel sampling could not be performed, a part of the discrepancies between the different techniques may result from variations in meteorological conditions and subsequent INP/IPR composition. The observed differences in the particle group abundances as well as in the mixing state of INP/IPR express the need for further studies to better understand the influence of the separating techniques on the INP/IPR chemical
composition.
Two new genera and species of tiger beetles from Baltic amber (Coleoptera: Carabidae: Cicindelinae)
(2017)
Two fossil tiger beetle species (Coleoptera, Carabidae, Cicindelinae) are described from Eocene Baltic amber using light microscopic and X-ray microscopic techniques. Both species are considered representatives of the subtribe Iresina Rivalier, 1971 due to the shared combination of character states: glabrous head, six labral and four suborbital setae, and glabrous pronotum. Palaeopronyssiformia groehni Wiesner, Will, and Schmidt, new genus, new species, is characterized by a glabrous and furrowed head with six labral setae, large eyes, presence of two supraorbital setae on each side, mandibles with two teeth of the incisor region, and a glabrous and furrowed pronotum. Palaeoiresina cassolai Wiesner, Will, and Schmidt, new genus, new species, is characterized by a unicolored, undentated labrum, mandibles with two teeth of the incisor region, glabrous head with six labral setae, two clypeal setae, two supraorbital setae on each side, and a glabrous pronotum, mesepisternum, mesepimeron, and metepisternum. The species described here represent the only known tiger beetle fossils preserved in Baltic amber.
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.
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.
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.
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.
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.
Chronic granulomatous disease (CGD) is a primary immunodeficiency characterized by impaired antimicrobial activity in phagocytic cells. As a monogenic disease affecting the hematopoietic system, CGD is amenable to gene therapy. Indeed in a phase I/II clinical trial, we demonstrated a transient resolution of bacterial and fungal infections. However, the therapeutic benefit was compromised by the occurrence of clonal dominance and malignant transformation demanding alternative vectors with equal efficacy but safety-improved features. In this work we have developed and tested a self-inactivating (SIN) gammaretroviral vector (SINfes.gp91s) containing a codon-optimized transgene (gp91(phox)) under the transcriptional control of a myeloid promoter for the gene therapy of the X-linked form of CGD (X-CGD). Gene-corrected cells protected X-CGD mice from Aspergillus fumigatus challenge at low vector copy numbers. Moreover, the SINfes.gp91s vector generates substantial amounts of superoxide in human cells transplanted into immunodeficient mice. In vitro genotoxicity assays and longitudinal high-throughput integration site analysis in transplanted mice comprising primary and secondary animals for 11 months revealed a safe integration site profile with no signs of clonal dominance.