生物网络多稳态参数区域的符号与数值计算及可视化
符号计算
2017-12-22 v1
摘要
我们研究丝裂原活化蛋白激酶（MAPK）网络模型，旨在确定参数空间中存在多个正稳态的区域。我们基于近期将多种符号计算方法结合用于等式与不等式混合系统的进展。我们证明，这些技术从一种新实现的图论符号预处理方法中获益巨大。我们比较了数值延拓方法与我们的符号方法在应用预处理前后的计算时间和结果质量。
引用
@article{arxiv.1706.08794,
title = {Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks},
author = {Matthew England and Hassan Errami and Dima Grigoriev and Ovidiu Radulescu and Thomas Sturm and Andreas Weber},
journal= {arXiv preprint arXiv:1706.08794},
year = {2017}
}
备注
Accepted into Proc. CASC 2017