中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 4521)

Filters    
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
Development of a hybrid parallel MCV-based high-order global shallow-water model [期刊论文]
The Journal of Supercomputing, 2017-01-19, 卷号: 73, 期号: 6, 页码: 2823–2842
Peng Zhang;  Chao Yang;  Chungang Chen;  Xingliang Li;  Xueshun Shen;  Feng Xiao
  |  
 
World rare earths trade network: Patterns, relations and role characteristics [期刊论文]
RESOURCES POLICY, 2016-12-01, 卷号: 50, 页码: 119-130
Ge, Jianping;  Wang, Xibo;  Guan, Qing;  Li, Weiheng;  Zhu, He;  Yao, Min

 
一种新的空谱联合探测高光谱影像目标探测算法 [期刊论文]
光谱学与光谱分析, 2016-01-01, 卷号: 36, 期号: 4, 页码: 1163-1169
Wang, CL; Wang, HW; Hu, BL; Wen, J; Xu, J; Li, XJ

 
A survey on position-based routing for vehicular ad hoc networks [期刊论文]
TELECOMMUNICATION SYSTEMS, 2016-01-01, 卷号: 62, 期号: 1, 页码: 15-30
Liu, JQ; Wan, JF; Wang, QR; Deng, P; Zhou, KL; Qiao, YP
  |  
 
Authenticated key exchange with entities from different settings and varied groups [期刊论文]
SECURITY AND COMMUNICATION NETWORKS, 2016-01-01, 卷号: 9, 期号: 12, 页码: 1843-1863
Guo, YF; Zhang, ZF

 
基于邻域分割的空谱联合稀疏表示高光谱图像分类技术研究 [期刊论文]
光谱学与光谱分析, 2016-01-01, 卷号: 36, 期号: 9, 页码: 2919-2924
Wang, CL; Wang, HW; Hu, BL; Wen, J; Xu, J; Li, XJ

 
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Utilizing Probabilistic Linear Equations in Cube Attacks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 317-325
Yao, Y; Zhang, B; Wu, WL

 
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment [期刊论文]
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016-01-01, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y; Yan, J; Choo, KKR
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace