Model checking usage policies

We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity. We show that usage automata are expressive enough to model policies of real-world applications. We discuss their expressive power, and we prove that the problem of telling whether a computation complies with a usage policy is decidable. The main contribution of this paper is a model checking technique for usage automata. The model is that of usages, i.e. basic processes that describe the possible patterns of resource access and creation. In spite of the model having infinite states, because of recursion and resource creation, we devise a polynomial-time model checking technique for deciding when a usage complies with a usage policy

Wharton’s jelly or bone marrow mesenchymal stromal cells improve cardiac function following myocardial infarction for more than 32 weeks in a rat model: a preliminary report

The therapeutic effect of mesenchymal stromal cells (MSCs) following myocardial infarction (MI) is small. This may be due to differences in cellular sources and donor age, route of administration, in vitro cellular manipulations and the short time course of follow up in many animal studies. Here, we compared MSCs from two different sources (adult bone marrow or Wharton’s jelly from umbilical cord) for their long-term therapeutic effect following MI in a rat model to evaluate the effect of donor age. MSCs (or control infusions) were given intravenously 24-48 hr after myocardial ischemia (MI) induced by coronary artery ligation. Cardiac function was assessed by ultrasound at time points starting from before MSC infusion through 68 weeks after MI. A significant improvement in ejection fraction was seen in animals that received MSCs in time points 25 to 31 wks after treatment (p <0.01). These results support previous work that show that MSCs can cause improvement in cardiac function and extend that work by showing that the beneficial effects are durable. To investigate MSCs’ cardiac differentiation potential, Wharton’s jelly MSCs were co-cultured with fetal or adult bone-derived marrow MSCs. When Wharton’s jelly MSCs were co-cultured with fetal MSCs, and not with adult MSCs, myotube structures were observed in two-three days and spontaneous contractions (beating) cells were observed in fiveseven days. The beating structures formed a functional syncytium indicated by coordinated contractions (beating) of independent nodes. Taken together, these results suggest that MSCs given 24-48 hr after MI have a significant and durable beneficial effect more than 25 weeks after MI and that MSC treatment can home to damaged tissue and improve heart function after intravenous infusion 24-48 hrs after MI, and that WJCs may be a useful source for off-the-shelf cellular therapy for MI

Mesenchymal stem cells and their use as cell replacement therapy and disease modelling tool.

Mesenchymal stem cells (MSCs) from adult somatic tissues may differentiate in vitro and in vivo into multiple mesodermal tissues including bone, cartilage, adipose tissue, tendon, ligament or even muscle. MSCs preferentially home to damaged tissues where they exert their therapeutic potential. A striking feature of the MSCs is their low inherent immunogenicity as they induce little, if any, proliferation of allogeneic lymphocytes and antigen-presenting cells. Instead, MSCs appear to be immunosuppressive in vitro. Their multilineage differentiation potential coupled to their immuno-privileged properties is being exploited worldwide for both autologous and allogeneic cell replacement strategies. Here, we introduce the readers to the biology of MSCs and the mechanisms underlying immune tolerance. We then outline potential cell replacement strategies and clinical applications based on the MSCs immunological properties. Ongoing clinical trials for graft-versus-host-disease, haematopoietic recovery after co-transplantation of MSCs along with haematopoietic stem cells and tissue repair are discussed. Finally, we review the emerging area based on the use of MSCs as a target cell subset for either spontaneous or induced neoplastic transformation and, for modelling non-haematological mesenchymal cancers such as sarcomas

Cross-talk between chronic lymphocytic leukemia (CLL) tumor B cells and mesenchymal stromal cells (MSCs): implications for neoplastic cell survival

