CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Bayesian method-based learning automata for two-player stochastic games with incomplete information 会议论文
International Conference on Communications, Signal Processing, and Systems, CSPS 2018, Dalian, China, 2018-07-14
作者:  Ding, Hua;  Di, Chong;  Shenghong, Li
收藏  |  浏览/下载：33/0  |  提交时间：2019/12/02
A robust potential-based route choice model for simulating pedestrian evacuation 期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2019
作者:  Ma, Liang;  Chen, Bin;  Guo, Ren-Yong;  Wu, Pei-Yang;  Zhu, Zhengqiu
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Novel protected sub-frame selection based interference mitigation and resource assignment in heterogeneous multi-cloud radio access networks 期刊论文
SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, 2018, 卷号: 20, 页码: 165-173
作者:  Parashar, Vivek;  Shi, Jinglin;  Gao, Mingjin;  Tyagi, Sumarga K. Sah;  Bayessa, Gezahegn Abdissa
收藏  |  浏览/下载：47/0  |  提交时间：2019/04/03
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.
收藏  |  浏览/下载：22/0  |  提交时间：2018/07/30
Model-based verification method for solving the parameter uncertainty in the train control system 期刊论文
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 卷号: 145, 页码: 169-182
作者:  Cheng, Ruijun;  Zhou, Jin;  Chen, Dewang;  Song, Yongduan
收藏  |  浏览/下载：6/0  |  提交时间：2019/11/21
Simulating urban growth processes by integrating cellular automata model and artificial optimization in Binhai New Area of Tianjin, China 期刊论文
GEOCARTO INTERNATIONAL, 2016, 卷号: 31, 期号: 6, 页码: 612-627
作者:  Yao, Fengmei;  Hao, Cui;  Zhang, Jiahua
收藏  |  浏览/下载：33/0  |  提交时间：2017/04/24
Modeling urban metabolism of Beijing city, China: with a coupled system dynamics: emergy model 期刊论文
Stochastic Environmental Research and Risk Assessment, 2014, 卷号: 28, 期号: 6, 页码: 1511-1524
Song T.; Cai J. M.; Chahine T.; Xu H.; Niu F. Q.
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/24
model checking conditional csl for continuous-time markov chains 期刊论文
Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
A semantics for every GSPN 会议论文
34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013, Milan, Italy, June 24, 2013 - June 28, 2013
Eisentraut, Christian (1); Hermanns, Holger (1); Katoen, Joost-Pieter (2); Zhang, Lijun (3)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16

©版权所有 ©2017 CSpace - Powered by CSpace