Spatial Patterns of Soil Development, Methane Oxidation, and Methanotrophic Diversity along a Receding Glacier Forefield, Southeast Greenland

Increasing global annual temperature leads to massive loss of ice cover worldwide. Consequently, glaciers retreat and ice-covered areas become exposed. We report on a study from the Mittivakkat Gletscher forefield in Southeast Greenland with special focus on methanotrophy in relation to exposure time to the atmosphere. The Mittivakkat Gletscher has receded since the end of the Little Ice Age (LIA; about AD 1850) and has left behind a series of deposits of decreasing age concurrently with its recession. Soil samples from this chronosequence were examined in order to elucidate main soil variables, as well as the activity and community structure of methanotrophs, a group of microorganisms involved in regulation of atmospheric methane. Soil variables revealed poor soil development, and incubation experiments showed methane consumption rates of 2.14 nmol CH4 day−1 gsoil −1 at 22 °C and 1.24 nmol CH4 day−1 gsoil −1 at 10 °C in the LIA terminal moraine. Methane consumption was not detected in younger samples, despite the presence of high-affinity methanotrophs in all samples. This was indicated by successful amplification of partial pmoA genes, which code for a subunit of a key enzyme involved in methane oxidation. In addition, the results of the diversity study show that the diversity of the methanotrophic community at the younger, recently deglaciated site P5 is poorer than the diversity of the community retrieved from the LIA moraine. We put forward the hypothesis that aerobic methanotrophs were at very low abundance and diversity during glaciation probably due to anoxia at the ice-sediment interface and that colonization after deglaciation is not completed yet. More detailed studies are required to explain the causes of discrepancy between activity and presence of high-affinity methanotrophs and its relation to the transit from ice-covered probably anoxic to ice-free oxi

Diversity of Listeria monocytogenes strains of clinical and food chain origins in Belgium between 1985 and 2014

