An implementation relation for cyclic systems with refusals and discrete time

This paper explores a particular type of model, a cyclic model, in which there are sequences of observable actions separated by discrete time intervals, introduces a novel implementation relation and studies some properties of this relation. Implementation relations formalise what it means for an unknown model of the system under test (SUT) to be a correct implementation of a specification. Many implementation relations are variants of the well known ioco implementation relation, and this includes several timed versions of ioco. It transpires that the timed variants of ioco are not suitable for cyclic models. Our implementation relation encapsulates the discrete nature of time in cyclic models and takes into account not only the actions that models can perform but also the ones that they can refuse at each point of time. We prove that our implementation relation is a conservative extension of trace containment and present two alternative characterisations

Colorectal cancer health services research study protocol: the CCR-CARESS observational prospective cohort project

BACKGROUND: Colorectal cancers are one of the most common forms of malignancy worldwide. But two significant areas of research less studied deserve attention: health services use and development of patient stratification risk tools for these patients. METHODS:DESIGN: a prospective multicenter cohort study with a follow up period of up to 5 years after surgical intervention. Participant centers: 22 hospitals representing six autonomous communities of Spain. Participants/Study population: Patients diagnosed with colorectal cancer that have undergone surgical intervention and have consented to participate in the study between June 2010 and December 2012. Variables collected include pre-intervention background, sociodemographic parameters, hospital admission records, biological and clinical parameters, treatment information, and outcomes up to 5 years after surgical intervention. Patients completed the following questionnaires prior to surgery and in the follow up period: EuroQol-5D, EORTC QLQ-C30 (The European Organization for Research and Treatment of Cancer quality of life questionnaire) and QLQ-CR29 (module for colorectal cancer), the Duke Functional Social Support Questionnaire, the Hospital Anxiety and Depression Scale, and the Barthel Index. The main endpoints of the study are mortality, tumor recurrence, major complications, readmissions, and changes in health-related quality of life at 30 days and at 1, 2, 3 and 5 years after surgical intervention. STATISTICAL ANALYSIS: In relation to the different endpoints, predictive models will be used by means of multivariate logistic models, Cox or linear mixed-effects regression models. Simulation models for the prediction of discrete events in the long term will also be used, and an economic evaluation of different treatment strategies will be performed through the use of generalized linear models. DISCUSSION: The identification of potential risk factors for adverse events may help clinicians in the clinical decision making process. Also, the follow up by 5 years of this large cohort of patients may provide useful information to answer different health services research questions

Biomineralisation by earthworms: an investigation into the stability and distribution of amorphous calcium carbonate

Background Many biominerals form from amorphous calcium carbonate (ACC), but this phase is highly unstable when synthesised in its pure form inorganically. Several species of earthworm secrete calcium carbonate granules which contain highly stable ACC. We analysed the milky fluid from which granules form and solid granules for amino acid (by liquid chromatography) and functional group (by Fourier transform infrared (FTIR) spectroscopy) compositions. Granule elemental composition was determined using inductively coupled plasma-optical emission spectroscopy (ICP-OES) and electron microprobe analysis (EMPA). Mass of ACC present in solid granules was quantified using FTIR and compared to granule elemental and amino acid compositions. Bulk analysis of granules was of powdered bulk material. Spatially resolved analysis was of thin sections of granules using synchrotron-based μ-FTIR and EMPA electron microprobe analysis. Results The milky fluid from which granules form is amino acid-rich (≤ 136 ± 3 nmol mg−1 (n = 3; ± std dev) per individual amino acid); the CaCO3 phase present is ACC. Even four years after production, granules contain ACC. No correlation exists between mass of ACC present and granule elemental composition. Granule amino acid concentrations correlate well with ACC content (r ≥ 0.7, p ≤ 0.05) consistent with a role for amino acids (or the proteins they make up) in ACC stabilisation. Intra-granule variation in ACC (RSD = 16%) and amino acid concentration (RSD = 22–35%) was high for granules produced by the same earthworm. Maps of ACC distribution produced using synchrotron-based μ-FTIR mapping of granule thin sections and the relative intensity of the ν2: ν4 peak ratio, cluster analysis and component regression using ACC and calcite standards showed similar spatial distributions of likely ACC-rich and calcite-rich areas. We could not identify organic peaks in the μ-FTIR spectra and thus could not determine whether ACC-rich domains also had relatively high amino acid concentrations. No correlation exists between ACC distribution and elemental concentrations determined by EMPA. Conclusions ACC present in earthworm CaCO3 granules is highly stable. Our results suggest a role for amino acids (or proteins) in this stability. We see no evidence for stabilisation of ACC by incorporation of inorganic components

Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition)1.

