Computational Verification of Large Logical Models-Application to the Prediction of T Cell Response to Checkpoint Inhibitors

MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps

Molecular interaction maps (MIMs) are static graphical representations depicting complex biochemical networks that can be formalized using one of the Systems Biology Graphical Notation languages. Regardless of their extensive coverage of various biological processes, they are limited in terms of dynamic insights. However, MIMs can serve as templates for developing dynamic computational models. We present MetaLo, an open-source Python package that enables the coupling of Boolean models inferred from process description MIMs with generic core metabolic networks. MetaLo provides a framework to study the impact of signaling cascades, gene regulation processes, and metabolic flux distribution of central energy production pathways. MetaLo computes the Boolean model's asynchronous asymptotic behavior, through the identification of trap-spaces, and extracts metabolic constraints to contextualize the generic metabolic network. MetaLo is able to handle large-scale Boolean models and genome-scale metabolic models without requiring kinetic information or manual tuning. The framework behind MetaLo enables in depth analysis of the regulatory model, and may allow tackling a lack of omics data in poorly addressed biological fields to contextualize generic metabolic networks along with improper automatic reconstructions of cell- and/or disease-specific metabolic networks. MetaLo is available at https://pypi.org/project/metalo/ under the terms of the GNU General Public License v3.

Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches

Introduction

The COVID-19 Disease Map project is a large-scale community effort uniting 277 scientists from 130 Institutions around the globe. We use high-quality, mechanistic content describing SARS-CoV-2-host interactions and develop interoperable bioinformatic pipelines for novel target identification and drug repurposing.

Methods

Extensive community work allowed an impressive step forward in building interfaces between Systems Biology tools and platforms. Our framework can link biomolecules from omics data analysis and computational modelling to dysregulated pathways in a cell-, tissue- or patient-specific manner. Drug repurposing using text mining and AI-assisted analysis identified potential drugs, chemicals and microRNAs that could target the identified key factors.

Results

Results revealed drugs already tested for anti-COVID-19 efficacy, providing a mechanistic context for their mode of action, and drugs already in clinical trials for treating other diseases, never tested against COVID-19.

Discussion

The key advance is that the proposed framework is versatile and expandable, offering a significant upgrade in the arsenal for virus-host interactions and other complex pathologies.

Hybrid computational modeling highlights reverse warburg effect in breast cancer-associated fibroblasts

Cancer-associated fibroblasts (CAFs) are amongst the key players of the tumor microenvironment (TME) and are involved in cancer initiation, progression, and resistance to therapy. They exhibit aggressive phenotypes affecting extracellular matrix remodeling, angiogenesis, immune system modulation, tumor growth, and proliferation. CAFs phenotypic changes appear to be associated with metabolic alterations, notably a reverse Warburg effect that may drive fibroblasts transformation. However, its precise molecular mechanisms and regulatory drivers are still under investigation. Deciphering the reverse Warburg effect in breast CAFs may contribute to a better understanding of the interplay between TME and tumor cells, leading to new treatment strategies. In this regard, dynamic modeling approaches able to span multiple biological layers are essential to capture the emergent properties of various biological entities when complex and intertwined pathways are involved. This work presents the first hybrid large-scale computational model for breast CAFs covering major cellular signaling, gene regulation, and metabolic processes. It was generated by combining a cell- and disease-specific asynchronous Boolean model with a generic core metabolic network leveraging both data-driven and manual curation approaches. This model reproduces the experimentally observed reverse Warburg effect in breast CAFs and further identifies Hypoxia-Inducible Factor 1 (HIF-1) as its key molecular driver. Targeting HIF-1 as part of a TME-centered therapeutic strategy may prove beneficial in the treatment of breast cancer by addressing the reverse Warburg effect. Such findings in CAFs, in light of our previously published results in rheumatoid arthritis synovial fibroblasts, point to a common HIF-1-driven metabolic reprogramming of fibroblasts in breast cancer and rheumatoid arthritis.

A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint

