中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
On hybrid models of quantum finite automata 期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：106/0  |  提交时间：2018/07/30
Quantum computing  Automata theory  Quantum finite automata  Hybrid model of QFA  
A note on the false discovery rate of novel peptides in proteogenomics 期刊论文
BIOINFORMATICS, 2015, 卷号: 31, 期号: 20, 页码: 3249-3253
作者:  Zhang, Kun;  Fu, Yan;  Zeng, Wen-Feng;  He, Kun;  Chi, Hao;  Liu, Chao;  Li, Yan-Chang;  Gao, Yuan;  Xu, Ping;  He, Si-Min
收藏  |  浏览/下载：178/0  |  提交时间：2018/07/30
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties 期刊论文
INFORMATION AND COMPUTATION, 2015, 卷号: 244, 页码: 229-244
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
Quantum Markov chains  Hybrid systems  Quantum automata  Equivalence  Model checking  Linear-time property  
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm 期刊论文
DISTRIBUTED COMPUTING, 2015, 卷号: 28, 期号: 4, 页码: 233-244
作者:  Feng, Yuan;  Zhang, Lijun
收藏  |  浏览/下载：84/0  |  提交时间：2018/07/30
Herman's algorithm  Self-stabilization  Lagrange multipliers method  
Indefinite Mean-Field Stochastic Linear-Quadratic Optimal Control 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 卷号: 60, 期号: 7, 页码: 1786-1800
作者:  Ni, Yuan-Hua;  Zhang, Ji-Feng;  Li, Xun
收藏  |  浏览/下载：122/0  |  提交时间：2018/07/30
Indefinite stochastic linear-quadratic optimal control  mean-field theory  multi-period mean-variance portfolio selection