中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
收藏  |  浏览/下载：145/0  |  提交时间：2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming  
Extended particle swarm optimisation method for folding protein on triangular lattice 期刊论文
IET SYSTEMS BIOLOGY, 2016, 卷号: 10, 期号: 1, 页码: 30-33
作者:  Guo, Yuzhen;  Wu, Zikai;  Wang, Ying;  Wang, Yong
收藏  |  浏览/下载：135/0  |  提交时间：2018/07/30
proteins  molecular biophysics  molecular configurations  particle swarm optimisation  bioinformatics  extended particle swarm optimisation method  triangular lattice  protein structure prediction problem  two-dimensional hydrophobic-polar model  noncompact conformation  amino acid sequence  single point adjustment strategy  protein folding