Rheumatoid arthritis (RA) is a complex autoimmune disease with an unknown aetiology. However, rheumatoid arthritis fibroblast-like synoviocytes (RA-FLS) play a significant role in initiating and perpetuating destructive joint inflammation by expressing immuno-modulating cytokines, adhesion molecules, and matrix remodelling enzymes. In addition, RA-FLS are primary drivers of inflammation, displaying high proliferative rates and an apoptosis-resistant phenotype. Thus, RA-FLS-directed therapies could become a complementary approach to immune-directed therapies by predicting the optimal conditions that would favour RA-FLS apoptosis, limit inflammation, slow the proliferation rate and minimise bone erosion and cartilage destruction. In this paper, we present a large-scale Boolean model for RA-FLS that consists of five submodels focusing on apoptosis, cell proliferation, matrix degradation, bone erosion and inflammation. The five-phenotype-specific submodels can be simulated independently or as a global model. In silico simulations and perturbations reproduced the expected biological behaviour of the system under defined initial conditions and input values. The model was then used to mimic the effect of mono or combined therapeutic treatments and predict novel targets and drug candidates through drug repurposing analysis.

Simulating the Evolution of Signaling Signatures During CART-Cell and Tumor Cell Interactions

Immunotherapies have been proven to have significant therapeutic efficacy in the treatment of cancer. The last decade has seen adoptive cell therapies, such as chimeric antigen receptor T-cell (CART-cell) therapy, gain FDA approval against specific cancers. Additionally, there are numerous clinical trials ongoing investigating additional designs and targets. Nevertheless, despite the excitement and promising potential of CART-cell therapy, response rates to therapy vary greatly between studies, patients, and cancers. There remains an unmet need to develop computational frameworks that more accurately predict CART-cell function and clinical efficacy. Here we present a coarse-grained model simulated with logical rules that demonstrates the evolution of signaling signatures following the interaction between CART-cells and tumor cells and allows for in silico based prediction of CART-cell functionality prior to experimentation.Clinical Relevance- Analysis of CART-cell signaling signatures can inform future CAR receptor design and combination therapy approaches aimed at improving therapy response.

A multiscale mechanistic model of human dendritic cells for in-silico investigation of immune responses and novel therapeutics discovery

Dendritic cells (DCs) are professional antigen-presenting cells (APCs) with the unique ability to mediate inflammatory responses of the immune system. Given the critical role of DCs in shaping immunity, they present an attractive avenue as a therapeutic target to program the immune system and reverse immune disease disorders. To ensure appropriate immune response, DCs utilize intricate and complex molecular and cellular interactions that converge into a seamless phenotype. Computational models open novel frontiers in research by integrating large-scale interaction to interrogate the influence of complex biological behavior across scales. The ability to model large biological networks will likely pave the way to understanding any complex system in more approachable ways. We developed a logical and predictive model of DC function that integrates the heterogeneity of DCs population, APC function, and cell-cell interaction, spanning molecular to population levels. Our logical model consists of 281 components that connect environmental stimuli with various layers of the cell compartments, including the plasma membrane, cytoplasm, and nucleus to represent the dynamic processes within and outside the DC, such as signaling pathways and cell-cell interactions. We also provided three sample use cases to apply the model in the context of studying cell dynamics and disease environments. First, we characterized the DC response to Sars-CoV-2 and influenza co-infection by in-silico experiments and analyzed the activity level of 107 molecules that play a role in this co-infection. The second example presents simulations to predict the crosstalk between DCs and T cells in a cancer microenvironment. Finally, for the third example, we used the Kyoto Encyclopedia of Genes and Genomes enrichment analysis against the model's components to identify 45 diseases and 24 molecular pathways that the DC model can address. This study presents a resource to decode the complex dynamics underlying DC-derived APC communication and provides a platform for researchers to perform in-silico experiments on human DC for vaccine design, drug discovery, and immunotherapies.

Simulating the Evolution of Signaling Signatures during CART-Cell - Tumor Cell Interactions

Immunotherapies have been proven to have significant therapeutic efficacy in the treatment of cancer. The last decade has seen adoptive cell therapies, such as chimeric antigen receptor T-cell (CART-cell) therapy, gain FDA approval against specific cancers. Additionally, there are numerous clinical trials ongoing investigating additional designs and targets. Nevertheless, despite the excitement and promising potential of CART-cell therapy, response rates to therapy vary greatly between studies, patients, and cancers. There remains an unmet need to develop computational frameworks that more accurately predict CART-cell function and clinical efficacy. Here we present a coarse-grained model simulated with logical rules that demonstrates the evolution of signaling signatures following the interaction between CART-cells and tumor cells and allows for in silico based prediction of CART-cell functionality prior to experimentation.

Metabolic reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: A hybrid modeling approach

