A Case Study on the Parametric Occurrence of Multiple Steady States

Russell Bradford; James H. Davenport; Matthew England; Hassan Errami; Vladimir Gerdt; Dima Grigoriev; Charles Hoyt; Marek Kosta; Ovidiu Radulescu; Thomas Sturm; Andreas Weber

doi:10.1145/3087604.3087622

A Case Study on the Parametric Occurrence of Multiple Steady States

Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

23 Citations (Scopus)

77 Downloads (Pure)

Abstract

The determination of multiple steady states for positive values is very important in the analysis of biological networks. The investigation of the potential of models of the mitogen-activated protein kinases (MAPK) network for such multistationarity has consumed considerable effort using special insights into the structure of corresponding models. We apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtual
substitution, lazy real triangularization and cylindrical algebraic decomposition. We demonstrate that the determination of multistationarity of an 11-dimensional MAPK network with can be achieved by currently available methods
when numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters and furthermore positivity conditions on all variables and parameters

Original language	English
Title of host publication	Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation
Subtitle of host publication	ISSAC '17
Publisher	Association for Computing Machinery
Pages	45-52
Number of pages	8
DOIs	https://doi.org/10.1145/3087604.3087622
Publication status	Published - 25 Jul 2017
Event	42nd International Symposium on Symbolic and Algebraic Computation - Kaiserslautern, Germany Duration: 25 Jul 2017 → 28 Jul 2017 http://www.issac-symposium.org/2017/

Conference

Conference	42nd International Symposium on Symbolic and Algebraic Computation
Abbreviated title	ISSAC '17
Country/Territory	Germany
City	Kaiserslautern
Period	25/07/17 → 28/07/17
Internet address	http://www.issac-symposium.org/2017/

Keywords

Applied computing
Biological networks
Computing Methodologies
Equation and inequality solving algorithms

Access to Document

10.1145/3087604.3087622

Post-PrintAccepted author manuscript, 0.99 MB

Dataset supporting the paper: "A Case Study on the Parametric Occurrence of Multiple Steady States"
Bradford, R. (Contributor), Hoyt, C. (Contributor), Radulescu, O. (Contributor), Weber, A. (Contributor), Sturm, T. (Contributor), Gerdt, V. (Contributor), Davenport, J. H. (Contributor), Grigoriev, D. (Contributor), Košta, M. (Contributor), Errami, H. (Contributor) & England, M. (Contributor), Zenodo, 25 May 2017
DOI: 10.5281/zenodo.583280, https://zenodo.org/record/583280
Dataset

Matthew England
- Research Centre for Computational Science and Mathematical Modelling - Centre Director, Associate Professor Academic
Person: Teaching and Research

Cite this

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T., & Weber, A. (2017). A Case Study on the Parametric Occurrence of Multiple Steady States. In Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17 (pp. 45-52). Association for Computing Machinery. https://doi.org/10.1145/3087604.3087622

A Case Study on the Parametric Occurrence of Multiple Steady States. / Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Kosta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas.

Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery, 2017. p. 45-52.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Bradford, R, Davenport, JH, England, M, Errami, H, Gerdt, V, Grigoriev, D, Hoyt, C, Kosta, M, Radulescu, O, Sturm, T & Weber, A 2017, A Case Study on the Parametric Occurrence of Multiple Steady States. in Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery, pp. 45-52, 42nd International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, 25/07/17. https://doi.org/10.1145/3087604.3087622

Bradford, Russell ; Davenport, James H. ; England, Matthew ; Errami, Hassan ; Gerdt, Vladimir ; Grigoriev, Dima ; Hoyt, Charles ; Kosta, Marek ; Radulescu, Ovidiu ; Sturm, Thomas ; Weber, Andreas. / A Case Study on the Parametric Occurrence of Multiple Steady States. Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery, 2017. pp. 45-52

@inproceedings{b947cb9dcb8643ee85cbaf90a34584ad,

title = "A Case Study on the Parametric Occurrence of Multiple Steady States",

abstract = "The determination of multiple steady states for positive values is very important in the analysis of biological networks. The investigation of the potential of models of the mitogen-activated protein kinases (MAPK) network for such multistationarity has consumed considerable effort using special insights into the structure of corresponding models. We apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtualsubstitution, lazy real triangularization and cylindrical algebraic decomposition. We demonstrate that the determination of multistationarity of an 11-dimensional MAPK network with can be achieved by currently available methodswhen numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters and furthermore positivity conditions on all variables and parameters",

keywords = "Applied computing, Biological networks, Computing Methodologies, Equation and inequality solving algorithms",

author = "Russell Bradford and Davenport, {James H.} and Matthew England and Hassan Errami and Vladimir Gerdt and Dima Grigoriev and Charles Hoyt and Marek Kosta and Ovidiu Radulescu and Thomas Sturm and Andreas Weber",

year = "2017",

month = jul,

day = "25",

doi = "10.1145/3087604.3087622",

language = "English",

pages = "45--52",

booktitle = "Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation",

publisher = " Association for Computing Machinery",

address = "United States",

note = "42nd International Symposium on Symbolic and Algebraic Computation, ISSAC '17 ; Conference date: 25-07-2017 Through 28-07-2017",

url = "http://www.issac-symposium.org/2017/",

}

TY - GEN

T1 - A Case Study on the Parametric Occurrence of Multiple Steady States

AU - Bradford, Russell

AU - Davenport, James H.

AU - England, Matthew

AU - Errami, Hassan

AU - Gerdt, Vladimir

AU - Grigoriev, Dima

AU - Hoyt, Charles

AU - Kosta, Marek

AU - Radulescu, Ovidiu

AU - Sturm, Thomas

AU - Weber, Andreas

PY - 2017/7/25

Y1 - 2017/7/25

N2 - The determination of multiple steady states for positive values is very important in the analysis of biological networks. The investigation of the potential of models of the mitogen-activated protein kinases (MAPK) network for such multistationarity has consumed considerable effort using special insights into the structure of corresponding models. We apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtualsubstitution, lazy real triangularization and cylindrical algebraic decomposition. We demonstrate that the determination of multistationarity of an 11-dimensional MAPK network with can be achieved by currently available methodswhen numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters and furthermore positivity conditions on all variables and parameters

AB - The determination of multiple steady states for positive values is very important in the analysis of biological networks. The investigation of the potential of models of the mitogen-activated protein kinases (MAPK) network for such multistationarity has consumed considerable effort using special insights into the structure of corresponding models. We apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtualsubstitution, lazy real triangularization and cylindrical algebraic decomposition. We demonstrate that the determination of multistationarity of an 11-dimensional MAPK network with can be achieved by currently available methodswhen numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters and furthermore positivity conditions on all variables and parameters

KW - Applied computing

KW - Biological networks

KW - Computing Methodologies

KW - Equation and inequality solving algorithms

U2 - 10.1145/3087604.3087622

DO - 10.1145/3087604.3087622

M3 - Conference proceeding

SP - 45

EP - 52

BT - Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation

PB - Association for Computing Machinery

T2 - 42nd International Symposium on Symbolic and Algebraic Computation

Y2 - 25 July 2017 through 28 July 2017

ER -

A Case Study on the Parametric Occurrence of Multiple Steady States

Abstract

Conference

Keywords

Access to Document

Fingerprint

Datasets

Dataset supporting the paper: "A Case Study on the Parametric Occurrence of Multiple Steady States"

Profiles

Matthew England

Cite this