{"id":"https://openalex.org/W2005269132","doi":"https://doi.org/10.1109/bibm.2014.6999149","title":"Probabilistic verification of ER stress-induced signaling pathways","display_name":"Probabilistic verification of ER stress-induced signaling pathways","publication_year":2014,"publication_date":"2014-11-01","ids":{"openalex":"https://openalex.org/W2005269132","doi":"https://doi.org/10.1109/bibm.2014.6999149","mag":"2005269132"},"language":"en","primary_location":{"id":"doi:10.1109/bibm.2014.6999149","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibm.2014.6999149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030155062","display_name":"Haijun Gong","orcid":"https://orcid.org/0000-0003-1666-1674"},"institutions":[{"id":"https://openalex.org/I47838141","display_name":"Saint Louis University","ror":"https://ror.org/01p7jjy08","country_code":"US","type":"education","lineage":["https://openalex.org/I47838141"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Haijun Gong","raw_affiliation_strings":["Department of Mathematics and Computer Science, Saint Louis University, MO, USA","Department of Mathematics and Computer Science, Saint Louis University, St. Louis, MO 63103, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Saint Louis University, MO, USA","institution_ids":["https://openalex.org/I47838141"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Saint Louis University, St. Louis, MO 63103, USA","institution_ids":["https://openalex.org/I47838141"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102739899","display_name":"Lu Feng","orcid":"https://orcid.org/0000-0001-5112-110X"},"institutions":[{"id":"https://openalex.org/I47838141","display_name":"Saint Louis University","ror":"https://ror.org/01p7jjy08","country_code":"US","type":"education","lineage":["https://openalex.org/I47838141"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lu Feng","raw_affiliation_strings":["Department of Mathematics and Computer Science, Saint Louis University, MO, USA","Department of Mathematics and Computer Science, Saint Louis University, St. Louis, MO 63103, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Saint Louis University, MO, USA","institution_ids":["https://openalex.org/I47838141"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Saint Louis University, St. Louis, MO 63103, USA","institution_ids":["https://openalex.org/I47838141"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030155062"],"corresponding_institution_ids":["https://openalex.org/I47838141"],"apc_list":null,"apc_paid":null,"fwci":0.4461,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.60807724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"5307","issue":null,"first_page":"182","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11150","display_name":"Endoplasmic Reticulum Stress and Disease","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1307","display_name":"Cell Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11150","display_name":"Endoplasmic Reticulum Stress and Disease","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1307","display_name":"Cell Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12254","display_name":"Machine Learning in Bioinformatics","score":0.9829000234603882,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unfolded-protein-response","display_name":"Unfolded protein response","score":0.6353543400764465},{"id":"https://openalex.org/keywords/signal-transduction","display_name":"Signal transduction","score":0.5489481091499329},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4730716645717621},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4169784188270569},{"id":"https://openalex.org/keywords/endoplasmic-reticulum","display_name":"Endoplasmic reticulum","score":0.3662164807319641},{"id":"https://openalex.org/keywords/neuroscience","display_name":"Neuroscience","score":0.35130369663238525},{"id":"https://openalex.org/keywords/cancer-research","display_name":"Cancer research","score":0.33515214920043945},{"id":"https://openalex.org/keywords/cell-biology","display_name":"Cell biology","score":0.3346788287162781},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.3257614076137543},{"id":"https://openalex.org/keywords/bioinformatics","display_name":"Bioinformatics","score":0.3212948739528656},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18067193031311035}],"concepts":[{"id":"https://openalex.org/C139447449","wikidata":"https://www.wikidata.org/wiki/Q14633900","display_name":"Unfolded protein response","level":3,"score":0.6353543400764465},{"id":"https://openalex.org/C62478195","wikidata":"https://www.wikidata.org/wiki/Q828130","display_name":"Signal transduction","level":2,"score":0.5489481091499329},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4730716645717621},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4169784188270569},{"id":"https://openalex.org/C158617107","wikidata":"https://www.wikidata.org/wiki/Q79927","display_name":"Endoplasmic reticulum","level":2,"score":0.3662164807319641},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.35130369663238525},{"id":"https://openalex.org/C502942594","wikidata":"https://www.wikidata.org/wiki/Q3421914","display_name":"Cancer research","level":1,"score":0.33515214920043945},{"id":"https://openalex.org/C95444343","wikidata":"https://www.wikidata.org/wiki/Q7141","display_name":"Cell biology","level":1,"score":0.3346788287162781},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.3257614076137543},{"id":"https://openalex.org/C60644358","wikidata":"https://www.wikidata.org/wiki/Q128570","display_name":"Bioinformatics","level":1,"score":0.3212948739528656},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18067193031311035}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bibm.2014.6999149","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bibm.2014.6999149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/3","display_name":"Good health and well-being","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1520566118","https://openalex.org/W1563766529","https://openalex.org/W1641228030","https://openalex.org/W1967191236","https://openalex.org/W1967419625","https://openalex.org/W1973956337","https://openalex.org/W1977645024","https://openalex.org/W1984719832","https://openalex.org/W1988740497","https://openalex.org/W1993528080","https://openalex.org/W2008819839","https://openalex.org/W2019860010","https://openalex.org/W2020912852","https://openalex.org/W2021803287","https://openalex.org/W2042321087","https://openalex.org/W2045226074","https://openalex.org/W2057873236","https://openalex.org/W2062918974","https://openalex.org/W2070280418","https://openalex.org/W2086542989","https://openalex.org/W2090556647","https://openalex.org/W2099813190","https://openalex.org/W2101153911","https://openalex.org/W2109635099","https://openalex.org/W2115358726","https://openalex.org/W2119963394","https://openalex.org/W2122189635","https://openalex.org/W2124810679","https://openalex.org/W2138019504","https://openalex.org/W2149776317","https://openalex.org/W2153078832","https://openalex.org/W2161081924","https://openalex.org/W2168747194","https://openalex.org/W6644553036"],"related_works":["https://openalex.org/W2922191166","https://openalex.org/W2766222389","https://openalex.org/W2148632242","https://openalex.org/W2039420809","https://openalex.org/W2385169084","https://openalex.org/W3031468220","https://openalex.org/W2095713125","https://openalex.org/W2089198803","https://openalex.org/W2991046320","https://openalex.org/W2356853174"],"abstract_inverted_index":{"Endoplasmic":[0],"reticulum":[1],"(ER)":[2],"is":[3,116],"a":[4,70,92,151],"communication":[5],"hub":[6],"for":[7],"several":[8],"signaling":[9,27,82,139,229],"and":[10,36,41,63,80,102,181,189,196,232,248],"secretory":[11],"pathways":[12,28,45],"that":[13,22,242],"regulate":[14],"the":[15,32,50,60,76,86,107,112,119,124,138,155,175,185,193,198,211,217,240],"cell":[16],"cycle":[17],"progression.":[18],"Recent":[19],"studies":[20,166],"revealed":[21],"deregulation":[23],"of":[24,34,43,88,111,154,177,187,213,239],"ER":[25,53,77,170,244],"stress-induced":[26,78],"are":[29],"involved":[30],"in":[31,118,192,216],"patho-genesis":[33],"cancer":[35,188,247],"Alzheimers":[37],"disease.":[38],"Computational":[39],"analysis":[40],"verification":[42,94,127,131,165],"these":[44],"will":[46,173,209],"provide":[47,150],"insights":[48],"into":[49],"mechanism":[51],"linking":[52],"stress":[54,245],"with":[55,123,246],"different":[56],"diseases.":[57,250],"Based":[58],"on":[59],"experimental":[61],"observation":[62],"our":[64,237],"recent":[65],"bioinformatics":[66],"studies,":[67],"we":[68],"construct":[69],"quantitative":[71,152],"model":[72,126,141,231],"to":[73,104,184],"systematically":[74],"study":[75],"apoptosis":[79],"survival":[81],"pathways.":[83],"To":[84],"overcome":[85],"limitations":[87],"traditional":[89],"simulation":[90],"techniques,":[91],"formal":[93],"method,":[95,128],"called":[96],"Probabilistic":[97],"Model":[98],"Checking,":[99],"was":[100],"introduced":[101],"applied":[103],"formally":[105],"analyze":[106],"temporal":[108,156],"logic":[109],"properties":[110,157],"stochastic":[113],"model,":[114],"which":[115,219],"written":[117],"PRISM":[120,130,233],"language.":[121],"Compared":[122],"symbolic":[125],"this":[129],"technique":[132],"can":[133,235],"not":[134],"only":[135],"qualitatively":[136],"verify":[137],"pathway":[140,230],"using":[142,158],"sequential":[143],"probability":[144],"ratio":[145],"test":[146],"(SPRT),":[147],"but":[148],"also":[149,202],"estimation":[153,161],"confidence":[159],"interval":[160],"method.":[162],"The":[163,227],"probabilistic":[164],"show":[167],"that,":[168,204],"overexpressed":[169],"transmembrane":[171],"proteins":[172],"promote":[174],"expression":[176,207],"Cyclin":[178],"D,":[179],"Amyloid-\u03b2":[180],"MDM2,":[182],"leading":[183],"pathogenesis":[186],"other":[190,249],"diseases":[191],"long":[194],"term,":[195],"inhibit":[197,225],"apoptosis.":[199],"Our":[200],"work":[201],"verified":[203],"varying":[205],"IKK's":[206],"level":[208],"influence":[210],"number":[212],"NF\u03baB":[214],"molecules":[215],"nucleus,":[218],"explained":[220],"why":[221],"IKK":[222],"inhibitor":[223],"could":[224],"tumorigenesis.":[226],"proposed":[228],"method":[234],"help":[236],"understanding":[238],"mechanisms":[241],"link":[243]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}