Parameter estimation of qualitative biological regulatory networks on high performance computing hardware

Modelling and analysis of the complement system signalling pathways: roles of C3, C5a and pro-inflammatory cytokines in SARS-CoV-2 infection

The complement system is an essential part of innate immunity. It is activated by invading pathogens causing inflammation, opsonization, and lysis via complement anaphylatoxins, complement opsonin's and membrane attack complex (MAC), respectively. However, in SARS-CoV-2 infection overactivation of complement system is causing cytokine storm leading to multiple organs damage. In this study, the René Thomas kinetic logic approach was used for the development of biological regulatory network (BRN) to model SARS-CoV-2 mediated complement system signalling pathways. Betweenness centrality analysis in cytoscape was adopted for the selection of the most biologically plausible states in state graph. Among the model results, in strongly connected components (SCCs) pro-inflammatory cytokines (PICyts) oscillatory behaviour between recurrent generation and downregulation was found as the main feature of SARS-CoV-2 infection. Diversion of trajectories from the SCCs leading toward hyper-inflammatory response was found in agreement with in vivo studies that overactive innate immunity response caused PICyts storm during SARS-CoV-2 infection. The complex of negative regulators FI, CR1 and DAF in the inhibition of complement peptide (C5a) and PICyts was found desirable to increase immune responses. In modelling role of MAC and PICyts in lowering of SARS-CoV-2 titre was found coherent with experimental studies. Intervention in upregulation of C5a and PICyts by C3 was found helpful in back-and-forth variation of signalling pattern linked with the levels of PICyts. Moreover, intervention in upregulation of PICyts by C5a was found productive in downregulation of all activating factors in the normal SCCs. However, the computational model predictions require experimental studies to be validated by exploring the activation role of C3 and C5a which could change levels of PICyts at various phases of SARS-CoV-2 infection.

Verifiable biology

The formalization of biological systems using computational modelling approaches as an alternative to mathematical-based methods has recently received much interest because computational models provide a deeper mechanistic understanding of biological systems. In particular, formal verification, complementary approach to standard computational techniques such as simulation, is used to validate the system correctness and obtain critical information about system behaviour. In this study, we survey the most frequently used computational modelling approaches and formal verification techniques for computational biology. We compare a number of verification tools and software suites used to analyse biological systems and biochemical networks, and to verify a wide range of biological properties. For users who have no expertise in formal verification, we present a novel methodology that allows them to easily apply formal verification techniques to analyse their biological or biochemical system of interest.

Inferring cancer common and specific gene networks via multi-layer joint graphical model

Cancer is a complex disease caused primarily by genetic variants. Reconstructing gene networks within tumors is essential for understanding the functional regulatory mechanisms of carcinogenesis. Advances in high-throughput sequencing technologies have provided tremendous opportunities for inferring gene networks via computational approaches. However, due to the heterogeneity of the same cancer type and the similarities between different cancer types, it remains a challenge to systematically investigate the commonalities and specificities between gene networks of different cancer types, which is a crucial step towards precision cancer diagnosis and treatment. In this study, we propose a new sparse regularized multi-layer decomposition graphical model to jointly estimate the gene networks of multiple cancer types. Our model can handle various types of gene expression data and decomposes each cancer-type-specific network into three components, i.e., globally shared, partially shared and cancer-type-unique components. By identifying the globally and partially shared gene network components, our model can explore the heterogeneous similarities between different cancer types, and our identified cancer-type-unique components can help to reveal the regulatory mechanisms unique to each cancer type. Extensive experiments on synthetic data illustrate the effectiveness of our model in joint estimation of multiple gene networks. We also apply our model to two real data sets to infer the gene networks of multiple cancer subtypes or cell lines. By analyzing our estimated globally shared, partially shared, and cancer-type-unique components, we identified a number of important genes associated with common and specific regulatory mechanisms across different cancer types.

Decoding the Role of Epigenetics in Breast Cancer Using Formal Modeling and Machine-Learning Methods

