PMID- 25362839
OWN - NLM
STAT- MEDLINE
DCOM- 20150724
LR  - 20180810
IS  - 1757-6334 (Electronic)
IS  - 0219-7200 (Linking)
VI  - 12
IP  - 5
DP  - 2014 Oct
TI  - Formal modeling of a system of chemical reactions under uncertainty.
PG  - 1440002
LID - 10.1142/S0219720014400022 [doi]
AB  - We describe a novel formalism representing a system of chemical reactions, with 
      imprecise rates of reactions and concentrations of chemicals, and describe a 
      model reduction method, pruning, based on the chemical properties. We present two 
      algorithms, midpoint approximation and interval approximation, for construction 
      of efficient model abstractions with uncertainty in data. We evaluate 
      computational feasibility by posing queries in computation tree logic (CTL) on a 
      prototype of extracellular-signal-regulated kinase (ERK) pathway.
FAU - Ghosh, Krishnendu
AU  - Ghosh K
AD  - Department of Computer & Information Technology, Miami University, Hamilton, OH 
      45011, USA.
FAU - Schlipf, John
AU  - Schlipf J
LA  - eng
PT  - Journal Article
PL  - Singapore
TA  - J Bioinform Comput Biol
JT  - Journal of bioinformatics and computational biology
JID - 101187344
SB  - IM
MH  - Algorithms
MH  - Computational Biology
MH  - Computer Simulation
MH  - MAP Kinase Signaling System
MH  - *Models, Biological
MH  - Models, Chemical
MH  - *Signal Transduction
MH  - Software
MH  - Systems Biology
MH  - Uncertainty
OTO - NOTNLM
OT  - Model checking
OT  - algorithms
OT  - systems biology
OT  - uncertainty
EDAT- 2014/11/05 06:00
MHDA- 2015/07/25 06:00
CRDT- 2014/11/04 06:00
PHST- 2014/11/04 06:00 [entrez]
PHST- 2014/11/05 06:00 [pubmed]
PHST- 2015/07/25 06:00 [medline]
AID - 10.1142/S0219720014400022 [doi]
PST - ppublish
SO  - J Bioinform Comput Biol. 2014 Oct;12(5):1440002. doi: 10.1142/S0219720014400022.