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

Brain transcriptomic profiling reveals common alterations across neurodegenerative and psychiatric disorders

Neurodegenerative and neuropsychiatric disorders (ND-NPs) are multifactorial, polygenic and complex behavioral phenotypes caused by brain abnormalities. Large-scale collaborative efforts have tried to identify the genetic architecture of these conditions. However, the specific and shared underlying molecular pathobiology of brain illnesses is not clear. Here, we examine transcriptome-wide characterization of eight conditions, using a total of 2,633 post-mortem brain samples from patients with Alzheimer’s disease (AD), Parkinson’s disease (PD), Progressive Supranuclear Palsy (PSP), Pathological Aging (PA), Autism Spectrum Disorder (ASD), Schizophrenia (Scz), Major Depressive Disorder (MDD), and Bipolar Disorder (BP)–in comparison with 2,078 brain samples from matched control subjects. Similar transcriptome alterations were observed between NDs and NPs with the top correlations obtained between Scz-BP, ASD-PD, AD-PD, and Scz-ASD. Region-specific comparisons also revealed shared transcriptome alterations in frontal and temporal lobes across NPs and NDs. Co-expression network analysis identified coordinated dysregulations of cell-type-specific modules across NDs and NPs. This study provides a transcriptomic framework to understand the molecular alterations of NPs and NDs through their shared- and specific gene expression in the brain

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

Cefuroxime Pharmacokinetics in Pediatric Cardiovascular Surgery Patients Undergoing Cardiopulmonary Bypass

Objectives The objective of this study was to determine the pharmacokinetics of cefuroxime in children undergoing cardiopulmonary bypass (CPB) for cardiovascular surgery. Design A prospective study. Setting A tertiary pediatric teaching hospital. Participants Infants and children undergoing CPB were enrolled in the study. Intervention An initial dose (mean, 24.2 ± 1.6 mg/kg) of cefuroxime was administered before surgical incision, and a second dose (mean, 14.4 ± 7.9 mg/kg) was administered in the CPB prime solution. Serial blood samples were obtained before, during, and after the CPB process. Samples were shipped on dry ice to the analytic laboratory and concentrations determined by a validated high-performance liquid chromatography method. A 2-compartment pharmacokinetic model was fitted to the data using maximum a priori–Bayesian estimation, with weight as a covariate. Monte Carlo simulations of a single-dose (25 mg/kg pre-CPB) approach and a 2-dose (25 mg/kg pre- and 12.5-mg/kg prime solution dose) approach were performed. Measurements and Main Results Fifteen subjects (9 males/6 females) were enrolled in the study, with median (range) age and weight of 11 (3-34) months and 9.5 (4.5-15.4) kg, respectively. The median (range) duration of CPB was 136 (71-243) minutes. Median and range cefuroxime pharmacokinetic parameters were as follows: maximum concentration (Cmax) dose, 1: 328 (150-512) μg/mL; systemic clearance, 0.050 (0.041-0.058) L/h/kg; steady-state volume of distribution, 0.213 (0.081-0.423) L/kg; volume of distribution in the central compartment, 0.081 (0.046-0.162) L/kg; and elimination half-life, 3.76 (1.03-6.81) hours. The median 8-hour post–dose-simulated cefuroxime concentrations were 26.5 and 16.0 mg/L for the 2-dose and single-dose regimens, respectively. Conclusion Manufacturers recommend that pediatric doses of cefuroxime (25-50 mg/kg) can be used in infants and children undergoing CPB to maintain adequate serum concentrations for surgical-site infection prophylaxis. A second intraoperative dose, administered through the CPB circuit, provides no additional prophylactic advantage

Population pharmacokinetics of colistin methanesulfonate and formed colistin in critically ill patients from a multicenter study provide dosing suggestions for various categories of patients

With increasing clinical emergence of multidrug-resistant Gram-negative pathogens and the paucity of new agents to combat these infections, colistin (administered as its inactive prodrug colistin methane-sulfonate [CMS]) has reemerged as a treatment option, especially for critically ill patients. There has been a dearth of pharmacokinetic (PK) data available to guide dosing in critically ill patients, including those on renal replacement therapy. In an ongoing study to develop a population PK model for CMS and colistin, 105 patients have been studied to date; these included 12 patients on hemodialysis and 4 on continuous renal replacement therapy. For patients not on renal replacement, there was a wide variance in creatinine clearance, ranging from 3 to 169 ml/min/1.73 m 2. Each patient was treated with a physician-selected CMS dosage regimen, and 8 blood samples for PK analysis were collected across a dosage interval on day 3 or 4 of therapy. A linear PK model with two compartments for CMS and one compartment for formed colistin best described the data. Covariates included creatinine clearance on the total clearance of CMS and colistin, as well as body weight on the central volume of CMS. Model-fitted parameter estimates were used to derive suggested loading and maintenance dosing regimens for various categories of patients, including those on hemodialysis and continuous renal replacement. Based on our current understanding of colistin PK and pharmacodynamic relationships, colistin may best be used as part of a highly active combination, especially for patients with moderate to good renal function and/or for organisms with MICs of ≥1.0 mg/liter