Leukemic cells from Chronic Lymphocytic Leukemia (CLL) patients interact with stromal cells of the surrounding microenvironment. Mesenchymal Stromal Cells (MSCs) represent the main population in CLL marrow stroma, which may play a key role for disease support and progression. In this study we evaluated whether MSCs influence in vitro CLL cell survival. MSCs were isolated from the bone marrow of 46 CLL patients and were characterized by flow cytometry analysis. Following co-culture of MSCs and leukemic B cells, we demonstrated that MSCs were able to improve leukemic B cell viability, this latter being differently dependent from the signals coming from MSCs. In addition, we found that the co-culture of MSCs with leukemic B cells induced an increased production of IL-8, CCL4, CCL11, and CXCL10 chemokines.As far as drug resistance is concerned, MSCs counteract the cytotoxic effect of Fludarabine/Cyclophosphamide administration in vivo, whereas they do not protect CLL cells from the apoptosis induced by the kinase inhibitors Bafetinib and Ibrutinib. The evidence that leukemic clones are conditioned by environmental stimuli suggest new putative targets for therapy in CLL patients

Preconditioning of mesenchymal stromal cells with low-intensity ultrasound: influence on chondrogenesis and directed SOX9 signaling pathways

Background: Continuous low-intensity ultrasound (cLIUS) facilitates the chondrogenic differentiation of human mesenchymal stromal cells (MSCs) in the absence of exogenously added transforming growth factor-beta (TGFβ) by upregulating the expression of transcription factor SOX9, a master regulator of chondrogenesis. The present study evaluated the molecular events associated with the signaling pathways impacting SOX9 gene and protein expression under cLIUS. Methods: Human bone marrow-derived MSCs were exposed to cLIUS stimulation at 14 kPa (5 MHz, 2.5 Vpp) for 5 min. The gene and protein expression of SOX9 was evaluated. The specificity of SOX9 upregulation under cLIUS was determined by treating the MSCs with small molecule inhibitors of select signaling molecules, followed by cLIUS treatment. Signaling events regulating SOX9 expression under cLIUS were analyzed by gene expression, immunofluorescence staining, and western blotting. Results: cLIUS upregulated the gene expression of SOX9 and enhanced the nuclear localization of SOX9 protein when compared to non-cLIUS-stimulated control. cLIUS was noted to enhance the phosphorylation of the signaling molecule ERK1/2. Inhibition of MEK/ERK1/2 by PD98059 resulted in the effective abrogation of cLIUS-induced SOX9 expression, indicating that cLIUS-induced SOX9 upregulation was dependent on the phosphorylation of ERK1/2. Inhibition of integrin and TRPV4, the upstream cell-surface effectors of ERK1/2, did not inhibit the phosphorylation of ERK1/2 and therefore did not abrogate cLIUS-induced SOX9 expression, thereby suggesting the involvement of other mechanoreceptors. Consequently, the effect of cLIUS on the actin cytoskeleton, a mechanosensitive receptor regulating SOX9, was evaluated. Diffused and disrupted actin fibers observed in MSCs under cLIUS closely resembled actin disruption by treatment with cytoskeletal drug Y27632, which is known to increase the gene expression of SOX9. The upregulation of SOX9 under cLIUS was, therefore, related to cLIUS-induced actin reorganization. SOX9 upregulation induced by actin reorganization was also found to be dependent on the phosphorylation of ERK1/2. Conclusions: Collectively, preconditioning of MSCs by cLIUS resulted in the nuclear localization of SOX9, phosphorylation of ERK1/2 and disruption of actin filaments, and the expression of SOX9 was dependent on the phosphorylation of ERK1/2 under cLIUS

Characterization and profiling of immunomodulatory genes of equine mesenchymal stromal cells from non-invasive sources