Breast carcinogenesis is known to be instigated by genetic and epigenetic modifications impacting multiple cellular signaling cascades, thus making its prevention and treatments a challenging endeavor. However, epigenetic modification, particularly DNA methylation-mediated silencing of key TSGs, is a hallmark of cancer progression. One such tumor suppressor gene (TSG) RUNX3 (Runt-related transcription factor 3) has been a new insight in breast cancer known to be suppressed due to local promoter hypermethylation mediated by DNA methyltransferase 1 (DNMT1). However, the precise mechanism of epigenetic-influenced silencing of the RUNX3 signaling resulting in cancer invasion and metastasis remains inadequately characterized. In this study, a biological regulatory network (BRN) has been designed to model the dynamics of the DNMT1–RUNX3 network augmented by other regulators such as p21, c-myc, and p53. For this purpose, the René Thomas qualitative modeling was applied to compute the unknown parameters and the subsequent trajectories signified important behaviors of the DNMT1–RUNX3 network (i.e., recovery cycle, homeostasis, and bifurcation state). As a result, the biological system was observed to invade cancer metastasis due to persistent activation of oncogene c-myc accompanied by consistent downregulation of TSG RUNX3. Conversely, homeostasis was achieved in the absence of c-myc and activated TSG RUNX3. Furthermore, DNMT1 was endorsed as a potential epigenetic drug target to be subjected to the implementation of machine-learning techniques for the classification of the active and inactive DNMT1 modulators. The best-performing ML model successfully classified the active and least-active DNMT1 inhibitors exhibiting 97% classification accuracy. Collectively, this study reveals the underlined epigenetic events responsible for RUNX3-implicated breast cancer metastasis along with the classification of DNMT1 modulators that can potentially drive the perception of epigenetic-based tumor therapy.

Joint learning of multiple gene networks from single-cell gene expression data

Inferring gene networks from gene expression data is important for understanding functional organizations within cells. With the accumulation of single-cell RNA sequencing (scRNA-seq) data, it is possible to infer gene networks at single cell level. However, due to the characteristics of scRNA-seq data, such as cellular heterogeneity and high sparsity caused by dropout events, traditional network inference methods may not be suitable for scRNA-seq data. In this study, we introduce a novel joint Gaussian copula graphical model (JGCGM) to jointly estimate multiple gene networks for multiple cell subgroups from scRNA-seq data. Our model can deal with non-Gaussian data with missing values, and identify the common and unique network structures of multiple cell subgroups, which is suitable for scRNA-seq data. Extensive experiments on synthetic data demonstrate that our proposed model outperforms other compared state-of-the-art network inference models. We apply our model to real scRNA-seq data sets to infer gene networks of different cell subgroups. Hub genes in the estimated gene networks are found to be biological significance.

Deciphering the expression dynamics of ANGPTL8 associated regulatory network in insulin resistance using formal modelling approaches

ANGPTL8 is a recently identified novel hormone which regulates both glucose and lipid metabolism. The increase in ANGPTL8 during compensatory insulin resistance has been recently reported to improve glucose tolerance and a part of cytoprotective metabolic circuit. However, the exact signalling entities and dynamics involved in this process have remained elusive. Therefore, the current study was conducted with a specific aim to model the regulation of ANGPTL8 with emphasis on its role in improving glucose tolerance during insulin resistance. The main contribution of this study is the construction of a discrete model (based on kinetic logic of René Thomas) and its equivalent Stochastic Petri Net model of ANGPTL8 associated Biological Regulatory Network (BRN) which can predict its dynamic behaviours. The predicted results of these models are in‐line with the previous experimental observations and provide comprehensive insights into the signalling dynamics of ANGPTL8 associated BRN. The authors’ results support the hypothesis that ANGPTL8 plays an important role in supplementing the insulin signalling pathway during insulin resistance and its loss can aggravate the pathogenic process by quickly leading towards Diabetes Mellitus. The results of this study have potential therapeutic implications for treatment of Diabetes Mellitus and are suggestive of its potential as a glucose‐lowering agent.