Microbial carbon turnover in the detritusphere

Microbial decomposition processes at the soil-litter interface involves a complex food web including fungi, bacteria, and archaea that compete for the organic matter. During the decomposition, the nutrient quantity and quality changes as well as the microbial community composition. It is still a challenge to identify and quantify active microbial species in concurrency with their absolute contribution to the carbon (C) turnover. In the frame of the DFG-Project (FOR 918) “Carbon flow in belowground food webs assessed by isotope tracers“ we determined the C flow and turnover of differently aged maize litter in bacteria and fungi of an arable soil. A microcosm experiment was set up with C-13-labeled and unlabeled maize litter on top of soil cores. A reciprocal transplantation of the labeled litter on soil cores with unlabeled litter allowed us to follow the C flow into different microbial groups at the early (0-4d), intermediate (4-12d) and late stage (28-36d) of litter decomposition. We analyzed microbial CO2 respiration, microbial biomass and PLFA pattern in the top 3 mm of the soil cores. To identify and quantify microbial species feeding on the substrate and to assess their degree of C-13 assimilation, DNA stable isotope probing followed by gene-targeted sequencing of bacteria and fungi are currently performed on the soil metagenome. We expected specific microbial communities (copio- and oligotrophic) involved in maize litter decomposition at the different stages of litter decay. During the initial days of the experiment, up to 17% of the CO2-C was maize-derived C. The C-13 content in the CO2 decreased with continuous decomposition of the litter. The highest absolute amount of maize-derived C was found in gram-positive bacteria in the early stage of litter decomposition. For fungi, the highest maize C incorporation was in the intermediate stage of litter decomposition. We calculated a faster C turnover in the fungal biomass than in the bacterial biomass for all three decomposition stages. But during the later stage of litter decomposition, maize-derived C was less utilized by both bacteria and fungi. These results will be concluded by the quantitative DNA-SIP method to provide a species-resolved contribution to the C turnover in the microbial food web at different decomposition stages in the detritusphere

Metastable liquid-liquid phase transition in a single-component system with only one crystal phase and no density anomaly

We investigate the phase behavior of a single-component system in 3 dimensions with spherically-symmetric, pairwise-additive, soft-core interactions with an attractive well at a long distance, a repulsive soft-core shoulder at an intermediate distance, and a hard-core repulsion at a short distance, similar to potentials used to describe liquid systems such as colloids, protein solutions, or liquid metals. We showed [Nature {\bf 409}, 692 (2001)] that, even with no evidences of the density anomaly, the phase diagram has two first-order fluid-fluid phase transitions, one ending in a gas--low-density liquid (LDL) critical point, and the other in a gas--high-density liquid (HDL) critical point, with a LDL-HDL phase transition at low temperatures. Here we use integral equation calculations to explore the 3-parameter space of the soft-core potential and we perform molecular dynamics simulations in the interesting region of parameters. For the equilibrium phase diagram we analyze the structure of the crystal phase and find that, within the considered range of densities, the structure is independent of the density. Then, we analyze in detail the fluid metastable phases and, by explicit thermodynamic calculation in the supercooled phase, we show the absence of the density anomaly. We suggest that this absence is related to the presence of only one stable crystal structure.Comment: 15 pages, 21 figure

Assessing the quality and communicative aspects of patient decision aids for early-stage breast cancer treatment: a systematic review

Purpose: Decision aids (DAs) support patients in shared decision-making by providing balanced evidence-based treatment information and eliciting patients’ preferences. The purpose of this systematic review was to assess the quality and communicative aspects of DAs for women diagnosed with early-stage breast cancer. Methods: Twenty-one currently available patient DAs were identified through both published literature (MEDLINE, Embase, CINAHL, CENTRAL, and PsycINFO) and online sources. The DAs were reviewed for their quality by using the International Patient Decision Aid Standards (IPDAS) checklist, and subsequently assessed to what extent they paid attention to various communicative aspects, including (i) information presentation, (ii) personalization, (iii) interaction, (iv) information control, (v) accessibility, (vi) suitability, and (vii) source of information. Results: The quality of the DAs varied substantially, with many failing to comply with all components of the IPDAS criteria (mean IPDAS score = 64%, range 31–92%). Five aids (24%) did not include any probability information, 10 (48%) presented multimodal descriptions of outcome probabilities (combining words, numbers, and visual aids), and only 2 (10%) provided personalized treatment outcomes based on patients and tumor characteristics. About half (12; 57%) used interaction methods for eliciting patients’ preferences, 16 (76%) were too lengthy, and 5 (24%) were not fully accessible. Conclusions: In addition to the limited adherence to the IPDAS checklist, our findings suggest that communicative aspects receive even less attention. Future patient DA developments for breast cancer treatment should include communicative aspects that could influence the uptake of DAs in daily clinical practice

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining such sequent calculi for Pure Type Systems (PTS, which were originally presented in natural deduction style) and then organizing their rules for effective proof-search. We introduce the idea of Pure Type Sequent Calculus with meta-variables (PTSCalpha), by enriching the syntax of a permutation-free sequent calculus for propositional logic due to Herbelin, which is strongly related to natural deduction and already well adapted to proof-search. The operational semantics is adapted from Herbelin's and is defined by a system of local rewrite rules as in cut-elimination, using explicit substitutions. We prove confluence for this system. Restricting our attention to PTSC, a type system for the ground terms of this system, we obtain the Subject Reduction property and show that each PTSC is logically equivalent to its corresponding PTS, and the former is strongly normalising iff the latter is. We show how to make the logical rules of PTSC into a syntax-directed system PS for proof-search, by incorporating the conversion rules as in syntax-directed presentations of the PTS rules for type-checking. Finally, we consider how to use the explicitly scoped meta-variables of PTSCalpha to represent partial proof-terms, and use them to analyse interactive proof construction. This sets up a framework PE in which we are able to study proof-search strategies, type inhabitant enumeration and (higher-order) unification

