Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

8 Citations (Scopus)
7 Downloads (Pure)

Abstract

We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preprocessing.
Original languageEnglish
Title of host publicationProceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing
Subtitle of host publicationCASC '17
EditorsVladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
PublisherSpringer
Pages93-108
Number of pages16
Edition1
ISBN (Electronic)978-3-319-66320-3
ISBN (Print)978-3-319-66319-7
DOIs
Publication statusPublished - 2017
Event19th International Workshop on Computer Algebra in Scientific Computing - Beijing, China
Duration: 18 Sep 201722 Sep 2017
http://www.casc.cs.uni-bonn.de/2017/

Conference

Conference19th International Workshop on Computer Algebra in Scientific Computing
Abbreviated titleCASC '17
CountryChina
CityBeijing
Period18/09/1722/09/17
Internet address

Fingerprint

preprocessing
proteins

Bibliographical note

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-66320-3


Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.

Cite this

England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T., & Weber, A. (2017). Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17 (1 ed., pp. 93-108). Springer. https://doi.org/10.1007/978-3-319-66320-3

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. / England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas.

Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. ed. / Vladimir P. Gerdt; Wolfram Koepf; Werner M. Seiler; Evgenii V. Vorozhtsov. 1. ed. Springer, 2017. p. 93-108.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

England, M, Errami, H, Grigoriev, D, Radulescu, O, Sturm, T & Weber, A 2017, Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. in VP Gerdt, W Koepf, WM Seiler & EV Vorozhtsov (eds), Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. 1 edn, Springer, pp. 93-108, 19th International Workshop on Computer Algebra in Scientific Computing, Beijing, China, 18/09/17. https://doi.org/10.1007/978-3-319-66320-3
England M, Errami H, Grigoriev D, Radulescu O, Sturm T, Weber A. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. In Gerdt VP, Koepf W, Seiler WM, Vorozhtsov EV, editors, Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. 1 ed. Springer. 2017. p. 93-108 https://doi.org/10.1007/978-3-319-66320-3
England, Matthew ; Errami, Hassan ; Grigoriev, Dima ; Radulescu, Ovidiu ; Sturm, Thomas ; Weber, Andreas. / Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. editor / Vladimir P. Gerdt ; Wolfram Koepf ; Werner M. Seiler ; Evgenii V. Vorozhtsov. 1. ed. Springer, 2017. pp. 93-108
@inproceedings{7ba08715049848d48f664ab7c6526fbb,
title = "Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks",
abstract = "We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preprocessing.",
author = "Matthew England and Hassan Errami and Dima Grigoriev and Ovidiu Radulescu and Thomas Sturm and Andreas Weber",
note = "The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-66320-3 Copyright {\circledC} and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.",
year = "2017",
doi = "10.1007/978-3-319-66320-3",
language = "English",
isbn = "978-3-319-66319-7",
pages = "93--108",
editor = "Gerdt, {Vladimir P.} and Wolfram Koepf and Seiler, {Werner M.} and Vorozhtsov, {Evgenii V.}",
booktitle = "Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing",
publisher = "Springer",
edition = "1",

}

TY - GEN

T1 - Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

AU - England, Matthew

AU - Errami, Hassan

AU - Grigoriev, Dima

AU - Radulescu, Ovidiu

AU - Sturm, Thomas

AU - Weber, Andreas

N1 - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-66320-3 Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.

PY - 2017

Y1 - 2017

N2 - We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preprocessing.

AB - We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preprocessing.

U2 - 10.1007/978-3-319-66320-3

DO - 10.1007/978-3-319-66320-3

M3 - Conference proceeding

SN - 978-3-319-66319-7

SP - 93

EP - 108

BT - Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing

A2 - Gerdt, Vladimir P.

A2 - Koepf, Wolfram

A2 - Seiler, Werner M.

A2 - Vorozhtsov, Evgenii V.

PB - Springer

ER -