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

Altered miR-193a-5p expression in children with cow's milk allergy

Cow's milk allergy (CMA) is one of the most common food allergies in children. Epigenetic mechanisms have been suggested to play a role in CMA pathogenesis. We shown that DNA methylation of Th1/Th2 cytokine genes and FoxP3 affects CMA disease course. Preliminary evidence suggest that also the miRNome could be implicated in the pathogenesis of allergy. Main study outcome was to comparatively evaluate miRNome in children with CMA and in healthy controls

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