Please use this identifier to cite or link to this item:

Statistical analysis and probabilistic verification of stress-induced signalling pathways

Authors Ma, Yinjiao
Feng, Lu
Guo, Yusong View this author's profile
Gong, Haijun
Issue Date 2016
Source International Journal of Data Mining and Bioinformatics , v. 14, (2), 2016, p. 120-138
Summary Recent studies reveal that dysregulation of Endoplasmic Reticulum (ER) stress signalling pathways is implicated in the pathogenesis of several diseases. ER is a major hub for protein synthesis, modification and sorting, and it also regulates several signalling pathways in the cell cycle progression. Disturbance of endoplasmic reticulum could induce an unfolded protein response, which is a self-protective mechanism. Graphical lasso method was first used to infer the undirected sub-networks of ER stress signalling from microarray data. Then, we construct a stochastic model to describe the crosstalk of three major signalling pathways induced by ER stress, and apply a probabilistic model checking technique to formally analyse the temporal logic properties of the model, which is written in the PRISM language. This verification technique can both qualitatively and quantitatively verify the signalling pathway model using the sequential probability ratio test and confidence interval estimation method, respectively. © Copyright 2016 Inderscience Enterprises Ltd.
ISSN 1748-5673
Language English
Format Article
Access View full-text via DOI
View full-text via Scopus
View full-text via Web of Science