Disease-specific mortality among stage I–III colorectal cancer patients with diabetes: a large population-based analysis

AIMS/HYPOTHESIS: The aim of our study was to investigate overall and disease-specific mortality of colorectal cancer patients with diabetes. METHODS: In this population-based study, we included all colorectal cancer patients, newly diagnosed with stage I–III cancer, between 1997 and 2007 in the registration area of the Eindhoven Cancer Registry. Stage of cancer, cancer treatment and comorbidities were actively collected by reviewing hospital medical records. Data on patients with and without diabetes were linked to Statistics Netherlands to assess vitality, date of death and underlying cause of death. Follow-up of all patients was completed until 1 January 2009. RESULTS: We included 6,974 patients with colon cancer and 3,888 patients with rectal cancer, of whom 820 (12%) and 404 (10%), respectively, had diabetes at the time of cancer diagnosis. During follow-up, death occurred in 611 (50%) of 1,224 cancer patients with diabetes and 3,817 (40%) of 9,638 cancer patients without diabetes. Multivariate Cox regression analyses, adjusted for age, sex, socioeconomic status, stage, lymph nodes examined, adjuvant therapy and year of diagnosis, showed that overall mortality was significantly higher for colon (HR 1.12, 95% CI 1.01, 1.25) and rectal (HR 1.21, 95% CI 1.03, 1.41) cancer patients with diabetes than for those without. Disease-specific mortality was only significantly increased for rectal cancer patients (HR 1.30, 95% CI 1.06, 1.60). CONCLUSIONS/INTERPRETATION: Diabetes at the time of rectal cancer diagnosis was independently associated with an increased risk of colorectal cancer mortality compared with no diabetes, suggesting a specific interaction between diabetes and rectal cancer. Future in-depth studies including detailed diabetes- and cancer-related variables should elucidate pathways

A Categorical Semantics for Inductive-Inductive Definitions

Induction-induction is a principle for defining data types in Martin-Löf Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa. In addition, the constructors for B can refer to the constructors for A. We extend the usual initial algebra semantics for ordinary inductive data types to the inductive-inductive setting by considering dialgebras instead of ordinary algebras. This gives a new and compact formalisation of inductive-inductive definitions, which we prove is equivalent to the usual formulation with elimination rules

Differences in treatment choices between prostate cancer patients using a decision aid and patients receiving care as usual:Results from a randomized controlled trial

Contains fulltext : 241596.pdf (Publisher’s version ) (Open Access

Health-related quality of life and symptom burden of epithelioid hemangioendothelioma patients:A global patient-driven Facebook study in a very rare malignancy

Contains fulltext : 225963.pdf (Publisher’s version ) (Open Access)Purpose: Epithelioid hemangioendothelioma (EHE) is an ultra-rare vascular sarcoma with unique clinical features. EHE is characterized by an unpredictable, often protracted, clinical course and highly variable clinical presentation. Due to difficulty recruiting ultra-rare cancer patients, health-related quality of life (HRQoL) of EHE patients has not yet been studied. The aim of this study was to assess EHE symptom burden and its impact on HRQoL and psychological distress.Methods: The study was initiated after EHE patients' foundations approached our research group to study HRQoL. Patients were recruited from the international EHE Facebook group from May through October 2018. Data were collected using the online PROFILES registry. Latent class cluster analysis was performed to identify groups based on frequently reported symptoms. Differences in HRQoL (EORTC-QLQ-C30) and psychological distress (Hospital Anxiety and Depression Scale) between symptom-based clusters were examined.Results: Among 115 EHE patients from 20 countries, three clusters were identified, with low-, intermediate- and high-symptom burden, respectively. Highly symptomatic patients (33%) had clinically relevantly lower scores on HRQoL compared to the other two groups (p < 0.001). These patients suffered mostly from pain, insomnia and fatigue. Symptom burden significantly correlated with reduced daily functioning and high levels of psychological distress. Only for highly symptomatic patients, HRQoL and symptom levels were worse compared to healthy individuals.Conclusion: For the first time, we studied HRQoL in a large international cohort of ultra-rare cancer patients with distinct clinical characteristics, enabled by collaboration with patients and use of social media. We showed a considerable number of EHE patients were highly symptomatic, with a significant impact on HRQoL and psychological distress