Refine
Year of publication
Document Type
- Preprint (669)
- Article (402)
- Working Paper (10)
- Conference Proceeding (3)
- Doctoral Thesis (1)
Has Fulltext
- yes (1085)
Is part of the Bibliography
- no (1085)
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)
- Jets (4)
- Quark-Gluon Plasma (4)
- ALICE (3)
- Heavy Ions (3)
- Jets and Jet Substructure (3)
- Nebenläufigkeit (3)
- pp collisions (3)
- Beauty production (2)
- Charm physics (2)
- Experimental nuclear physics (2)
- Experimental particle physics (2)
- Funktionale Programmiersprache (2)
- Heavy Quark Production (2)
- Lepton-Nucleon Scattering (experiments) (2)
- Particle Correlations and Fluctuations (2)
- Particle and resonance production (2)
- Particle correlations and fluctuations (2)
- Pb–Pb collisions (2)
- Pufferspeicher (2)
- QCD (2)
- Single electrons (2)
- 900 GeV (1)
- ALICE detector (1)
- Alice ML (1)
- Anti-nuclei (1)
- Bacteraemia (1)
- Berufliche Gesundheit (1)
- Berufszufriedenheit (1)
- Betriebliche Gesundheitsförderung (1)
- Bloodstream infections (1)
- Boosted Jets (1)
- Büroarbeit (1)
- CVID (1)
- Cancer models (1)
- Centrality Class (1)
- Centrality Selection (1)
- Cognitive impairment (1)
- Collective Flow, (1)
- Comparison with QCD (1)
- Contextual Equivalence (1)
- Dance (1)
- Dehntraining (1)
- Electron-pion identification (1)
- Electroweak interaction (1)
- Elliptic flow (1)
- European Society for Immunodeficiencies (ESID) (1)
- Extracorporeal devices (1)
- FOS: Physical sciences (1)
- Femtoscopy (1)
- Fibre/foam sandwich radiator (1)
- First-line regimen (1)
- Five-Konzept (1)
- Futures (1)
- Genetic engineering (1)
- German PID-NET registry (1)
- HBT (1)
- HIV (1)
- Hadron production (1)
- Hadron-Hadron Scattering Heavy (1)
- Hadron-hadron interactions (1)
- Haemodialysis (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)
- High Energy Physics - Lattice (hep-lat) (1)
- High Energy Physics - Phenomenology (hep-ph) (1)
- High Energy Physics - Theory (hep-th) (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)
- Job satisfaction (1)
- Lambda Calculus (1)
- Lebensqualität (1)
- Leukaemia (1)
- ML <Programmiersprache> (1)
- Material budget (1)
- Mid-rapidity (1)
- Minimum Bias (1)
- Monte Carlo (1)
- Multi-Parton Interactions (1)
- Multi-strange baryons (1)
- Multi-wire proportional drift chamber (1)
- Musculoskeletal diseases (1)
- Muskuloskeletale Erkrankungen (1)
- NMDA IgA/IgM antibodies (1)
- NMDA antibody (1)
- Neural network (1)
- Nuclear Theory (nucl-th) (1)
- Nuclear modification factor (1)
- Nucleus (1)
- Occupational health (1)
- Office work (1)
- Operational Semantics (1)
- PID prevalence (1)
- PYTHIA (1)
- Parkinson disease (1)
- Particle and Resonance Production (1)
- Pb–Pb (1)
- Pedagogue (1)
- Pharmacodynamics (1)
- Production Cross Section (1)
- Properties of Hadrons (1)
- Proton (1)
- Proton–proton (1)
- Pädagoge/in (1)
- Quality of life (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)
- Resolution Parameter (1)
- SF-36 (1)
- Single muons (1)
- Strangeness (1)
- Stretch training (1)
- Subjective health status (1)
- Subjektiver Gesundheitszustand (1)
- Systematic Uncertainty (1)
- TR (1)
- Tanz (1)
- Target validation (1)
- Time Projection Chamber (1)
- Tracking (1)
- Transition radiation detector (1)
- Transverse momentum (1)
- Treatment modification (1)
- Trigger (1)
- Vector Boson Production (1)
- Work health promotion (1)
- Xenon-based gas mixture (1)
- amplicon sequencing (1)
- anticoagulation (1)
- atrial fibrillation (1)
- bacteria (1)
- biogeographic legaciese (1)
- cART (1)
- dE/dx (1)
- decomposition (1)
- detector (1)
- experimental results (1)
- forest classification (1)
- forest functional similarity (1)
- heavy ion experiments (1)
- lambda calculus (1)
- left atrial appendage occlusion (1)
- metabarcoding (1)
- musculoskeletal disorders (1)
- nematode diversity (1)
- nondeterminism (1)
- occupational health (1)
- phylogenetic community distance (1)
- primary immunodeficiency (PID) (1)
- programming languages (1)
- quality of life (1)
- quark gluon plasma (1)
- registry for primary immunodeficiency (1)
- semantics (1)
- spectra (1)
- stretching (1)
- stroke (1)
- temperate forest (1)
- translation (1)
- trophic interactions (1)
- tropical forests (1)
- workplace health promotion (1)
- √sN N = 2.76 TeV (1)
Institute
- Physik (1048)
- Frankfurt Institute for Advanced Studies (FIAS) (954)
- Informatik (930)
- Medizin (18)
- Biochemie und Chemie (3)
- Informatik und Mathematik (3)
- ELEMENTS (2)
- Hochschulrechenzentrum (2)
- Biochemie, Chemie und Pharmazie (1)
- Biodiversität und Klima Forschungszentrum (BiK-F) (1)
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.
In evidence-based weight-loss programs weight regain is common after an initial weight reduction. Eating slowly significantly lowers meal energy intake and hunger ratings. Despite this knowledge, obese individuals do not implement this behaviour. We, thus tested the hypothesis of changing eating behaviour with an intra-oral medical device leading to constant weight reduction in overweight and obesity.
Six obese patients (6 men, age 56 ± 14, BMI 29 ± 2 kg / m2) with increased CVRF profile were included in this prospective study. All patients had been treated for obesity during the last 10 years in a single centre and had at least 3 frustrate evidence-based diets. Patients received a novel non-invasive intra-oral medical device to slow eating time. Further advice included not to count calories, to avoid any other form of diet, to take their time with their meals, and to eat whatever they liked.
This device was used only during meals for the first 4 to 8 weeks for a total of 88 [20–160] hours. Follow-up period was 23 [15–38] months. During this period, patients lost 11% [5–20%] (p<0.001) of their initial weight. At 12 months, all patients had lost >5%, and 67% (4/6) achieved a >10% bodyweight loss. In the course of the study, altered eating patterns were observed. There were no complications with the medical device. Of note, all patients continued to lose weight after the initial intervention period (p<0.001) and none of them had weight regain.
With this medical device, overweight and obese patients with a history of previously frustrating attempts to lose weight achieved a significant and sustained weight loss over two years. These results warrant the ongoing prospective randomised controlled trial to prove concept and mechanism of action.
Background: Bacterial burden as well as duration of bacteremia influence the outcome of patients with bloodstream infections. Promptly decreasing bacterial load in the blood by using extracorporeal devices in addition to anti-infective therapy has recently been explored. Preclinical studies with the Seraph® 100 Microbind® Affinity Blood Filter (Seraph® 100), which consists of heparin that is covalently bound to polymer beads, have demonstrated an effective binding of bacteria and viruses. Pathogens adhere to the heparin coated polymer beads in the adsorber as they would normally do to heparan sulfate on cell surfaces. Using this biomimetic principle, the Seraph® 100 could help to decrease bacterial burden in vivo.
Methods: This first in human, prospective, multicenter, non-randomized interventional study included patients with blood culture positive bloodstream infection and the need for kidney replacement therapy as an adjunctive treatment for bloodstream infections. We performed a single four-hour hemoperfusion treatment with the Seraph® 100 in conjunction with a dialysis procedure. Post procedure follow up was 14 days.
Results: Fifteen hemodialysis patients (3F/12 M, age 74.0 [68.0–78.5] years, dialysis vintage 28.0 [11.0–45.0] months) were enrolled. Seraph® 100 treatment started 66.4 [45.7–80.6] hours after the initial positive blood culture was drawn. During the treatment with the Seraph® 100 with a median blood flow of 285 [225–300] ml/min no device or treatment related adverse events were reported. Blood pressure and heart rate remained stable while peripheral oxygen saturation improved during the treatment from 98.0 [92.5–98.0] to 99.0 [98.0–99.5] %; p = 0.0184. Four patients still had positive blood culture at the start of Seraph® 100 treatment. In one patient blood cultures turned negative during treatment. The time to positivity (TTP) was increased between inflow and outflow blood cultures by 36 [− 7.2 to 96.3] minutes. However, overall TTP increase was not statistical significant.
Conclusions: Seraph® 100 treatment was well tolerated. Adding Seraph® 100 to antibiotics early in the course of bacteremia might result in a faster resolution of bloodstream infections, which has to be evaluated in further studies.
Introduction: The German PID-NET registry was founded in 2009, serving as the first national registry of patients with primary immunodeficiencies (PID) in Germany. It is part of the European Society for Immunodeficiencies (ESID) registry. The primary purpose of the registry is to gather data on the epidemiology, diagnostic delay, diagnosis, and treatment of PIDs.
Methods: Clinical and laboratory data was collected from 2,453 patients from 36 German PID centres in an online registry. Data was analysed with the software Stata® and Excel.
Results: The minimum prevalence of PID in Germany is 2.72 per 100,000 inhabitants. Among patients aged 1–25, there was a clear predominance of males. The median age of living patients ranged between 7 and 40 years, depending on the respective PID. Predominantly antibody disorders were the most prevalent group with 57% of all 2,453 PID patients (including 728 CVID patients). A gene defect was identified in 36% of patients. Familial cases were observed in 21% of patients. The age of onset for presenting symptoms ranged from birth to late adulthood (range 0–88 years). Presenting symptoms comprised infections (74%) and immune dysregulation (22%). Ninety-three patients were diagnosed without prior clinical symptoms. Regarding the general and clinical diagnostic delay, no PID had undergone a slight decrease within the last decade. However, both, SCID and hyper IgE- syndrome showed a substantial improvement in shortening the time between onset of symptoms and genetic diagnosis. Regarding treatment, 49% of all patients received immunoglobulin G (IgG) substitution (70%—subcutaneous; 29%—intravenous; 1%—unknown). Three-hundred patients underwent at least one hematopoietic stem cell transplantation (HSCT). Five patients had gene therapy.
Conclusion: The German PID-NET registry is a precious tool for physicians, researchers, the pharmaceutical industry, politicians, and ultimately the patients, for whom the outcomes will eventually lead to a more timely diagnosis and better treatment.
Background: The potential anti-cancer effects of mammalian target of rapamycin (mTOR) inhibitors are being intensively studied. To date, however, few randomised clinical trials (RCT) have been performed to demonstrate anti-neoplastic effects in the pure oncology setting, and at present, no oncology endpoint-directed RCT has been reported in the high-malignancy risk population of immunosuppressed transplant recipients. Interestingly, since mTOR inhibitors have both immunosuppressive and anti-cancer effects, they have the potential to simultaneously protect against immunologic graft loss and tumour development. Therefore, we designed a prospective RCT to determine if the mTOR inhibitor sirolimus can improve hepatocellular carcinoma (HCC)-free patient survival in liver transplant (LT) recipients with a pre-transplant diagnosis of HCC. Methods: The study is an open-labelled, randomised, RCT comparing sirolimus-containing versus mTOR-inhibitor-free immunosuppression in patients undergoing LT for HCC. Patients with a histologically confirmed HCC diagnosis are randomised into 2 groups within 4-6 weeks after LT; one arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol and the second arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol for the first 4-6 weeks, at which time sirolimus is initiated. A 3-year recruitment phase is planned with a 5-year follow-up, testing HCC-free survival as the primary endpoint. Our hypothesis is that sirolimus use in the second arm of the study will improve HCC-free survival. The study is a non-commercial investigator-initiated trial (IIT) sponsored by the University Hospital Regensburg and is endorsed by the European Liver and Intestine Transplant Association; 13 countries within Europe, Canada and Australia are participating. Discussion: If our hypothesis is correct that mTOR inhibition can reduce HCC tumour growth while simultaneously providing immunosuppression to protect the liver allograft from rejection, patients should experience less post-transplant problems with HCC recurrence, and therefore could expect a longer and better quality of life. A positive outcome will likely change the standard of posttransplant immunosuppressive care for LT patients with HCC. (trial registered at www.clinicaltrials.gov: NCT00355862) (EudraCT Number: 2005-005362-36)
The title compound, C37H67NO13·2C2H6OS·1.43H2O, is a macrolide antibiotic with better solubility and better dermal penetration abilities than erythromycin A itself. The asymmetric unit of this form contains one erythromycin A molecule, two dimethyl sulfoxide (DMSO) solvent molecules, a fully occupied water molecule and a partially occupied water molecule with an occupancy factor of 0.432 (11). The 14-membered ring of the erythronolide fragment has a conformation which differs considerably from that in erythromycin A dihydrate [Stephenson, Stowell, Toma, Pfeiffer & Byrn (1997[Stephenson, G. A., Stowell, J. G., Toma, P. H., Pfeiffer, R. R. & Byrn, S. R. (1997). J. Pharm. Sci. 86, 1239-1244.]). J. Pharm. Sci. 86, 1239–1244]. One of the two DMSO molecules is disordered over two orientations; the orientation depends on the presence or absence of the second, partially occupied, water molecule. In the crystal, erythromycin molecules are connected by O—H⋯O hydrogen bonds involving the hydroxy groups and the fully occupied water molecule to form layers parallel to (010). These layers are connected along the b-axis direction only by a possible hydrogen-bonding contact involving the partially occupied water molecule.
Towards a THz Bloch laser
(2011)
The realisation of tunable THz laser sources working at room temperature would give
rise to further applications in this range of the electromagnetic spectrum. The THz
Bloch laser could therefore become the basis for a technological breakthrough. Beside
this practical relevance, the physics of the gain mechanism has been investigated
theoretically for a long time and the experimental implementation of a self-starting
laser still has not been achieved.
At the beginning of this thesis the basic principles of Bloch oscillations and the
related Bloch gain are described. The need of a superlattice structure to make Bloch
oscillations possible in a semiconductor material is discussed. In this context, the effect
of negative differential resistance and its influence on the field distribution due to Gunn
domains is explained. The latter lead to an inhomogeneous field which may suppress
the Bloch gain mechanism. The Krömer criterion is introduced and the concept of
field-pinning layers to improve the field homogeneity is deduced. Finally, the design of
the laser material is shown and different types of laser waveguides are compared.
In chapter 3 detailed recipes for the processing of samples are given. Different types of
contacts (ohmic and Schottky), the wafer bonding process required for double-metal
lasers and the application of different photoresists for different purposes are described.
An explanation of the formation of waveguides due to dry etching, wet etching
and ion implantation follows. Dry etching is an established technique in the field
of microstructure processing but the challenge of etching about 20 μm has led to
problems. The high etching depth also makes wet etching difficult but this method
could be improved due to a hard bake of the photoresist. The protection of critical
areas on the surface of the samples with photoresist during ion implantation was
increased by optimising the spin coating process. However, a full implantation of the
active layer between the waveguides was not achieved which was the reason for the
development of the hybrid technology. Here a prior wet etching of about 10 μm is
performed and the rest of the material is implanted.
The experimental setup is shown in chapter 4. An alternative method for the electrical
contacting with the help of a copper bar is introduced. This improves the current
distribution and the risk of an electrical breakdown during the measurements could
therefore be lowered. Devices for THz beam guidance and spectroscopic measurements
are shown and the method of biasing the samples with pulses below 100 ns and
determining the effective voltage applied to the sample is depicted. These short pulses
are required to prevent the samples heating up drastically due to high power.
Chapter 5 contains the current-voltage characterisation of several structures including
I-V-samples, Bloch laser samples and a quantum cascade laser. Different contacts
(ohmic and Schottky) and different techniques for the formation of the ridges have
been used in the processing of these samples (performed at the University of Frankfurt
in all cases) and their influence on the I-V-dependence is discussed. The properties of
the THz emission of the quantum cascade laser are in good agreement with published
results from lasers processed with the same material. Another important result of
this chapter is that the Bloch laser samples show unstable behaviour compared to the
quantum cascade structure even with short pulses (of about 10 ns) where the risk of an
electrical breakdown or the building of filaments is low. THz radiation emitted from
one of the Bloch laser samples could not be observed.
Two aspects that may have prevented the Bloch laser to emit are discussed in
chapter 6. The saturation of the gain for higher amplitudes of the THz wave is
investigated in single mode and multiple mode operation (the latter could occur due
to the Bloch gain being expected to be broadband). In both cases it is shown that
the saturation effect would limit the output power only to values clearly above the
detection limit. In the subsequent section the distribution of the electric field is
simulated with SILVACO software. Structures with transit layer lengths above the
Krömer criterion are compared with structures which include field-pinning layers. It is
shown that the latter are useful to avoid propagating Gunn domains as they build up
in similar structures without field-pinning layers. Nevertheless, the electric field inside
the superlattice regions is not stable. Beside spatial inhomogeneities also temporal
variations of the field magnitude are observed. The lack of a suitable field distribution
is expected to be the main reason for the samples not to work.
Only 3 of the 13 species so far comprised in Amphidium were retained in the genus: A lapponicum (Hedw.) Schimp., A. mougeotii (B.S.G.) Schimp. and A. tortuosum (Hornschuch) Cufodontis. Amphidium. sublapponicum (C. Müll.) Broth. is conspecific with A. lapponicum, A. cyathicarpum (Mont.) Broth., A. curvipes (C. Müll.) Broth. and A. californicum (C. Müll.) Broth. are synoymous with A. tortuosum. Amphidium brevifolium Broth., A. clastophyllum Broth. and A. papillosum Broth., all known only from the type locality, are sterile and differ vegetatively from all other species of the genus. They belong probably not to Amphidium. The types of Amphidium letestui Thér. & P. Varde, A. aloysii-sabaudiae Negri and A. remotidens (C. Müll.) Broth. could not be located.
Transcatheter left atrial appendage occlusion (LAAO) is non-inferior to vitamin K antagonists (VKAs) in preventing thromboembolic events in atrial fibrillation (AF). Non-vitamin K antagonists (NOACs) have an improved safety profile over VKAs; however, evidence regarding their effect on cardiovascular and neurological outcomes relative to LAAO is limited. Up-to-date randomized trials or propensity-score-matched data comparing LAAO vs. NOACs in high-risk patients with AF were pooled in our study. A total of 2849 AF patients (LAAO: 1368, NOACs: 1481, mean age: 75 ± 7.5 yrs, 63.5% male) were enrolled. The mean CHA2DS2-VASc score was 4.3 ± 1.7, and the mean HAS-BLED score was 3.4 ± 1.2. The baseline characteristics were comparable between the two groups. In the LAAO group, the success rate of device implantation was 98.8%. During a mean follow-up of 2 years, as compared with NOACs, LAAO was associated with a significant reduction of ISTH major bleeding (p = 0.0002). There were no significant differences in terms of ischemic stroke (p = 0.61), ischemic stroke/thromboembolism (p = 0.63), ISTH major and clinically relevant minor bleeding (p = 0.73), cardiovascular death (p = 0.63), and all-cause mortality (p = 0.71). There was a trend toward reduction of combined major cardiovascular and neurological endpoints in the LAAO group (OR: 0.84, 95% CI: 0.64–1.11, p = 0.12). In conclusion, for high-risk AF patients, LAAO is associated with a significant reduction of ISTH major bleeding without increased ischemic events, as compared to “contemporary NOACs”. The present data show the superior role of LAAO over NOACs among high-risk AF patients in terms of reduction of major bleeding; however, more randomized controlled trials are warranted.
Nematodes represent a diverse and ubiquitous group of metazoans in terrestrial environments. They feed on bacteria, fungi, plants, other nematodes or parasitize a variety of animals and hence may be considered as active members of many food webs. Deadwood is a structural component of forest ecosystems which harbors many niches for diverse biota. As fungi and bacteria are among the most prominent decomposing colonizers of deadwood, we anticipated frequent and diverse nematode populations to co-occur in such ecosystems. However, knowledge about their ability to colonize this habitat is still limited. We applied DNA-based amplicon sequencing (metabarcoding) of the 18S rRNA gene to analyze nematode communities in sapwood and heartwood of decaying logs from 13 different tree species. We identified 247 nematode ASVs (amplicon sequence variants) from 27 families. Most of these identified families represent bacterial and fungal feeders. Their composition strongly depended on tree species identity in both wood compartments. While pH and water content were the only wood properties that contributed to nematodes’ distribution, co-occurring fungal and prokaryotic (bacteria and archaea) α- and β-diversities were significantly related to nematode communities. By exploring thirteen different tree species, which exhibit a broad range of wood characteristics, this study provides first and comprehensive insights into nematode diversity in deadwood of temperate forests and indicates connectivity to other wood-inhabiting organisms.
Hintergrund: Der eigene Körper ist das zentrale Arbeitsinstrument eines*einer Tanzpädagog*in (TP) innerhalb der Bewegungsvermittlung. Bisher fehlen Erkenntnisse über die subjektive Wahrnehmung der eigenen berufsassoziierten Gesundheit und Zufriedenheit sowie die Identifizierung gesundheitsbelastender Berufsmerkmale.
Methodik: Im Rahmen einer fragebogenbasierten Querschnittserhebung wurde eine Kohorte von TP in Deutschland zur eigenen Gesundheit und generellen Berufszufriedenheit und belastenden Aspekten im Zusammenhang mit ihrer Berufsausübung untersucht. Zusätzlich wurden allgemeine anthropometrische und soziodemographische Merkmale erfasst. Neben der Betrachtung der Gesamtkohorte wurde auf geschlechtsspezifische Unterschiede getestet. In die statistische Analyse wurden n = 232 TP (m: 51/w: 181) im Alter von 43,1 ± 11,0 Jahren eingeschlossen.
Ergebnisse: Der allgemeine Gesundheitszustand wurde von 85,3 % der Befragten mit „befriedigend“ (26,1 %) bis „sehr gut“ (14,7 %) beurteilt. 59,2 % der Tanzpädagog*innen schätzten ihre Gesundheit „gut“ (35,3 %) bis „sehr gut“ ein. Es herrschte eine hohe Zufriedenheit mit der eigenen Berufsausübung für 80 % der Teilnehmenden. Die TP fühlten sich überwiegend in der Lage (trifft „voll & ganz“ bzw. „eher zu“), mit den physischen (75,7 %) und psychischen Berufsanforderungen (70,3 %) umzugehen. Als belastende Berufsmerkmale in der Eigenwahrnehmung können neben Zukunftsängsten (51,5 %) vor allem arbeitsorganisatorische (fehlende Zeit für Familie und Freunde bei 28,4 %) und ökonomische Aspekte (Einkommensunsicherheit bei 61,0 % und fehlende Altersabsicherung bei 65,7 %) herausgestellt werden.
Diskussion: Die Berufsausübung als TP geht mit einer hohen generellen Zufriedenheit und einem positiven Empfinden des eigenen Gesundheitszustandes einher. Eine Bestätigung dieser positiven Ergebnisse durch Verletzungs- und Erkrankungsstatistiken steht noch aus. Darüber hinaus wäre eine Verbesserung arbeitsorganisatorischer und ökonomischer Aspekte wünschenswert.
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.