Tree rules in probabilistic transition system specifications with negative and quantitative premises

Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a congruence.Similar to the nondeterministic case of rule format tyft/tyxt, we show that the well-foundedness requirement is unnecessary in the probabilistic setting. To achieve this, we first define an extended version of the ntmufnu/ntmuxnu format in which quantitative premises and conclusions include nested convex combinations of distributions. This format also guarantees that bisimilarity is a congruence. Then, for a given (possibly non-well-founded) PTSS in the new format, we construct an equivalent well-founded transition system consisting of only rules of the simpler (well-founded) probabilistic ntree format. Furthermore, we develop a proof-theoretic notion for these PTSSs that coincides with the existing stratification-based meaning in case the PTSS is stratifiable. This continues the line of research lifting structural operational semantic results from the nondeterministic setting to systems with both probabilistic and nondeterministic behavior.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Fast Detection of a BRCA2 Large Genomic Duplication by Next Generation Sequencing as a Single Procedure: A Case Report.

The aim of this study was to verify the reliability of a next generation sequencing (NGS)-based method as a strategy to detect all possible BRCA mutations, including large genomic rearrangements. Genomic DNA was obtained from a peripheral blood sample provided by a patient from Southern Italy with early onset breast cancer and a family history of diverse cancers. BRCA molecular analysis was performed by NGS, and sequence data were analyzed using two software packages. Comparative genomic hybridization (CGH) array was used as confirmatory method. A novel large duplication, involving exons 4–26, of BRCA2 was directly detected in the patient by NGS workflow including quantitative analysis of copy number variants. The duplication observed was also found by CGH array, thus confirming its extent. Large genomic rearrangements can affect the BRCA1/2 genes, and thus contribute to germline predisposition to familial breast and ovarian cancers. The frequency of these mutations could be underestimated because of technical limitations of several routinely used molecular analysis, while their evaluation should be included also in these molecular testing. The NGS-based strategy described herein is an effective procedure to screen for all kinds of BRCA mutations

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts

The Biological Role of Vitamins in Athletes’ Muscle, Heart and Microbiota

Physical activity, combined with adequate nutrition, is considered a protective factor against cardiovascular disease, musculoskeletal disorders, and intestinal dysbiosis. Achieving optimal performance requires a significantly high energy expenditure, which must be correctly supplied to avoid the occurrence of diseases such as muscle injuries, oxidative stress, and heart pathologies, and a decrease in physical performance during competition. Moreover, in sports activities, the replenishment of water, vitamins, and minerals consumed during training is essential for safeguarding athletes’ health. In this scenario, vitamins play a pivotal role in numerous metabolic reactions and some muscle biochemical adaptation processes induced by sports activity. Vitamins are introduced to the diet because the human body is unable to produce these micronutrients. The aim of this review is to highlight the fundamental role of vitamin supplementation in physical activity. Above all, we focus on the roles of vitamins A, B6, D, E, and K in the prevention and treatment of cardiovascular disorders, muscle injuries, and regulation of the microbiome

Positive Signature-Tagged Mutagenesis in Pseudomonas aeruginosa: Tracking Patho-Adaptive Mutations Promoting Airways Chronic Infection

The opportunistic pathogen Pseudomonas aeruginosa can establish life-long chronic infections in the airways of cystic fibrosis (CF) patients. Persistent lifestyle is established with P. aeruginosa patho-adaptive variants, which are clonal with the initially-acquired strains. Several reports indicated that P. aeruginosa adapts by loss-of-function mutations which enhance fitness in CF airways and sustain its clonal expansion during chronic infection. To validate this model of P. aeruginosa adaptation to CF airways and to identify novel genes involved in this microevolution, we designed a novel approach of positive-selection screening by PCR-based signature-tagged mutagenesis (Pos-STM) in a murine model of chronic airways infection. A systematic positive-selection scheme using sequential rounds of in vivo screenings for bacterial maintenance, as opposed to elimination, generated a list of genes whose inactivation increased the colonization and persistence in chronic airways infection. The phenotypes associated to these Pos-STM mutations reflect alterations in diverse aspects of P. aeruginosa biology which include lack of swimming and twitching motility, lack of production of the virulence factors such as pyocyanin, biofilm formation, and metabolic functions. In addition, Pos-STM mutants showed altered invasion and stimulation of immune response when tested in human respiratory epithelial cells, indicating that P. aeruginosa is prone to revise the interaction with its host during persistent lifestyle. Finally, sequence analysis of Pos-STM genes in longitudinally P. aeruginosa isolates from CF patients identified signs of patho-adaptive mutations within the genome. This novel Pos-STM approach identified bacterial functions that can have important clinical implications for the persistent lifestyle and disease progression of the airway chronic infection

The Pseudomonas Quinolone Signal (PQS) Balances Life and Death in Pseudomonas aeruginosa Populations

When environmental conditions deteriorate and become inhospitable, generic survival strategies for populations of bacteria may be to enter a dormant state that slows down metabolism, to develop a general tolerance to hostile parameters that characterize the habitat, and to impose a regime to eliminate damaged members. Here, we provide evidence that the pseudomonas quinolone signal (PQS) mediates induction of all of these phenotypes. For individual cells, PQS, an interbacterial signaling molecule of Pseudomonas aeruginosa, has both deleterious and beneficial activities: on the one hand, it acts as a pro-oxidant and sensitizes the bacteria towards oxidative and other stresses and, on the other, it efficiently induces a protective anti-oxidative stress response. We propose that this dual function fragments populations into less and more stress tolerant members which respond differentially to developing stresses in deteriorating habitats. This suggests that a little poison may be generically beneficial to populations, in promoting survival of the fittest, and in contributing to bacterial multi-cellular behavior. It further identifies PQS as an essential mediator of the shaping of the population structure of Pseudomonas and of its response to and survival in hostile environmental conditions

Adult Drosophila melanogaster evolved for antibacterial defense invest in infection-induced expression of both humoral and cellular immunity genes

<p>Abstract</p> <p>Background</p> <p>While the transcription of innate immunity genes in response to bacterial infection has been well-characterised in the Drosophila model, we recently demonstrated the capacity for such transcription to evolve in flies selected for improved antibacterial defense. Here we use this experimental system to examine how insects invest in constitutive versus infection-induced transcription of immunity genes. These two strategies carry with them different consequences with respect to energetic and pleiotropic costs and may be more or less effective in improving defense depending on whether the genes contribute to humoral or cellular aspects of immunity.</p> <p>Findings</p> <p>Contrary to expectation we show that selection preferentially increased the infection-induced expression of both cellular and humoral immunity genes. Given their functional roles, infection induced increases in expression were expected for the humoral genes, while increases in constitutive expression were expected for the cellular genes. We also report a restricted ability to improve transcription of immunity genes that is on the order of 2-3 fold regardless of total transcription level of the gene.</p> <p>Conclusions</p> <p>The evolved increases in infection-induced expression of the cellular genes may result from specific cross talk with humoral pathways or from generalised strategies for enhancing immunity gene transcription. A failure to see improvements in constitutive expression of the cellular genes suggests either that increases might come at too great a cost or that patterns of expression in adults are decoupled from the larval phase where increases would be most effective. The similarity in fold change increase across all immunity genes may suggest a shared mechanism for the evolution of increased transcription in small, discrete units such as duplication of <it>cis</it>-regulatory elements.</p