.png){kind=icon}
返回
On Parameter Synthesis by Parallel Model Checking
.png){kind=icon}
PRE
AI
DOI：10.1109/TCBB.2011.110.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
Keyword:
Biological networks
parallel model checking
dynamical systems
parameter synthesis
systems biology
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
I
IF:
3.4
论文数:
3.3K
被引数:
6.4K
机构
引用论文
Occult HBV infection may negatively impact on drug survival in patients with rheumatoid arthritis on treatment with a first biologic drug. An appraisal from the Biologic Apulian Registry (BIOPURE).png)
Reumatismo
OAAI
ReumatismoIF0
OAAI分享收藏
查看更多内容