CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Probabilistic Seismic Hazard Assessment for Himalayan-Tibetan Region from Historical and Instrumental Earthquake Catalogs 期刊论文
PURE AND APPLIED GEOPHYSICS, 2018, 卷号: 175, 期号: 2  特刊: SI, 页码: 685-705
作者:  Rahman, MM (Rahman, M. Moklesur);  Bai, L (Bai, Ling);  Khan, NG (Khan, Nangyal Ghani);  Li, GH (Li, Guohui)
收藏  |  浏览/下载：59/0  |  提交时间：2019/06/25
An Optimal Task Decision Method for a Warehouse Robot with Multiple Tasks Based on Linear Temporal Logic 会议论文
IEEE International Conference on Systems, Man, and Cybernetics (SMC), Banff, CANADA, OCT 05-08, 2017
作者:  Hao, Shuai;  Huang, Zhiwu*;  Wang, Lulu;  Zhang, Rui;  Zhang, Xiaoyong
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28
线性时序逻辑转换Büchi自动机的按需即时算法 期刊论文
2016, 2016
单来祥; 覃征; 卢欣晔; 卢正才; SHAN Laixiang; QIN Zheng; LU Xinye; LU Zhengcai
收藏  |  浏览/下载：2/0
Concurrent Algorithms in SPIN Model Checker 其他
2016-01-01
Nawaz, M. Saqib; Ali, Hussam; Lali, M. IkramUllah
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Heavy-Ion Microbeam Fault Injection into SRAM-Based FPGA Implementations of Cryptographic Circuits 期刊论文
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2015, 卷号: 62, 页码: 1341-1348
作者:  Shao, Cuiping;  Li, Huiyun;  Xu, Guoqing;  Guo, Jinlong;  Dai, Liang
收藏  |  浏览/下载：18/0  |  提交时间：2018/05/31
Heavy-ion Microbeam Fault Injection into SRAM-based FPGA Implementations of Cryptographic Circuits 期刊论文
IEEE Transactions on Nuclear Science, 2015
作者:  Huiyun Li;  Guanghua Du;  Cuiping Shao;  Liang Dai;  Guoqing Xu
收藏  |  浏览/下载：17/0  |  提交时间：2016/01/27
Model checking fuzzy computation tree logic 期刊论文
fuzzy sets and systems, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/11
Engineering molecular dynamics simulation in chemical engineering 期刊论文
Chemical Engineering Science, 2015, 页码: 200-216
Xu, J.; Li, X. X.; Hou, C. F.; Wang, L. M.; Zhou, G. Z.; Ge, W.; Li, J. H.
收藏  |  浏览/下载：17/0  |  提交时间：2015/04/01
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration(aEuro) 期刊论文
COMPUTER JOURNAL, 2015, 卷号: 58, 页码: 2824-2840
作者:  Kong, Weiqiang;  Liu, Leyuan;  Ando, Takahiro;  Yatsu, Hirokazu;  Hisazumi, Kenji
收藏  |  浏览/下载：13/0  |  提交时间：2019/12/09
A MODIS-based Photosynthetic Capacity Model to estimate gross primary production in Northern China and the Tibetan Plateau 期刊论文
REMOTE SENSING OF ENVIRONMENT, Gao, YN; Yu, GR; Yan, HM; Zhu, XJ; Li, SG; Wang, QF; Zhang, JH; Wang, YF; Li, YN; Zhao, L; Shi, PL.A MODIS-based Photosynthetic Capacity Model to estimate gross primary production in Northern China and the Tibetan Plateau,REMOTE SENSING OF ENVIRONMENT,2014,148():108, 2014
Gao, Yanni; Yu, Guirui; Yan, Huimin; Zhu, Xianjin; Li, Shenggong; Wang, Qiufeng; Zhang, Junhui; Wang, Yanfen; Li, Yingnian; Zhao, Liang; Shi, Peili
收藏  |  浏览/下载：10/0  |  提交时间：2019/06/14

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