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)
- Quark-Gluon Plasma (4)
- ALICE (3)
- Jets (3)
- Jets and Jet Substructure (3)
- Nebenläufigkeit (3)
- pp collisions (3)
- Beauty production (2)
- Charm physics (2)
- Diagnostik (2)
- Experimental nuclear physics (2)
- Experimental particle physics (2)
- Früherkennung (2)
- Funktionale Programmiersprache (2)
- Heavy Ions (2)
- Heavy Quark Production (2)
- Lepton-Nucleon Scattering (experiments) (2)
- Mammakarzinom (2)
- Nachsorge (2)
- Particle Correlations and Fluctuations (2)
- Particle and resonance production (2)
- Particle correlations and fluctuations (2)
- Pb–Pb collisions (2)
- Pufferspeicher (2)
- QCD (2)
- Richtlinie (2)
- Single electrons (2)
- breast cancer (2)
- diagnosis (2)
- follow‑up (2)
- guideline (2)
- new species (2)
- screening (2)
- 900 GeV (1)
- ALICE detector (1)
- Africa (1)
- Alice ML (1)
- Anti-nuclei (1)
- Artificial Intelligence (1)
- Biodiversity Data (1)
- Biomonitoring (1)
- Boosted Jets (1)
- Botanical Collections (1)
- CVID (1)
- Capecitabine (1)
- Centrality Class (1)
- Centrality Selection (1)
- Collective Flow, (1)
- Comparison with QCD (1)
- Conservation (1)
- Contextual Equivalence (1)
- Digitization (1)
- Electron-pion identification (1)
- Electroweak interaction (1)
- Elliptic flow (1)
- European Society for Immunodeficiencies (ESID) (1)
- Femtoscopy (1)
- Fibre/foam sandwich radiator (1)
- Futures (1)
- German PID-NET registry (1)
- Ground beetles (1)
- HBT (1)
- Hadron production (1)
- Hadron-Hadron Scattering Heavy (1)
- Hadron-hadron interactions (1)
- Hard Scattering (1)
- Heavy Ion Experiment (1)
- Heavy flavor production (1)
- Heavy flavour production (1)
- Heavy ions (1)
- Heavy-flavour decay muons (1)
- Heavy-flavour production (1)
- Heavy-ion collisions (1)
- Herbaria (1)
- Hyperons (1)
- IgG substitution therapy (1)
- Inclusive spectra (1)
- Intensity interferometry (1)
- Invariant Mass Distribution (1)
- Ionisation energy loss (1)
- Jet Physics (1)
- Jet Substructure (1)
- Lambda Calculus (1)
- ML <Programmiersprache> (1)
- Material budget (1)
- Metastatic breast cancer (1)
- Mid-rapidity (1)
- Minimum Bias (1)
- Monte Carlo (1)
- Multi-Parton Interactions (1)
- Multi-strange baryons (1)
- Multi-wire proportional drift chamber (1)
- Neural network (1)
- Nuclear modification factor (1)
- Nucleus (1)
- Operational Semantics (1)
- PELICAN (1)
- PID prevalence (1)
- PYTHIA (1)
- Particle and Resonance Production (1)
- Pb–Pb (1)
- Pegylated liposomal doxorubicin (1)
- Production Cross Section (1)
- Properties of Hadrons (1)
- Proton (1)
- Proton–proton (1)
- Quark Deconfinement (1)
- Quark Gluon Plasma (1)
- Quark Production (1)
- Quark gluon plasma (1)
- Quarkonium (1)
- Rapidity Range (1)
- Relativistic heavy ion physics (1)
- Relativistic heavy-ion collisions (1)
- Research Infrastructure (1)
- Resolution Parameter (1)
- Semantics (1)
- Single muons (1)
- Strangeness (1)
- Systematic Uncertainty (1)
- TR (1)
- Taxonomy (1)
- Time Projection Chamber (1)
- Tracking (1)
- Transition radiation detector (1)
- Transverse momentum (1)
- Trigger (1)
- Vector Boson Production (1)
- X-ray microscopy (1)
- Xenon-based gas mixture (1)
- atherosclerosis (1)
- attosecond spectroscopy (1)
- cardiac events (1)
- coronary calcium (1)
- coronary computed-tomography angiography (CCTA) (1)
- coronary plaques (1)
- dE/dx (1)
- detector (1)
- experimental results (1)
- heavy ion experiments (1)
- high-resolution momentum spectroscopy (1)
- key to species (1)
- lambda calculus (1)
- local endemism (1)
- many particle entanglement (1)
- multicoincidence imaging (1)
- new genus (1)
- new synonymy (1)
- nondeterminism (1)
- primary immunodeficiency (PID) (1)
- programming languages (1)
- quark gluon plasma (1)
- registry for primary immunodeficiency (1)
- semantics (1)
- spectra (1)
- taxonomy (1)
- translation (1)
- √sN N = 2.76 TeV (1)
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)
Transverse momentum (pT) spectra of pions, kaons, and protons up to pT=20 GeV/c have been measured in Pb-Pb collisions at sNN−−−√=2.76 TeV using the ALICE detector for six different centrality classes covering 0-80%. The proton-to-pion and the kaon-to-pion ratios both show a distinct peak at pT≈3 GeV/c in central Pb-Pb collisions that decreases towards more peripheral collisions. For pT>10 GeV/c, the nuclear modification factor is found to be the same for all three particle species in each centrality interval within systematic uncertainties of 10-20%. This suggests there is no direct interplay between the energy loss in the medium and the particle species composition in the hard core of the quenched jet. For pT<10 GeV/c, the data provide important constraints for models aimed at describing the transition from soft to hard physics.
The production of the hypertriton nuclei HΛ3 and H‾Λ¯3 has been measured for the first time in Pb–Pb collisions at sNN=2.76 TeV with the ALICE experiment at LHC. The pT-integrated HΛ3 yield in one unity of rapidity, dN/dy×B.R.(HΛ3→He3,π−)=(3.86±0.77(stat.)±0.68(syst.))×10−5 in the 0–10% most central collisions, is consistent with the predictions from a statistical thermal model using the same temperature as for the light hadrons. The coalescence parameter B3 shows a dependence on the transverse momentum, similar to the B2 of deuterons and the B3 of 3He nuclei. The ratio of yields S3=HΛ3/(He3×Λ/p) was measured to be S3=0.60±0.13(stat.)±0.21(syst.) in 0–10% centrality events; this value is compared to different theoretical models. The measured S3 is compatible with thermal model predictions. The measured HΛ3 lifetime, τ=181−39+54(stat.)±33(syst.)ps is in agreement within 1σ with the world average value.
The ALICE Collaboration has made the first measurement at the LHC of J/ψ photoproduction in ultra-peripheral Pb–Pb collisions at sNN=2.76 TeV. The J/ψ is identified via its dimuon decay in the forward rapidity region with the muon spectrometer for events where the hadronic activity is required to be minimal. The analysis is based on an event sample corresponding to an integrated luminosity of about 55 μb−1. The cross section for coherent J/ψ production in the rapidity interval −3.6<y<−2.6 is measured to be dσJ/ψcoh/dy=1.00±0.18(stat)−0.26+0.24(syst) mb. The result is compared to theoretical models for coherent J/ψ production and found to be in good agreement with those models which include nuclear gluon shadowing.
The first study of ϕ-meson production in p-Pb collisions at forward and backward rapidity, at a nucleon-nucleon centre-of-mass energy sNN−−−√=5.02~TeV, has been performed with the ALICE apparatus at the LHC. The ϕ-mesons have been identified in the dimuon decay channel in the transverse momentum (pT) range 1<pT<7 GeV/c, both in the p-going (2.03<y<3.53) and the Pb-going (−4.46<y<−2.96) directions, where y stands for the rapidity in the nucleon-nucleon centre-of-mass, the integrated luminosity amounting to 5.01±0.19~nb−1 and 5.81±0.20~nb−1, respectively, for the two data samples. Differential cross sections as a function of transverse momentum and rapidity are presented. The forward-backward ratio for ϕ-meson production is measured for 2.96<|y|<3.53, resulting in a ratio ∼0.5 with no significant pT dependence within the uncertainties. The pT dependence of the ϕ nuclear modification factor RpPb exhibits an enhancement up to a factor 1.6 at pT = 3-4 GeV/c in the Pb-going direction. The pT dependence of the ϕ-meson cross section in pp collisions at s√ = 2.76 TeV, which is used to determine a reference for the p-Pb results, is also presented here for 1<pT<5 GeV/c and 2.5<y<4 for a 78±3~nb−1 integrated luminosity sample.
The first study of ϕ-meson production in p-Pb collisions at forward and backward rapidity, at a nucleon-nucleon centre-of-mass energy sNN−−−√=5.02~TeV, has been performed with the ALICE apparatus at the LHC. The ϕ-mesons have been identified in the dimuon decay channel in the transverse momentum (pT) range 1<pT<7 GeV/c, both in the p-going (2.03<y<3.53) and the Pb-going (−4.46<y<−2.96) directions, where y stands for the rapidity in the nucleon-nucleon centre-of-mass, the integrated luminosity amounting to 5.01±0.19~nb−1 and 5.81±0.20~nb−1, respectively, for the two data samples. Differential cross sections as a function of transverse momentum and rapidity are presented. The forward-backward ratio for ϕ-meson production is measured for 2.96<|y|<3.53, resulting in a ratio ∼0.5 with no significant pT dependence within the uncertainties. The pT dependence of the ϕ nuclear modification factor RpPb exhibits an enhancement up to a factor 1.6 at pT = 3-4 GeV/c in the Pb-going direction. The pT dependence of the ϕ-meson cross section in pp collisions at s√ = 2.76 TeV, which is used to determine a reference for the p-Pb results, is also presented here for 1<pT<5 GeV/c and 2.5<y<4 for a 78±3~nb−1 integrated luminosity sample.
Two-particle angular correlations between trigger particles in the forward pseudorapidity range (2.5<|η|<4.0) and associated particles in the central range (|η|<1.0) are measured with the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The trigger particles are reconstructed using the muon spectrometer, and the associated particles by the central barrel tracking detectors. In high-multiplicity events, the double-ridge structure, previously discovered in two-particle angular correlations at midrapidity, is found to persist to the pseudorapidity ranges studied in this Letter. The second-order Fourier coefficients for muons in high-multiplicity events are extracted after jet-like correlations from low-multiplicity events have been subtracted. The coefficients are found to have a similar transverse momentum (pT) dependence in p-going (p-Pb) and Pb-going (Pb-p) configurations, with the Pb-going coefficients larger by about 16±6%, rather independent of pT within the uncertainties of the measurement. The data are compared with calculations using the AMPT model, which predicts a different pT and η dependence than observed in the data. The results are sensitive to the parent particle v2 and composition of reconstructed muon tracks, where the contribution from heavy flavour decays are expected to dominate at pT>2 GeV/c.
Two-particle angular correlations between trigger particles in the forward pseudorapidity range (2.5<|η|<4.0) and associated particles in the central range (|η|<1.0) are measured with the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The trigger particles are reconstructed using the muon spectrometer, and the associated particles by the central barrel tracking detectors. In high-multiplicity events, the double-ridge structure, previously discovered in two-particle angular correlations at midrapidity, is found to persist to the pseudorapidity ranges studied in this Letter. The second-order Fourier coefficients for muons in high-multiplicity events are extracted after jet-like correlations from low-multiplicity events have been subtracted. The coefficients are found to have a similar transverse momentum (pT) dependence in p-going (p-Pb) and Pb-going (Pb-p) configurations, with the Pb-going coefficients larger by about 16±6%, rather independent of pT within the uncertainties of the measurement. The data are compared with calculations using the AMPT model, which predicts a different pT and η dependence than observed in the data. The results are sensitive to the parent particle v2 and composition of reconstructed muon tracks, where the contribution from heavy flavour decays are expected to dominate at pT>2 GeV/c.
Two-particle angular correlations between trigger particles in the forward pseudorapidity range (2.5<|η|<4.0) and associated particles in the central range (|η|<1.0) are measured with the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The trigger particles are reconstructed using the muon spectrometer, and the associated particles by the central barrel tracking detectors. In high-multiplicity events, the double-ridge structure, previously discovered in two-particle angular correlations at midrapidity, is found to persist to the pseudorapidity ranges studied in this Letter. The second-order Fourier coefficients for muons in high-multiplicity events are extracted after jet-like correlations from low-multiplicity events have been subtracted. The coefficients are found to have a similar transverse momentum (pT) dependence in p-going (p-Pb) and Pb-going (Pb-p) configurations, with the Pb-going coefficients larger by about 16±6%, rather independent of pT within the uncertainties of the measurement. The data are compared with calculations using the AMPT model, which predicts a different pT and η dependence than observed in the data. The results are sensitive to the parent particle v2 and composition of reconstructed muon tracks, where the contribution from heavy flavour decays are expected to dominate at pT>2 GeV/c.
Two-particle angular correlations between trigger particles in the forward pseudorapidity range (2.5<|η|<4.0) and associated particles in the central range (|η|<1.0) are measured with the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The trigger particles are reconstructed using the muon spectrometer, and the associated particles by the central barrel tracking detectors. In high-multiplicity events, the double-ridge structure, previously discovered in two-particle angular correlations at midrapidity, is found to persist to the pseudorapidity ranges studied in this Letter. The second-order Fourier coefficients for muons in high-multiplicity events are extracted after jet-like correlations from low-multiplicity events have been subtracted. The coefficients are found to have a similar transverse momentum (pT) dependence in p-going (p-Pb) and Pb-going (Pb-p) configurations, with the Pb-going coefficients larger by about 16±6%, rather independent of pT within the uncertainties of the measurement. The data are compared with calculations using the AMPT model, which predicts a different pT and η dependence than observed in the data. The results are sensitive to the parent particle v2 and composition of reconstructed muon tracks, where the contribution from heavy flavour decays are expected to dominate at pT>2 GeV/c.
We have has performed the first measurement of the coherent ψ(2S) photo-production cross section in ultra-peripheral Pb-Pb collisions at the LHC. This charmonium excited state is reconstructed via the ψ(2S) →l+l− and ψ(2S) → J/ψπ+π− decays, where the J/ψ decays into two leptons. The analysis is based on an event sample corresponding to an integrated luminosity of about 22 μb−1. The cross section for coherent ψ(2S) production in the rapidity interval −0.9<y<0.9 is dσcohψ(2S)/dy=0.83±0.19(stat+syst) mb. The ψ(2S) to J/ψ coherent cross section ratio is 0.34+0.08−0.07(stat+syst). The obtained results are compared to predictions from theoretical models.
We have has performed the first measurement of the coherent ψ(2S) photo-production cross section in ultra-peripheral Pb-Pb collisions at the LHC. This charmonium excited state is reconstructed via the ψ(2S) →l+l− and ψ(2S) → J/ψπ+π− decays, where the J/ψ decays into two leptons. The analysis is based on an event sample corresponding to an integrated luminosity of about 22 μb−1. The cross section for coherent ψ(2S) production in the rapidity interval −0.9<y<0.9 is dσcohψ(2S)/dy=0.83±0.19(stat+syst) mb. The ψ(2S) to J/ψ coherent cross section ratio is 0.34+0.08−0.07(stat+syst). The obtained results are compared to predictions from theoretical models.
The production of J/ψ and ψ(2S) was measured with the ALICE detector in Pb-Pb collisions at the LHC. The measurement was performed at forward rapidity (2.5<y<4) down to zero transverse momentum (pT) in the dimuon decay channel. Inclusive J/ψ yields were extracted in different centrality classes and the centrality dependence of the average pT is presented. The J/ψ suppression, quantified with the nuclear modification factor (RAA), was studied as a function of centrality, transverse momentum and rapidity. Comparisons with similar measurements at lower collision energy and theoretical models indicate that the J/ψ production is the result of an interplay between color screening and recombination mechanisms in a deconfined partonic medium, or at its hadronization. Results on the ψ(2S) suppression are provided via the ratio of ψ(2S) over J/ψ measured in pp and Pb-Pb collisions.
The production of J/ψ and ψ(2S) was measured with the ALICE detector in Pb-Pb collisions at the LHC. The measurement was performed at forward rapidity (2.5<y<4) down to zero transverse momentum (pT) in the dimuon decay channel. Inclusive J/ψ yields were extracted in different centrality classes and the centrality dependence of the average pT is presented. The J/ψ suppression, quantified with the nuclear modification factor (RAA), was studied as a function of centrality, transverse momentum and rapidity. Comparisons with similar measurements at lower collision energy and theoretical models indicate that the J/ψ production is the result of an interplay between color screening and recombination mechanisms in a deconfined partonic medium, or at its hadronization. Results on the ψ(2S) suppression are provided via the ratio of ψ(2S) over J/ψ measured in pp and Pb-Pb collisions.
The production of J/ψ and ψ(2S) was measured with the ALICE detector in Pb-Pb collisions at the LHC. The measurement was performed at forward rapidity (2.5<y<4) down to zero transverse momentum (pT) in the dimuon decay channel.
Inclusive J/ψ yields were extracted in different centrality classes and the centrality dependence of the average pT is presented. The J/ψ suppression, quantified with the nuclear modification factor (RAA), was studied as a function of centrality, transverse momentum and rapidity. Comparisons with similar measurements at lower collision energy and theoretical models indicate that the J/ψ production is the result of an interplay between color screening and recombination mechanisms in a deconfined partonic medium, or at its hadronization. Results on the ψ(2S) suppression are provided via the ratio of ψ(2S) over J/ψ measured in pp and Pb-Pb collisions.
We present a measurement of inclusive J/ψ production in p-Pb collisions at sNN−−−√ = 5.02 TeV as a function of the centrality of the collision, as estimated from the energy deposited in the Zero Degree Calorimeters. The measurement is performed with the ALICE detector down to zero transverse momentum, pT, in the backward (−4.46<ycms<−2.96) and forward (2.03<ycms<3.53) rapidity intervals in the dimuon decay channel and in the mid-rapidity region (−1.37<ycms<0.43) in the dielectron decay channel. The backward and forward rapidity intervals correspond to the Pb-going and p-going direction, respectively. The pT-differential J/ψ production cross section at backward and forward rapidity is measured for several centrality classes, together with the corresponding average pT and p2T values. The nuclear modification factor, QpPb, is presented as a function of centrality for the three rapidity intervals, and, additionally, at backward and forward rapidity, as a function of pT for several centrality classes. At mid- and forward rapidity, the J/ψ yield is suppressed up to 40% compared to that in pp interactions scaled by the number of binary collisions. The degree of suppression increases towards central p-Pb collisions at forward rapidity, and with decreasing pT of the J/ψ. At backward rapidity, the QpPb is compatible with unity within the total uncertainties, with an increasing trend from peripheral to central p-Pb collisions.
We present a measurement of inclusive J/ψ production in p-Pb collisions at sNN−−−√ = 5.02 TeV as a function of the centrality of the collision, as estimated from the energy deposited in the Zero Degree Calorimeters. The measurement is performed with the ALICE detector down to zero transverse momentum, pT, in the backward (−4.46<ycms<−2.96) and forward (2.03<ycms<3.53) rapidity intervals in the dimuon decay channel and in the mid-rapidity region (−1.37<ycms<0.43) in the dielectron decay channel. The backward and forward rapidity intervals correspond to the Pb-going and p-going direction, respectively. The pT-differential J/ψ production cross section at backward and forward rapidity is measured for several centrality classes, together with the corresponding average pT and p2T values. The nuclear modification factor, QpPb, is presented as a function of centrality for the three rapidity intervals, and, additionally, at backward and forward rapidity, as a function of pT for several centrality classes. At mid- and forward rapidity, the J/ψ yield is suppressed up to 40% compared to that in pp interactions scaled by the number of binary collisions. The degree of suppression increases towards central p-Pb collisions at forward rapidity, and with decreasing pT of the J/ψ. At backward rapidity, the QpPb is compatible with unity within the total uncertainties, with an increasing trend from peripheral to central p-Pb collisions.
We present a measurement of inclusive J/ψ production in p-Pb collisions at sNN−−−√ = 5.02 TeV as a function of the centrality of the collision, as estimated from the energy deposited in the Zero Degree Calorimeters. The measurement is performed with the ALICE detector down to zero transverse momentum, pT, in the backward (−4.46<ycms<−2.96) and forward (2.03<ycms<3.53) rapidity intervals in the dimuon decay channel and in the mid-rapidity region (−1.37<ycms<0.43) in the dielectron decay channel. The backward and forward rapidity intervals correspond to the Pb-going and p-going direction, respectively. The pT-differential J/ψ production cross section at backward and forward rapidity is measured for several centrality classes, together with the corresponding average pT and p2T values. The nuclear modification factor, QpPb, is presented as a function of centrality for the three rapidity intervals, and, additionally, at backward and forward rapidity, as a function of pT for several centrality classes. At mid- and forward rapidity, the J/ψ yield is suppressed up to 40% compared to that in pp interactions scaled by the number of binary collisions. The degree of suppression increases towards central p-Pb collisions at forward rapidity, and with decreasing pT of the J/ψ. At backward rapidity, the QpPb is compatible with unity within the total uncertainties, with an increasing trend from peripheral to central p-Pb collisions.
Transverse momentum (pT) spectra of pions, kaons, and protons up to pT=20 GeV/c have been measured in Pb-Pb collisions at sNN−−−√=2.76 TeV using the ALICE detector for six different centrality classes covering 0-80%. The proton-to-pion and the kaon-to-pion ratios both show a distinct peak at pT≈3 GeV/c in central Pb-Pb collisions that decreases towards more peripheral collisions. For pT>10 GeV/c, the nuclear modification factor is found to be the same for all three particle species in each centrality interval within systematic uncertainties of 10-20%. This suggests there is no direct interplay between the energy loss in the medium and the particle species composition in the hard core of the quenched jet. For pT<10 GeV/c, the data provide important constraints for models aimed at describing the transition from soft to hard physics.
Transverse momentum (pT) spectra of pions, kaons, and protons up to pT=20 GeV/c have been measured in Pb-Pb collisions at sNN−−−√=2.76 TeV using the ALICE detector for six different centrality classes covering 0-80%. The proton-to-pion and the kaon-to-pion ratios both show a distinct peak at pT≈3 GeV/c in central Pb-Pb collisions that decreases towards more peripheral collisions. For pT>10 GeV/c, the nuclear modification factor is found to be the same for all three particle species in each centrality interval within systematic uncertainties of 10-20%. This suggests there is no direct interplay between the energy loss in the medium and the particle species composition in the hard core of the quenched jet. For pT<10 GeV/c, the data provide important constraints for models aimed at describing the transition from soft to hard physics.
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.
Invasive coronary angiography (ICA) was the only method to image coronary arteries for a long time and is still the gold-standard. Technology of noninvasive imaging by coronary computed-tomography angiography (CCTA) has experienced remarkable progress during the last two decades. It is possible to visualize atherosclerotic lesions in the vessel wall in contrast to "lumenography" performed by ICA. Coronary artery disease can be ruled out by CCTA with excellent accuracy. The degree of stenoses is, however, often overestimated which impairs specificity. Atherosclerotic lesions can be characterized as calcified, non-calcified and partially calcified. Calcified plaques are usually quantified using the Agatston-Score. Higher scores are correlated with worse cardiovascular outcome and increased risk of cardiac events. For non-calcified or partially calcified plaques different angiographic findings like positive remodelling, a large necrotic core or spotty calcification more frequently lead to myocardial infarctions. CCTA is an important tool with increasing clinical value for ruling out coronary artery disease or relevant stenoses as well as for advanced risk stratification.
In situ single particle analysis of ice particle residuals (IPRs) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January–February 2013. During the 4-week campaign more than 70 000 out-of-cloud aerosol particles and 595 IPRs were analyzed covering a particle size diameter range from 100 nm to 3 µm. The IPRs were sampled during 273 h while the station was covered by mixed-phase clouds at ambient temperatures between −27 and −6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. The outcome of these laboratory studies was characteristic marker peaks for each investigated particle type. These marker peaks were applied to the field data. In the sampled IPRs we identified a larger number fraction of primary aerosol particles, like soil dust (13 ± 5 %) and minerals (11 ± 5 %), in comparison to out-of-cloud aerosol particles (2.4 ± 0.4 and 0.4 ± 0.1 %, respectively). Additionally, anthropogenic aerosol particles, such as particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPRs than in the out-of-cloud aerosol. In the out-of-cloud aerosol we identified a large fraction of aged particles (31 ± 5 %), including organic material and secondary inorganics, whereas this particle type was much less abundant (2.7 ± 1.3 %) in the IPRs. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPRs in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPRs.
In-situ single particle analysis of ice particle residuals (IPR) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January/February 2013. During the four week campaign more than 70000 out-of-cloud aerosol particles and 595 IPR were analyzed covering a particle size diameter range from 100 nm to 3 μm. The IPR were sampled during 273 hours while the station was covered by mixed-phase clouds at ambient temperatures between -27 °C and -6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. As outcome instrument specific marker peaks for the different investigated particle types were obtained and applied to the field data. The results show that the sampled IPR contain a larger relative amount of natural, primary aerosol, like soil dust (13 %) and minerals (11 %), in comparison to out-of-cloud aerosol particles (2 % and <1 %, respectively). Additionally, anthropogenic aerosol particles, like particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPR than in the out-of-cloud aerosol. The out of-cloud aerosol contained a large fraction of aged particles (30 %, including organic material and secondary inorganics), whereas this particle type was much less abundant (3 %) in the IPR. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPR in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPR.
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.
Motivated by our experience in analyzing properties of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.
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 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.
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: School attendance during the COVID-19 pandemic is intensely debated.
Aim: In November 2020, we assessed SARS-CoV-2 infections and seroreactivity in 24 randomly selected school classes and connected households in Berlin, Germany.
Methods: We collected oro-nasopharyngeal swabs and blood samples, examining SARS-CoV-2 infection and IgG antibodies by RT-PCR and ELISA. Household members self-swabbed. We assessed individual and institutional prevention measures. Classes with SARS-CoV-2 infection and connected households were retested after 1 week.
Results: We examined 1,119 participants, including 177 primary and 175 secondary school students, 142 staff and 625 household members. SARS-CoV-2 infection occurred in eight classes, affecting each 1–2 individuals. Infection prevalence was 2.7% (95% confidence interval (CI): 1.2–5.0; 9/338), 1.4% (95% CI: 0.2–5.1; 2/140), and 2.3% (95% CI: 1.3–3.8; 14/611) among students, staff and household members. Six of nine infected students were asymptomatic at testing. We detected IgG antibodies in 2.0% (95%CI: 0.8–4.1; 7/347), 1.4% (95% CI: 0.2–5.0; 2/141) and 1.4% (95% CI: 0.6–2.7; 8/576). Prevalence increased with inconsistent facemask-use in school, walking to school, and case-contacts outside school. For three of nine households with infection(s), origin in school seemed possible. After 1 week, no school-related secondary infections appeared in affected classes; the attack rate in connected households was 1.1%.
Conclusion: School attendance under rigorously implemented preventive measures seems reasonable. Balancing risks and benefits of school closures need to consider possible spill-over infection into households. Deeper insight is required into the infection risks due to being a schoolchild vs attending school.
Background: School attendance during the SARS-CoV-2 pandemic is intensely debated. Modelling studies suggest that school closures contribute to community transmission reduction. However, data among school-attending students and staff are scarce. In November 2020, we examined SARS-CoV-2 infections and seroreactivity in 24 randomly selected school classes and connected households in Berlin, Germany.
Methods: Students and school staff were examined, oro-nasopharyngeal swabs and blood samples collected, and SARS-CoV-2 infection and IgG antibodies detected by RT-PCR and ELISA. Household members performed self-swabs. Individual and institutional infection prevention and control measures were assessed. Classes with SARS-CoV-2 infection and connected household members were re-tested after one week.
Findings: 1119 participants were examined, including 177 primary and 175 secondary school students, 142 staff, and 625 household members. Participants reported mainly cold symptoms (19·4%). SARS-CoV-2 infection occurred in eight of 24 classes affecting each 1-2 individuals. Infection prevalence was 2·7% (95%CI; 1·2-5·0%; 9/338), 1·4% (0·2-5·1%; 2/140), and 2·3% (1·3-3·8%; 14/611) among students, staff and household members, respectively, including quarantined persons. Six of nine infected students were asymptomatic. Prevalence increased with inconsistent facemask use in school, way to school on foot, and case-contacts outside school. IgG antibodies were detected in 2·0% (0·8-4·1%; 7/347), 1·4% (0·2-5·0%; 2/141) and 1·4% (0·6-2·7%; 8/576), respectively. For three of nine households with infection(s) detected at cross-sectional assessment, origin in school seemed possible. After one week, no school-related, secondary infections appeared in affected classes; the attack rate in connected households was 1·1%.
Interpretation: These data suggest that school attendance under preventive measures is feasible, provided their rigorous implementation. In balancing threats and benefits of open versus closed schools during the pandemic, parents and society need to consider possible spill-overs into their households. Deeper insight is needed into the infection risks due to being a schoolchild as compared to attending school.
Purpose: The PELICAN trial evaluates for the first time efficacy and safety of pegylated liposomal doxorubicin (PLD) versus capecitabine as first-line treatment of metastatic breast cancer (MBC).
Methods: This randomized, phase III, open-label, multicenter trial enrolled first-line MBC patients who were ineligible for endocrine or trastuzumab therapy. Cumulative adjuvant anthracyclines of 360 mg/m2 doxorubicin or equivalent were allowed. Left ventricular ejection fraction of >50 % was required. Patients received PLD 50 mg/m2 every 28 days or capecitabine 1250 mg/m2 twice daily for 14 days every 21 days. The primary endpoint was time-to-disease progression (TTP).
Results: 210 patients were randomized (n = 105, PLD and n = 105, capecitabine). Adjuvant anthracyclines were given to 37 % (PLD) and 36 % (capecitabine) of patients. No significant difference was observed in TTP [HR = 1.21 (95 % confidence interval, 0.838–1.750)]. Median TTP was 6.0 months for both PLD and capecitabine. Comparing patients with or without prior anthracyclines, no significant difference in TTP was observed in the PLD arm (log-rank P = 0.64). For PLD versus capecitabine, respectively, overall survival (median, 23.3 months vs. 26.8 months) and time-to-treatment failure (median, 4.6 months vs. 3.7 months) were not statistically significantly different. Compared to PLD, patients on capecitabine experienced more serious adverse events (P = 0.015) and more cardiac events among patients who had prior anthracycline exposure (18 vs. 8 %; P = 0.31).
Conclusion: Both PLD and capecitabine are effective first-line agents for MBC.
Ziele: Das Ziel dieser offiziellen Leitlinie, die von der Deutschen Gesellschaft für Gynäkologie und Geburtshilfe (DGGG) und der Deutschen Krebsgesellschaft (DKG) publiziert und koordiniert wurde, ist es, die Früherkennung, Diagnostik, Therapie und Nachsorge des Mammakarzinoms zu optimieren.
Methoden: Der Aktualisierungsprozess der S3-Leitlinie aus 2012 basierte zum einen auf der Adaptation identifizierter Quellleitlinien und zum anderen auf Evidenzübersichten, die nach Entwicklung von PICO-(Patients/Interventions/Control/Outcome-)Fragen, systematischer Recherche in Literaturdatenbanken sowie Selektion und Bewertung der gefundenen Literatur angefertigt wurden. In den interdisziplinären Arbeitsgruppen wurden auf dieser Grundlage Vorschläge für Empfehlungen und Statements erarbeitet, die im Rahmen von strukturierten Konsensusverfahren modifiziert und graduiert wurden.
Empfehlungen: Der Teil 1 dieser Kurzversion der Leitlinie zeigt Empfehlungen zur Früherkennung, Diagnostik und Nachsorge des Mammakarzinoms: Der Stellenwert des Mammografie-Screenings wird in der aktualisierten Leitlinienversion bestätigt und bildet damit die Grundlage der Früherkennung. Neben den konventionellen Methoden der Karzinomdiagnostik wird die Computertomografie (CT) zum Staging bei höherem Rückfallrisiko empfohlen. Die Nachsorgekonzepte beinhalten Untersuchungsintervalle für die körperliche Untersuchung, Ultraschall und Mammografie, während weiterführende Gerätediagnostik und Tumormarkerbestimmungen bei der metastasierten Erkrankung Anwendung finden.
Purpose: The aim of this official guideline coordinated and published by the German Society for Gynecology and Obstetrics (DGGG) and the German Cancer Society (DKG) was to optimize the screening, diagnosis, therapy and follow-up care of breast cancer.
Methods: The process of updating the S3 guideline dating from 2012 was based on the adaptation of identified source guidelines which were combined with reviews of evidence compiled using PICO (Patients/Interventions/Control/Outcome) questions and the results of a systematic search of literature databases and the selection and evaluation of the identified literature. The interdisciplinary working groups took the identified materials as their starting point to develop recommendations and statements which were modified and graded in a structured consensus procedure.
Recommendations: Part 1 of this short version of the guideline presents recommendations for the screening, diagnosis and follow-up care of breast cancer. The importance of mammography for screening is confirmed in this updated version of the guideline and forms the basis for all screening. In addition to the conventional methods used to diagnose breast cancer, computed tomography (CT) is recommended for staging in women with a higher risk of recurrence. The follow-up concept includes suggested intervals between physical, ultrasound and mammography examinations, additional high-tech diagnostic procedures, and the determination of tumor markers for the evaluation of metastatic disease.
Seven different instruments and measurement methods were used to examine the immersion freezing of bacterial ice nuclei from Snomax® (hereafter Snomax), a product containing ice active protein complexes from non-viable Pseudomonas syringae bacteria. The experimental conditions were kept as similar as possible for the different measurements. Of the participating instruments, some examined droplets which had been made from suspensions directly, and the others examined droplets activated on previously generated Snomax particles, with particle diameters of mostly a few hundred nanometers and up to a few micrometers in some cases. Data were obtained in the temperature range from −2 to −38 °C, and it was found that all ice active protein complexes were already activated above −12 °C. Droplets with different Snomax mass concentrations covering 10 orders of magnitude were examined. Some instruments had very short ice nucleation times down to below 1 s, while others had comparably slow cooling rates around 1 K min−1. Displaying data from the different instruments in terms of numbers of ice active protein complexes per dry mass of Snomax, nm, showed that within their uncertainty the data agree well with each other as well as to previously reported literature results. Two parameterizations were taken from literature for a direct comparison to our results, and these were a time dependent approach based on a contact angle distribution Niedermeier et al. (2014) and a modification of the parameterization presented in Hartmann et~al.~(2013) representing a time independent approach. The agreement between these and the measured data were good, i.e. they agreed within a temperature range of 0.6 K or equivalently a range in nm of a factor of 2. From the results presented herein, we propose that Snomax, at least when carefully shared and prepared, is a suitable material to test and compare different instruments for their accuracy of measuring immersion freezing.
Seven different instruments and measurement methods were used to examine the immersion freezing of bacterial ice nuclei from Snomax® (hereafter Snomax), a product containing ice-active protein complexes from non-viable Pseudomonas syringae bacteria. The experimental conditions were kept as similar as possible for the different measurements. Of the participating instruments, some examined droplets which had been made from suspensions directly, and the others examined droplets activated on previously generated Snomax particles, with particle diameters of mostly a few hundred nanometers and up to a few micrometers in some cases. Data were obtained in the temperature range from −2 to −38 °C, and it was found that all ice-active protein complexes were already activated above −12 °C. Droplets with different Snomax mass concentrations covering 10 orders of magnitude were examined. Some instruments had very short ice nucleation times down to below 1 s, while others had comparably slow cooling rates around 1 K min−1. Displaying data from the different instruments in terms of numbers of ice-active protein complexes per dry mass of Snomax, nm, showed that within their uncertainty, the data agree well with each other as well as to previously reported literature results. Two parameterizations were taken from literature for a direct comparison to our results, and these were a time-dependent approach based on a contact angle distribution (Niedermeier et al., 2014) and a modification of the parameterization presented in Hartmann et al. (2013) representing a time-independent approach. The agreement between these and the measured data were good; i.e., they agreed within a temperature range of 0.6 K or equivalently a range in nm of a factor of 2. From the results presented herein, we propose that Snomax, at least when carefully shared and prepared, is a suitable material to test and compare different instruments for their accuracy of measuring immersion freezing.
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.
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.
Plants, fungi and algae are important components of global biodiversity and are fundamental to all ecosystems. They are the basis for human well-being, providing food, materials and medicines. Specimens of all three groups of organisms are accommodated in herbaria, where they are commonly referred to as botanical specimens.The large number of specimens in herbaria provides an ample, permanent and continuously improving knowledge base on these organisms and an indispensable source for the analysis of the distribution of species in space and time critical for current and future research relating to global biodiversity. In order to make full use of this resource, a research infrastructure has to be built that grants comprehensive and free access to the information in herbaria and botanical collections in general. This can be achieved through digitization of the botanical objects and associated data.The botanical research community can count on a long-standing tradition of collaboration among institutions and individuals. It agreed on data standards and standard services even before the advent of computerization and information networking, an example being the Index Herbariorum as a global registry of herbaria helping towards the unique identification of specimens cited in the literature.In the spirit of this collaborative history, 51 representatives from 30 institutions advocate to start the digitization of botanical collections with the overall wall-to-wall digitization of the flat objects stored in German herbaria. Germany has 70 herbaria holding almost 23 million specimens according to a national survey carried out in 2019. 87% of these specimens are not yet digitized. Experiences from other countries like France, the Netherlands, Finland, the US and Australia show that herbaria can be comprehensively and cost-efficiently digitized in a relatively short time due to established workflows and protocols for the high-throughput digitization of flat objects.Most of the herbaria are part of a university (34), fewer belong to municipal museums (10) or state museums (8), six herbaria belong to institutions also supported by federal funds such as Leibniz institutes, and four belong to non-governmental organizations. A common data infrastructure must therefore integrate different kinds of institutions.Making full use of the data gained by digitization requires the set-up of a digital infrastructure for storage, archiving, content indexing and networking as well as standardized access for the scientific use of digital objects. A standards-based portfolio of technical components has already been developed and successfully tested by the Biodiversity Informatics Community over the last two decades, comprising among others access protocols, collection databases, portals, tools for semantic enrichment and annotation, international networking, storage and archiving in accordance with international standards. This was achieved through the funding by national and international programs and initiatives, which also paved the road for the German contribution to the Global Biodiversity Information Facility (GBIF).Herbaria constitute a large part of the German botanical collections that also comprise living collections in botanical gardens and seed banks, DNA- and tissue samples, specimens preserved in fluids or on microscope slides and more. Once the herbaria are digitized, these resources can be integrated, adding to the value of the overall research infrastructure. The community has agreed on tasks that are shared between the herbaria, as the German GBIF model already successfully demonstrates.We have compiled nine scientific use cases of immediate societal relevance for an integrated infrastructure of botanical collections. They address accelerated biodiversity discovery and research, biomonitoring and conservation planning, biodiversity modelling, the generation of trait information, automated image recognition by artificial intelligence, automated pathogen detection, contextualization by interlinking objects, enabling provenance research, as well as education, outreach and citizen science.We propose to start this initiative now in order to valorize German botanical collections as a vital part of a worldwide biodiversity data pool.
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 nucleosynthesis of elements beyond iron is dominated by neutron captures in the s and r processes. However, 32 stable, proton-rich isotopes cannot be formed during those processes, because they are shielded from the s-process flow and r-process β-decay chains. These nuclei are attributed to the p and rp process.
For all those processes, current research in nuclear astrophysics addresses the need for more precise reaction data involving radioactive isotopes. Depending on the particular reaction, direct or inverse kinematics, forward or time-reversed direction are investigated to determine or at least to constrain the desired reaction cross sections.
The Facility for Antiproton and Ion Research (FAIR) will offer unique, unprecedented opportunities to investigate many of the important reactions. The high yield of radioactive isotopes, even far away from the valley of stability, allows the investigation of isotopes involved in processes as exotic as the r or rp processes.
The COLTRIMS Reaction Microscope C-REMI can image the momentum vectors of all emitted charged fragments in an atomic or molecular reactions similar to the bubble chamber in high energy particle physics. C-REMI can detect fragments with “zero” kinetic energy in an ultrahigh vacuum environment by projecting them with weak electromagnetic fields onto position-sensitive detectors. Geometrically a nearly 4π collection solid angle and a nearly 50% efficiency for a fivefold multi-coincidence can be achieved. Measuring time-of-flight and detector position the momenta of the fragments can be measured with excellent resolution (<0.01 a.u.; see A1 in the Appendix). Thus, multivector correlations in momentum space are measured, which provide insight into the entangled dynamics of atomic and molecular quantum systems. From these vector-correlations phases and energies can be deduced which allow for relative time measurements even in the zeptosecond range. C-REMI provides a “spyhole” into the secrets of ultrafast dynamics of atomic and molecular processes. It is applied today around the globe in numerous research projects in physics and chemistry. The purpose for writing this article is to demonstrate the universal application possibilities of C-REMI, and its high multi-coincidence efficiency and high momentum resolution. This paper will not give a review on all milestone experiments performed with C-REMI.
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.
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.