Metastatic group 3 medulloblastoma is driven by PRUNE1 targeting NME1-TGF-β-OTX2-SNAIL via PTEN inhibition.

Genetic modifications during development of paediatric groups 3 and 4 medulloblastoma are responsible for their highly metastatic properties and poor patient survival rates. PRUNE1 is highly expressed in metastatic medulloblastoma group 3, which is characterized by TGF-β signalling activation, c-MYC amplification, and OTX2 expression. We describe the process of activation of the PRUNE1 signalling pathway that includes its binding to NME1, TGF-β activation, OTX2 upregulation, SNAIL (SNAI1) upregulation, and PTEN inhibition. The newly identified small molecule pyrimido-pyrimidine derivative AA7.1 enhances PRUNE1 degradation, inhibits this activation network, and augments PTEN expression. Both AA7.1 and a competitive permeable peptide that impairs PRUNE1/NME1 complex formation, impair tumour growth and metastatic dissemination in orthotopic xenograft models with a metastatic medulloblastoma group 3 cell line (D425-Med cells). Using whole exome sequencing technology in metastatic medulloblastoma primary tumour cells, we also define 23 common 'non-synonymous homozygous' deleterious gene variants as part of the protein molecular network of relevance for metastatic processes. This PRUNE1/TGF-β/OTX2/PTEN axis, together with the medulloblastoma-driver mutations, is of relevance for future rational and targeted therapies for metastatic medulloblastoma group 3

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

Modeling Mechanisms of In Vivo Variability in Methotrexate Accumulation and Folate Pathway Inhibition in Acute Lymphoblastic Leukemia Cells

Methotrexate (MTX) is widely used for the treatment of childhood acute lymphoblastic leukemia (ALL). The accumulation of MTX and its active metabolites, methotrexate polyglutamates (MTXPG), in ALL cells is an important determinant of its antileukemic effects. We studied 194 of 356 patients enrolled on St. Jude Total XV protocol for newly diagnosed ALL with the goal of characterizing the intracellular pharmacokinetics of MTXPG in leukemia cells; relating these pharmacokinetics to ALL lineage, ploidy and molecular subtype; and using a folate pathway model to simulate optimal treatment strategies. Serial MTX concentrations were measured in plasma and intracellular MTXPG concentrations were measured in circulating leukemia cells. A pharmacokinetic model was developed which accounted for the plasma disposition of MTX along with the transport and metabolism of MTXPG. In addition, a folate pathway model was adapted to simulate the effects of treatment strategies on the inhibition of de novo purine synthesis (DNPS). The intracellular MTXPG pharmacokinetic model parameters differed significantly by lineage, ploidy, and molecular subtypes of ALL. Folylpolyglutamate synthetase (FPGS) activity was higher in B vs T lineage ALL (p<0.005), MTX influx and FPGS activity were higher in hyperdiploid vs non-hyperdiploid ALL (p<0.03), MTX influx and FPGS activity were lower in the t(12;21) (ETV6-RUNX1) subtype (p<0.05), and the ratio of FPGS to γ-glutamyl hydrolase (GGH) activity was lower in the t(1;19) (TCF3-PBX1) subtype (p<0.03) than other genetic subtypes. In addition, the folate pathway model showed differential inhibition of DNPS relative to MTXPG accumulation, MTX dose, and schedule. This study has provided new insights into the intracellular disposition of MTX in leukemia cells and how it affects treatment efficacy

Pseudomonas aeruginosa PAO1 Preferentially Grows as Aggregates in Liquid Batch Cultures and Disperses upon Starvation

In both natural and artificial environments, bacteria predominantly grow in biofilms, and bacteria often disperse from biofilms as freely suspended single-cells. In the present study, the formation and dispersal of planktonic cellular aggregates, or ‘suspended biofilms’, by Pseudomonas aeruginosa in liquid batch cultures were closely examined, and compared to biofilm formation on a matrix of polyester (PE) fibers as solid surface in batch cultures. Plankton samples were analyzed by laser-diffraction particle-size scanning (LDA) and microscopy of aggregates. Interestingly, LDA indicated that up to 90% of the total planktonic biomass consisted of cellular aggregates in the size range of 10–400 µm in diameter during the growth phase, as opposed to individual cells. In cultures with PE surfaces, P. aeruginosa preferred to grow in biofilms, as opposed to planktonicly. However, upon carbon, nitrogen or oxygen limitation, the planktonic aggregates and PE-attached biofilms dispersed into single cells, resulting in an increase in optical density (OD) independent of cellular growth. During growth, planktonic aggregates and PE-attached biofilms contained densely packed viable cells and extracellular DNA (eDNA), and starvation resulted in a loss of viable cells, and an increase in dead cells and eDNA. Furthermore, a release of metabolites and infective bacteriophage into the culture supernatant, and a marked decrease in intracellular concentration of the second messenger cyclic di-GMP, was observed in dispersing cultures. Thus, what traditionally has been described as planktonic, individual cell cultures of P. aeruginosa, are in fact suspended biofilms, and such aggregates have behaviors and responses (e.g. dispersal) similar to surface associated biofilms. In addition, we suggest that this planktonic biofilm model system can provide the basis for a detailed analysis of the synchronized biofilm life cycle of P. aeruginosa