Rheumatoid Arthritis (RA) is an autoimmune disease characterized by a highly invasive pannus formation consisting mainly of Synovial Fibroblasts (RASFs). This pannus leads to cartilage, bone, and soft tissue destruction in the affected joint. RASFs' activation is associated with metabolic alterations resulting from dysregulation of extracellular signals' transduction and gene regulation. Deciphering the intricate mechanisms at the origin of this metabolic reprogramming may provide significant insight into RASFs' involvement in RA's pathogenesis and offer new therapeutic strategies. Qualitative and quantitative dynamic modeling can address some of these features, but hybrid models represent a real asset in their ability to span multiple layers of biological machinery. This work presents the first hybrid RASF model: the combination of a cell-specific qualitative regulatory network with a global metabolic network. The automated framework for hybrid modeling exploits the regulatory network's trap-spaces as additional constraints on the metabolic network. Subsequent flux balance analysis allows assessment of RASFs' regulatory outcomes' impact on their metabolic flux distribution. The hybrid RASF model reproduces the experimentally observed metabolic reprogramming induced by signaling and gene regulation in RASFs. Simulations also enable further hypotheses on the potential reverse Warburg effect in RA. RASFs may undergo metabolic reprogramming to turn into "metabolic factories", producing high levels of energy-rich fuels and nutrients for neighboring demanding cells through the crucial role of HIF1.

Modeling signaling pathways in biology with MaBoSS: From one single cell to a dynamic population of heterogeneous interacting cells

As a result of the development of experimental technologies and the accumulation of data, biological and molecular processes can be described as complex networks of signaling pathways. These networks are often directed and signed, where nodes represent entities (genes/proteins) and arrows interactions. They are translated into mathematical models by adding a dynamic layer onto them. Such mathematical models help to understand and interpret non-intuitive experimental observations and to anticipate the response to external interventions such as drug effects on phenotypes. Several frameworks for modeling signaling pathways exist. The choice of the appropriate framework is often driven by the experimental context. In this review, we present MaBoSS, a tool based on Boolean modeling using a continuous time approach, which predicts time-dependent probabilities of entities in different biological contexts. MaBoSS was initially built to model the intracellular signaling in non-interacting homogeneous cell populations. MaBoSS was then adapted to model heterogeneous cell populations (EnsembleMaBoSS) by considering families of models rather than a unique model. To account for more complex questions, MaBoSS was extended to simulate dynamical interacting populations (UPMaBoSS), with a precise spatial distribution (PhysiBoSS). To illustrate all these levels of description, we show how each of these tools can be used with a running example of a simple model of cell fate decisions. Finally, we present practical applications to cancer biology and studies of the immune response.

Calcium Signaling Is Impaired in PTEN-Deficient T Cell Acute Lymphoblastic Leukemia

PTEN (Phosphatase and TENsin homolog) is a well-known tumor suppressor involved in numerous types of cancer, including T-cell acute lymphoblastic leukemia (T-ALL). In human, loss-of-function mutations of PTEN are correlated to mature T-ALL expressing a T-cell receptor (TCR) at their cell surface. In accordance with human T-ALL, inactivation of Pten gene in mouse thymocytes induces TCRαβ⁺ T-ALL development. Herein, we explored the functional interaction between TCRαβ signaling and PTEN. First, we performed single-cell RNA sequencing (scRNAseq) of PTEN-deficient and PTEN-proficient thymocytes. Bioinformatic analysis of our scRNAseq data showed that pathological Pten^del thymocytes express, as expected, Myc transcript, whereas inference of pathway activity revealed that these Pten^del thymocytes display a lower calcium pathway activity score compared to their physiological counterparts. We confirmed this result using ex vivo calcium flux assay and showed that upon TCR activation tumor Pten^del blasts were unable to release calcium ions (Ca²⁺) from the endoplasmic reticulum to the cytosol. In order to understand such phenomena, we constructed a mathematical model centered on the mechanisms controlling the calcium flux, integrating TCR signal strength and PTEN interactions. This qualitative model displays a dynamical behavior coherent with the dynamics reported in the literature, it also predicts that PTEN affects positively IP3 (inositol 1,4,5-trisphosphate) receptors (ITPR). Hence, we analyzed Itpr expression and unraveled that ITPR proteins levels are reduced in PTEN-deficient tumor cells compared to physiological and leukemic PTEN-proficient cells. However, calcium flux and ITPR proteins expression are not defective in non-leukemic PTEN-deficient T cells indicating that beyond PTEN loss an additional alteration is required. Altogether, our study shows that ITPR/Calcium flux is a part of the oncogenic landscape shaped by PTEN loss and pinpoints a putative role of PTEN in the regulation of ITPR proteins in thymocytes, which remains to be characterized.