Listeriosis is a rare but severe disease, mainly caused by Listeria monocytogenes. This study shows the results of the laboratory-based surveillance of Listeriosis in Belgium over the period 1985-2014. Besides the incidence and some demographic data we present also more detailed microbiological and molecular characteristics of human strains isolated since 2000. The strains from the latter period were compared to food and animal strains from the same period. Our study shows that different food matrices were commonly contaminated with L. monocytogenes presenting the same PFGE profile as in patient's isolates. Since 1985, we observed a significant decrease in incidence of the Materno-Neonatal cases (from 0.15 to 0.04 cases /100,000 inhabitants-year), which is probably to be attributed to active prevention campaigns targeting pregnant women. Despite the strengthening of different control measures by the food industry, the incidence of non-Materno-Neonatal listeriosis increased in Belgium (from 0.3 to 0.7 cases /100,000 inhabitants-year), probably due to the rise of highly susceptible patients in an aging population. This significant increase found in non-Materno-Neonatal cases (slope coefficient 7.42%/year, P< 0.0001) can be attributed to significant increase in incidence of isolates belonging to serovars 1/2a (n = 393, slope coefficient 6.62%/year, P< 0.0001). Although resistance to antimicrobials is rare among L. monocytogenes isolates, a trend to increasing MIC values is evident with chloramphenicol, amoxicillin, tetracycline and ciprofloxacin. We show that fluoroquinolone resistance is not linked to chromosomal mutations, but caused by a variety of efflux pumps. Our study also shows that huge majority of known underlying pathologies (426 out of 785 cases) were cancers (185/426, 43.1%) and haematological malignancies (75/185, 40.5%). Moreover the risk population is susceptible to low levels of contamination in food stressing the need of prevention campaigns specifically targeting these persons

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Modal formulae express monadic second-order properties on Kripke frames, but in many important cases these have first-order equivalents. Computing such equivalents is important for both logical and computational reasons. On the other hand, canonicity of modal formulae is important, too, because it implies frame-completeness of logics axiomatized with canonical formulae. Computing a first-order equivalent of a modal formula amounts to elimination of second-order quantifiers. Two algorithms have been developed for second-order quantifier elimination: SCAN, based on constraint resolution, and DLS, based on a logical equivalence established by Ackermann. In this paper we introduce a new algorithm, SQEMA, for computing first-order equivalents (using a modal version of Ackermann's lemma) and, moreover, for proving canonicity of modal formulae. Unlike SCAN and DLS, it works directly on modal formulae, thus avoiding Skolemization and the subsequent problem of unskolemization. We present the core algorithm and illustrate it with some examples. We then prove its correctness and the canonicity of all formulae on which the algorithm succeeds. We show that it succeeds not only on all Sahlqvist formulae, but also on the larger class of inductive formulae, introduced in our earlier papers. Thus, we develop a purely algorithmic approach to proving canonical completeness in modal logic and, in particular, establish one of the most general completeness results in modal logic so far.Comment: 26 pages, no figures, to appear in the Logical Methods in Computer Scienc

Multi-decadal marine- and land-terminating glacier recession in the Ammassalik region, southeast Greenland

Landsat imagery was applied to elucidate glacier fluctuations of land- and marine-terminating outlet glaciers from the Greenland Ice Sheet (GrIS) and local land-terminating glaciers and ice caps (GIC) peripheral to the GrIS in the Ammassalik region, Southeast Greenland, during the period 1972–2011. Data from 21 marine-terminating glaciers (including the glaciers Helheim, Midgaard, and Fenris), the GrIS land-terminating margin, and 35 GIC were examined and compared to observed atmospheric air temperatures, precipitation, and reconstructed ocean water temperatures (at 400 m depth in the Irminger Sea). Here, we document that net glacier recession has occurred since 1972 in the Ammassalik region for all glacier types and sizes, except for three GIC. The land-terminating GrIS and GIC reflect lower marginal and areal changes than the marine-terminating outlet glaciers. The mean annual land-terminating GrIS and GIC margin recessions were about three to five times lower than the GrIS marine-terminating recession. The marine-terminating outlet glaciers had an average net frontal retreat for 1999–2011 of 0.098 km yr&lt;sup&gt;−1&lt;/sup&gt;, which was significantly higher than in previous sub-periods 1972–1986 and 1986–1999. For the marine-terminating GrIS, the annual areal recession rate has been decreasing since 1972, while increasing for the land-terminating GrIS since 1986. On average for all the observed GIC, a mean net frontal retreat for 1986–2011 of 0.010 ± 0.006 km yr&lt;sup&gt;−1&lt;/sup&gt; and a mean areal recession of around 1% per year occurred; overall for all observed GIC, a mean recession rate of 27 ± 24% occurred based on the 1986 GIC area. Since 1986, five GIC melted away in the Ammassalik area

Chiropractic, one big unhappy family: Better together or apart?

Background The chiropractic profession has a long history of internal conflict. Today, the division is between the 'evidence-friendly' faction that focuses on musculoskeletal problems based on a contemporary and evidence-based paradigm, and the 'traditional' group that subscribes to concepts such as 'subluxation' and the spine as the centre of good health. This difference is becoming increasingly obvious and problematic from both within and outside of the profession in light of the general acceptance of evidence-based practice as the basis for health care. Because this is an issue with many factors to consider, we decided to illustrate it with an analogy. We aimed to examine the chiropractic profession from the perspective of an unhappy marriage by defining key elements in happy and unhappy marriages and by identifying factors that may determine why couples stay together or spilt up. Main body We argue here that the situation within the chiropractic profession corresponds very much to that of an unhappy couple that stays together for reasons that are unconnected with love or even mutual respect. We also contend that the profession could be conceptualised as existing on a spectrum with the 'evidence-friendly' and the 'traditional' groups inhabiting the end points, with the majority of chiropractors in the middle. This middle group does not appear to be greatly concerned with either faction and seems comfortable taking an approach of 'you never know who and what will respond to spinal manipulation'. We believe that this 'silent majority' makes it possible for groups of chiropractors to practice outside the logical framework of today's scientific concepts. Conclusion There is a need to pause and consider if the many reasons for disharmony within the chiropractic profession are, in fact, irreconcilable. It is time to openly debate the issue of a professional split by engaging in formal and courageous discussions. This item should be prioritised on the agendas of national associations, conferences, teaching institutions, and licensing/registration as well as accreditation bodies. However, for this to happen, the middle group of chiropractors will have to become engaged and consider the benefits and risks of respectively staying together or breaking up

Cluster: Mission Overview and End-of-Life Analysis

The Cluster mission is part of the scientific programme of the European Space Agency (ESA) and its purpose is the analysis of the Earth's magnetosphere. The Cluster project consists of four satellites. The selected polar orbit has a shape of 4.0 and 19.2 Re which is required for performing measurements near the cusp and the tail of the magnetosphere. When crossing these regions the satellites form a constellation which in most of the cases so far has been a regular tetrahedron. The satellite operations are carried out by the European Space Operations Centre (ESOC) at Darmstadt, Germany. The paper outlines the future orbit evolution and the envisaged operations from a Flight Dynamics point of view. In addition a brief summary of the LEOP and routine operations is included beforehand