Formality theorems for Hochschild complexes and their applications

We give a popular introduction to formality theorems for Hochschild complexes and their applications. We review some of the recent results and prove that the truncated Hochschild cochain complex of a polynomial algebra is non-formal.Comment: Submitted to proceedings of Poisson 200

Prevalences of primary headache symptoms at school-entry: a population-based epidemiological survey of preschool children in Germany

Primary headache and functional abdominal pain prevalences in an unselected populationbased sample of German preschool children and their parents (n=885) were collected in relation to health-related quality of life and sociodemographic variables. The pain symptoms were assessed according to IHS classification (2004) and Rome-II criteria (1999) during the 2004 data census. The participation rate was 62.7%, with an equal gender distribution. The focus of this paper lies on the symptom-oriented point prevalences for primary headaches of preschool children: 3.6% headache, 33.2% abdominal pain, 48.8% headache+abdominal pain and 14.4% without pain. High comorbidities for pain-affected children have been found. Pain intensities differ significantly only for abdominal pain (one-way ANOVA F=3,339, df=4/445, p=0.010*), not for headaches. However, recurrent headaches show a striking ratio in favour of boys (10:1). Children at preschool age have high quality-of-life measures, already influenced negatively by paediatric pain experiences (one-way ANOVA: F=9,193, df=4/546, p=0.000**). Headache and abdominal pain are relevant for children’s everyday life; hence, simultaneous and prospective assessment is an essential issue in public health research

Gene probing reveals the widespread distribution, diversity and abundance of isoprene-degrading bacteria in the environment

Background: Approximately 500 Tg of isoprene are emitted to the atmosphere annually, an amount similar to that of methane, and despite its significant effects on the climate, very little is known about the biological degradation of isoprene in the environment. Isolation and characterisation of isoprene degraders at the molecular level has allowed the development of probes targeting isoA encoding the α-subunit of the isoprene monooxygenase. This enzyme belongs to the soluble diiron centre monooxygenase family and catalyses the first step in the isoprene degradation pathway. The use of probes targeting key metabolic genes is a successful approach in molecular ecology to study specific groups of bacteria in complex environments. Here, we developed and tested a novel isoA PCR primer set to study the distribution, abundance, and diversity of isoprene degraders in a wide range of environments. Results: The new isoA probes specifically amplified isoA genes from taxonomically diverse isoprene-degrading bacteria including members of the genera Rhodococcus, Variovorax, and Sphingopyxis. There was no cross-reactivity with genes encoding related oxygenases from non-isoprene degraders. Sequencing of isoA amplicons from DNA extracted from environmental samples enriched with isoprene revealed that most environments tested harboured a considerable variety of isoA sequences, with poplar leaf enrichments containing more phylogenetically diverse isoA genes. Quantification by qPCR using these isoA probes revealed that isoprene degraders are widespread in the phyllosphere, terrestrial, freshwater and marine environments. Specifically, soils in the vicinity of high isoprene-emitting trees contained the highest number of isoprene-degrading bacteria. Conclusion: This study provides the molecular ecology tools to broaden our knowledge of the distribution, abundance and diversity of isoprene degraders in the environment, which is a fundamental step necessary to assess the impact that microbes have in mitigating the effects of this important climate-active gas

Gleitlager und Verfahren zu seiner Herstellung

NOVELTY - An bearing surface for a metal bearing is produced by electron beam deposition onto a steel base layer (1) coated with an intermediate metal alloy layer (2). DETAILED DESCRIPTION - The bearing layer is of copper or aluminium and the rounded peaks (4) have diameters of 3 to 8 microns. The peaks cover 30 to 50 percent of the surface and with a surface roughness of 3 to 7 microns. The electron beam deposition is performed at a pressure less than 0.1 Pa at a rate of 100 nm per sec. During deposition the substrate is held at a temperature of between 75 and 95 percent of the lowest melting point of the layers. USE - Metal bearings. ADVANTAGE - A bearing layer which is resistant to corrosion and which has improved bearing properties

On transforming model-based tests into code: A systematic literature review

Model-based test design is increasingly being applied in practice and studied in research. Model-based testing (MBT) exploits abstract models of the software behaviour to generate abstract tests, which are then transformed into concrete tests ready to run on the code. Given that abstract tests are designed to cover models but are run on code (after transformation), the effectiveness of MBT is dependent on whether model coverage also ensures coverage of key functional code. In this article, we investigate how MBT approaches generate tests from model specifications and how the coverage of tests designed strictly based on the model translates to code coverage. We used snowballing to conduct a systematic literature review. We started with three primary studies, which we refer to as the initial seeds. At the end of our search iterations, we analysed 30 studies that helped answer our research questions. More specifically, this article characterizes how test sets generated at the model level are mapped and applied to the source code level, discusses how tests are generated from the model specifications, analyses how the test coverage of models relates to the test coverage of the code when the same test set is executed and identifies the technologies and software development tasks that are on focus in the selected studies. Finally, we identify common characteristics and limitations that impact the research and practice of MBT: (i) some studies did not fully describe how tools transform abstract tests into concrete tests, (ii) some studies overlooked the computational cost of model-based approaches and (iii) some studies found evidence that bears out a robust correlation between decision coverage at the model level and branch coverage at the code level. We also noted that most primary studies omitted essential details about the experiments