Introduction: Mesenchymal stromal cells (MSCs) have been extensively studied for their promising capabilities in regenerative medicine. Although bone marrow is the best-known source for isolating equine MSCs, non-invasive alternative sources such as umbilical cord blood (UCB), umbilical cord matrix (UCM), and peripheral blood (PB) have also been reported. Methods: Equine MSCs from three non-invasive alternative sources were isolated from six individual mares (PB) and their foals (UCB and UCM) at parturition. To minimize inter-horse variability, the samples from the three sources were matched within the same mare and for UCB and UCM even within the same foal from that specific mare. The following parameters were analyzed: (i) success rate of isolation, (ii) proliferation capacity, (iii) tri-lineage differentiation ability, (iv) immunophenotypical protein, and (v) immunomodulatory mRNA profiles. Linear regression models were fit to determine the association between the source of MSCs (UCB, UCM, PB) and (i) the moment of first observation, (ii) the moment of first passage, (iii) cell proliferation data, (iv) the expression of markers related to cell immunogenicity, and (v) the mRNA profile of immunomodulatory factors, except for hepatocyte growth factor (HGF) as no normal distribution could be obtained for the latter variable. To evaluate the association between the source of MSCs and the mRNA expression of HGF, the non-parametric Kruskal-Wallis test was performed instead. Results: While equine MSCs could be isolated from all the UCB and PB samples, isolation from UCM was successful in only two samples because of contamination issues. Proliferation data showed that equine MSCs from all three sources could be easily expanded, although UCB-derived MSCs appeared significantly faster in culture than PB- or UCM-derived MSCs. Equine MSCs from both UCB and PB could be differentiated toward the osteo-, chondro-, and adipogenic lineage, in contrast to UCM-derived MSCs in which only chondro-and adipogenic differentiation could be confirmed. Regardless of the source, equine MSCs expressed the immunomodulatory genes CD40, CD80, HGF, and transforming growth factor-beta (TGF beta). In contrast, no mRNA expression was found for CD86, indoleamine 2,3-dioxygenase (IDO), and tumor necrosis factor-alpha (TNF alpha). Conclusions: Whereas UCM seems less feasible because of the high contamination risks and low isolation success rates, UCB seems a promising alternative MSC source, especially when considering allogeneic MSC use

Inhibition of EZH2 Promotes Human Embryonic Stem Cell Differentiation into Mesoderm by Reducing H3K27me3.

Mesoderm derived from human embryonic stem cells (hESCs) is a major source of the mesenchymal stem/stromal cells (MSCs) that can differentiate into osteoblasts and chondrocytes for tissue regeneration. While significant progress has been made in understanding of molecular mechanisms of hESC differentiation into mesodermal cells, little is known about epigenetic factors controlling hESC fate toward mesoderm and MSCs. Identifying potential epigenetic factors that control hESC differentiation will undoubtedly lead to advancements in regenerative medicine. Here, we conducted an epigenome-wide analysis of hESCs and MSCs and uncovered that EZH2 was enriched in hESCs and was downregulated significantly in MSCs. The specific EZH2 inhibitor GSK126 directed hESC differentiation toward mesoderm and generated more MSCs by reducing H3K27me3. Our results provide insights into epigenetic landscapes of hESCs and MSCs and suggest that inhibiting EZH2 promotes mesodermal differentiation of hESCs

Therapeutic Potential of Mesenchymal Stem Cells for Cancer Therapy

Mesenchymal stem cells (MSCs) are among the most frequently used cell type for regenerative medicine. A large number of studies have shown the beneficial effects of MSC-based therapies to treat different pathologies, including neurological disorders, cardiac ischemia, diabetes, and bone and cartilage diseases. However, the therapeutic potential of MSCs in cancer is still controversial. While some studies indicate that MSCs may contribute to cancer pathogenesis, emerging data reported the suppressive effects of MSCs on cancer cells. Because of this reality, a sustained effort to understand when MSCs promote or suppress tumor development is needed before planning a MSC-based therapy for cancer. Herein, we provide an overview on the therapeutic application of MSCs for regenerative medicine and the processes that orchestrates tissue repair, with a special emphasis placed on cancer, including central nervous system tumors. Furthermore, we will discuss the current evidence regarding the double-edged sword of MSCs in oncological treatment and the latest advances in MSC-based anti-cancer agent delivery systems.Junta de Andalucía PI-0272-2017Ministerio de Ciencia, Innovación y Universdad CD16/00118, CP19/00046, PI16/00259, BFU2017-83588-P, CP14/00105, PI18/01590, PI17/02104, PIC18/0010, IC19/0052Juvenile Diabetes Research Foundation (USA) 2-SRA-2019-837-S-BFundación Española para la Ciencia y la Tecnología 2018-00023