In 2008, we published the first set of guidelines for standardizing research in autophagy. Since then, this topic has received increasing attention, and many scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Thus, it is important to formulate on a regular basis updated guidelines for monitoring autophagy in different organisms. Despite numerous reviews, there continues to be confusion regarding acceptable methods to evaluate autophagy, especially in multicellular eukaryotes. Here, we present a set of guidelines for investigators to select and interpret methods to examine autophagy and related processes, and for reviewers to provide realistic and reasonable critiques of reports that are focused on these processes. These guidelines are not meant to be a dogmatic set of rules, because the appropriateness of any assay largely depends on the question being asked and the system being used. Moreover, no individual assay is perfect for every situation, calling for the use of multiple techniques to properly monitor autophagy in each experimental setting. Finally, several core components of the autophagy machinery have been implicated in distinct autophagic processes (canonical and noncanonical autophagy), implying that genetic approaches to block autophagy should rely on targeting two or more autophagy-related genes that ideally participate in distinct steps of the pathway. Along similar lines, because multiple proteins involved in autophagy also regulate other cellular pathways including apoptosis, not all of them can be used as a specific marker for bona fide autophagic responses. Here, we critically discuss current methods of assessing autophagy and the information they can, or cannot, provide. Our ultimate goal is to encourage intellectual and technical innovation in the field

Selective progressive response of soil microbial community to wild oat roots

Roots moving through soil enact physical and chemical changes that differentiate rhizosphere from bulk soil, and the effects of these changes on soil microorganisms have long been a topic of interest. Use of a high-density 16S rRNA microarray (PhyloChip) for bacterial and archaeal community analysis has allowed definition of the populations that respond to the root within the complex grassland soil community; this research accompanies previously reported compositional changes, including increases in chitinase and protease specific activity, cell numbers and quorum sensing signal. PhyloChip results showed a significant change in 7% of the total rhizosphere microbial community (147 of 1917 taxa); the 7% response value was confirmed by16S rRNA T-RFLP analysis. This PhyloChip-defined dynamic subset was comprised of taxa in 17 of the 44 phyla detected in all soil samples. Expected rhizosphere-competent phyla, such as Proteobacteria and Firmicutes, were well represented, as were less-well-documented rhizosphere colonizers including Actinobacteria, Verrucomicrobia and Nitrospira. Richness of Bacteroidetes and Actinobacteria decreased in soil near the root tip compared to bulk soil, but then increased in older root zones. Quantitative PCR revealed {beta}-Proteobacteria and Actinobacteria present at about 10{sup 8} copies of 16S rRNA genes g{sup -1} soil, with Nitrospira having about 10{sup 5} copies g{sup -1} soil. This report demonstrates that changes in a relatively small subset of the soil microbial community are sufficient to produce substantial changes in function in progressively more mature rhizosphere zones

A review of zoonotic infection risks associated with the wild meat trade in Malaysia.

The overhunting of wildlife for food and commercial gain presents a major threat to biodiversity in tropical forests and poses health risks to humans from contact with wild animals. Using a recent survey of wildlife offered at wild meat markets in Malaysia as a basis, we review the literature to determine the potential zoonotic infection risks from hunting, butchering and consuming the species offered. We also determine which taxa potentially host the highest number of pathogens and discuss the significant disease risks from traded wildlife, considering how cultural practices influence zoonotic transmission. We identify 51 zoonotic pathogens (16 viruses, 19 bacteria and 16 parasites) potentially hosted by wildlife and describe the human health risks. The Suidae and the Cervidae families potentially host the highest number of pathogens. We conclude that there are substantial gaps in our knowledge of zoonotic pathogens and recommend performing microbial food safety risk assessments to assess the hazards of wild meat consumption. Overall, there may be considerable zoonotic risks to people involved in the hunting, butchering or consumption of wild meat in Southeast Asia, and these should be considered in public health strategies

Control strategies for off-line testing of timed systems

International audiencePartial observability and controllability are two well-known issues in test-case synthesis for interactive systems. We address the problem of partial control in the synthesis of test cases from timed-automata specifications. Building on the tioco timed testing framework, we extend a previous game interpretation of the test-synthesis problem from the untimed to the timed setting. This extension requires a deep reworking of the models, game interpretation and test-synthesis algorithms. We exhibit strategies of a game that tries to minimize both control losses and distance to the satisfaction of a test purpose, and prove they are winning under some fairness assumptions. This entails that when turning those strategies into test cases, we get properties such as soundness and exhaustiveness of the test synthesis method