On Parameter Synthesis by Parallel Model Checking

Barnat Jiri; Brim Lubos; Krejci Adam; Streck Adam; Safranek David; Vejnar Martin; Vejpustek Tomas

首页> 外文期刊>Computational Biology and Bioinformatics, IEEE/ACM Transactions on >On Parameter Synthesis by Parallel Model Checking

【24h】

On Parameter Synthesis by Parallel Model Checking

机译：基于并行模型检查的参数综合

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：当前计算系统生物学中的一个重要问题是分析参数不确定性下的生物系统动力学模型。本文提出了一种基于并行模型检查的参数合成新算法。就所采用的建模方法而言，该算法在概念上是通用的。我们介绍该算法，展示其可扩展性，并检查其在几种生物学模型上的适用性。

著录项

来源
《Computational Biology and Bioinformatics, IEEE/ACM Transactions on》 |2012年第3期|p.693-705|共13页
作者
Barnat Jiri; Brim Lubos; Krejci Adam; Streck Adam; Safranek David; Vejnar Martin; Vejpustek Tomas;
展开▼
作者单位

Masaryk University, Brno;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Biological networks; dynamical systems; parallel model checking; parameter synthesis; systems biology.;

机译：生物网络;动力学系统;并行模型检查;参数综合;系统生物学。;

相似文献

外文文献
中文文献
专利

1. Automated parameter estimation for biological models using Bayesian statistical model checking [J] . Faraz Hussain, Christopher J Langmead, Qi Mi, BMC Bioinformatics . 2015,第SUPPLEMENTa17期

机译：使用贝叶斯统计模型检查的生物模型自动参数估计
2. Parameter discovery in stochastic biological models using simulated annealing and Statistical model checking [J] . Faraz Hussain, Sumit K. Jha, Susmit Jha, International journal of bioinformatics research and applications . 2014,第4a5期

机译：使用模拟退火和统计模型检查随机生物模型中的参数发现
3. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. [J] . Batt G, Page M, Cantone I, Bioinformatics . 2010,第18期

机译：使用符号模型检查，高效地搜索监管网络的定性模型。
4. Parameter Synthesis by Parallel Coloured CTL Model Checking [C] . Lubos Brim, Milan Ceska, Martin Demko, International conference on computational methods in systems biology . 2015

机译：通过并行彩色CTL模型检查进行参数综合
5. Secondary Monitor Unit Checks for VMAT Using Parallelized Monte Carlo Simulations [D] . Bhagroo, Stephen 2018

机译：辅助监视单元使用并行蒙特卡洛模拟检查VMAT
6. Automated parameter estimation for biological models using Bayesian statistical model checking [O] . Faraz Hussain, Christopher J Langmead, Qi Mi, 2015

机译：使用贝叶斯统计模型检查的生物模型参数自动估计
7. On parameter synthesis by parallel model checking [O] . J. Barnat, L. Brim, A. Krejčí, 2012

机译：关于并行模型检验的参数综合

On Parameter Synthesis by Parallel Model Checking

摘要

著录项

相似文献

相关主题

期刊订阅