Logical and experimental modeling of cytokine and eicosanoid signaling in psoriatic keratinocytes

Psoriasis is a chronic skin disease, in which immune cells and keratinocytes keep each other in a state of inflammation. It is believed that phospholipase A2 (PLA2)-dependent eicosanoid release plays a key role in this. T-helper (Th) 1-derived cytokines are established activators of phospholipases in keratinocytes, whereas Th17-derived cytokines have largely unknown effects. Logical model simulations describing the function of cytokine and eicosanoid signaling networks combined with experimental data suggest that Th17 cytokines stimulate proinflammatory cytokine expression in psoriatic keratinocytes via activation of cPLA2α-Prostaglandin E2-EP4 signaling, which could be suppressed using the anti-psoriatic calcipotriol. cPLA2α inhibition and calcipotriol distinctly regulate expression of key psoriatic genes, possibly offering therapeutic advantage when applied together. Model simulations additionally suggest EP4 and protein kinase cAMP-activated catalytic subunit alpha as drug targets that may restore a normal phenotype. Our work illustrates how the study of complex diseases can benefit from an integrated systems approach.

Modelling of Immune Checkpoint Network Explains Synergistic Effects of Combined Immune Checkpoint Inhibitor Therapy and the Impact of Cytokines in Patient Response

Simple Summary

The future of cancer immunotherapy relies on a combination of individually targeted therapies. However, a lot of experiments are needed to define the most effective combinations of drugs. A computational and modelling approach could help reduce the number of experiments and suggest optimal treatments to test. This article presents a logical model of T cell activation influenced by immune checkpoints, and explores the effect of these checkpoints, suggests mechanisms that would explain why some treatments might be better suited than others. The model includes not only programmed cell death protein 1 (PD1) and cytotoxic T-lymphocyte-associated protein 4 (CTL4) downstream pathways but also those of other immune checkpoints such as T cell immunoglobulin and ITIM (immunoreceptor tyrosine-based inhibition motif) domain (TIGIT), lymphocyte activation gene 3 (LAG3), T cell immunoglobulin and mucin domain-containing protein 3 (TIM3), cluster of differentiation 226 (CD226), inducible T-cell costimulator (ICOS), and tumour necrosis factor receptors (TNFRs).

Abstract

After the success of the new generation of immune therapies, immune checkpoint receptors have become one important center of attention of molecular oncologists. The initial success and hopes of anti-programmed cell death protein 1 (anti-PD1) and anti-cytotoxic T-lymphocyte-associated protein 4 (anti-CTLA4) therapies have shown some limitations since a majority of patients have continued to show resistance. Other immune checkpoints have raised some interest and are under investigation, such as T cell immunoglobulin and ITIM (immunoreceptor tyrosine-based inhibition motif) domain (TIGIT), inducible T-cell costimulator (ICOS), and T cell immunoglobulin and mucin domain-containing protein 3 (TIM3), which appear as promising targets for immunotherapy. To explore their role and study possible synergetic effects of these different checkpoints, we have built a model of T cell receptor (TCR) regulation including not only PD1 and CTLA4, but also other well studied checkpoints (TIGIT, TIM3, lymphocyte activation gene 3 (LAG3), cluster of differentiation 226 (CD226), ICOS, and tumour necrosis factor receptors (TNFRs)) and simulated different aspects of T cell biology. Our model shows good correspondence with observations from available experimental studies of anti-PD1 and anti-CTLA4 therapies and suggest efficient combinations of immune checkpoint inhibitors (ICI). Among the possible candidates, TIGIT appears to be the most promising drug target in our model. The model predicts that signal transducer and activator of transcription 1 (STAT1)/STAT4-dependent pathways, activated by cytokines such as interleukin 12 (IL12) and interferon gamma (IFNG), could improve the effect of ICI therapy via upregulation of Tbet, suggesting that the effect of the cytokines related to STAT3/STAT1 activity is dependent on the balance between STAT1 and STAT3 downstream signalling.