Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005269132> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2005269132 abstract "Endoplasmic reticulum (ER) is a communication hub for several signaling and secretory pathways that regulate the cell cycle progression. Recent studies revealed that deregulation of ER stress-induced signaling pathways are involved in the patho-genesis of cancer and Alzheimers disease. Computational analysis and verification of these pathways will provide insights into the mechanism linking ER stress with different diseases. Based on the experimental observation and our recent bioinformatics studies, we construct a quantitative model to systematically study the ER stress-induced apoptosis and survival signaling pathways. To overcome the limitations of traditional simulation techniques, a formal verification method, called Probabilistic Model Checking, was introduced and applied to formally analyze the temporal logic properties of the stochastic model, which is written in the PRISM language. Compared with the symbolic model verification method, this PRISM verification technique can not only qualitatively verify the signaling pathway model using sequential probability ratio test (SPRT), but also provide a quantitative estimation of the temporal properties using confidence interval estimation method. The probabilistic verification studies show that, overexpressed ER transmembrane proteins will promote the expression of Cyclin D, Amyloid-β and MDM2, leading to the pathogenesis of cancer and other diseases in the long term, and inhibit the apoptosis. Our work also verified that, varying IKK's expression level will influence the number of NFκB molecules in the nucleus, which explained why IKK inhibitor could inhibit tumorigenesis. The proposed signaling pathway model and PRISM method can help our understanding of the mechanisms that link ER stress with cancer and other diseases." @default.
- W2005269132 created "2016-06-24" @default.
- W2005269132 creator A5005539802 @default.
- W2005269132 creator A5030155062 @default.
- W2005269132 date "2014-11-01" @default.
- W2005269132 modified "2023-10-16" @default.
- W2005269132 title "Probabilistic verification of ER stress-induced signaling pathways" @default.
- W2005269132 cites W1563766529 @default.
- W2005269132 cites W1641228030 @default.
- W2005269132 cites W1967191236 @default.
- W2005269132 cites W1967419625 @default.
- W2005269132 cites W1973956337 @default.
- W2005269132 cites W1984719832 @default.
- W2005269132 cites W1988740497 @default.
- W2005269132 cites W1993528080 @default.
- W2005269132 cites W2008819839 @default.
- W2005269132 cites W2019860010 @default.
- W2005269132 cites W2020912852 @default.
- W2005269132 cites W2021803287 @default.
- W2005269132 cites W2042321087 @default.
- W2005269132 cites W2045226074 @default.
- W2005269132 cites W2057873236 @default.
- W2005269132 cites W2062918974 @default.
- W2005269132 cites W2086542989 @default.
- W2005269132 cites W2090556647 @default.
- W2005269132 cites W2099813190 @default.
- W2005269132 cites W2101153911 @default.
- W2005269132 cites W2109635099 @default.
- W2005269132 cites W2115358726 @default.
- W2005269132 cites W2119963394 @default.
- W2005269132 cites W2122189635 @default.
- W2005269132 cites W2124810679 @default.
- W2005269132 cites W2138019504 @default.
- W2005269132 cites W2149776317 @default.
- W2005269132 cites W2153078832 @default.
- W2005269132 cites W2161081924 @default.
- W2005269132 cites W2168747194 @default.
- W2005269132 doi "https://doi.org/10.1109/bibm.2014.6999149" @default.
- W2005269132 hasPublicationYear "2014" @default.
- W2005269132 type Work @default.
- W2005269132 sameAs 2005269132 @default.
- W2005269132 citedByCount "4" @default.
- W2005269132 countsByYear W20052691322015 @default.
- W2005269132 countsByYear W20052691322016 @default.
- W2005269132 countsByYear W20052691322018 @default.
- W2005269132 countsByYear W20052691322021 @default.
- W2005269132 crossrefType "proceedings-article" @default.
- W2005269132 hasAuthorship W2005269132A5005539802 @default.
- W2005269132 hasAuthorship W2005269132A5030155062 @default.
- W2005269132 hasConcept C138885662 @default.
- W2005269132 hasConcept C154945302 @default.
- W2005269132 hasConcept C21036866 @default.
- W2005269132 hasConcept C41008148 @default.
- W2005269132 hasConcept C41895202 @default.
- W2005269132 hasConcept C49937458 @default.
- W2005269132 hasConceptScore W2005269132C138885662 @default.
- W2005269132 hasConceptScore W2005269132C154945302 @default.
- W2005269132 hasConceptScore W2005269132C21036866 @default.
- W2005269132 hasConceptScore W2005269132C41008148 @default.
- W2005269132 hasConceptScore W2005269132C41895202 @default.
- W2005269132 hasConceptScore W2005269132C49937458 @default.
- W2005269132 hasLocation W20052691321 @default.
- W2005269132 hasOpenAccess W2005269132 @default.
- W2005269132 hasPrimaryLocation W20052691321 @default.
- W2005269132 hasRelatedWork W1253008510 @default.
- W2005269132 hasRelatedWork W1501302278 @default.
- W2005269132 hasRelatedWork W1575659177 @default.
- W2005269132 hasRelatedWork W1603968847 @default.
- W2005269132 hasRelatedWork W2317724037 @default.
- W2005269132 hasRelatedWork W2346076952 @default.
- W2005269132 hasRelatedWork W2909011011 @default.
- W2005269132 hasRelatedWork W2932787182 @default.
- W2005269132 hasRelatedWork W3049590824 @default.
- W2005269132 hasRelatedWork W4290792893 @default.
- W2005269132 isParatext "false" @default.
- W2005269132 isRetracted "false" @default.
- W2005269132 magId "2005269132" @default.
- W2005269132 workType "article" @default.