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

Search Results

Help

Item hits: (Results 1-6 of 6)

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

 
Unperturbed Schelling Segregation in Two or Three Dimensions [期刊论文]
JOURNAL OF STATISTICAL PHYSICS, 2016-01-01, 卷号: 164, 期号: 6, 页码: 1460-1487
Barmpalias, G; Elwes, R; Lewis-Pye, A
  |  
 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
recent advances in program verification through computer algebra [期刊论文]
Frontiers of Computer Science in China, 2010-01-01, 卷号: 4, 期号: 1, 页码: 40559
Yang Lu; Zhou Chaochen; Zhan Naijun; Xia Bican
  |  
 
lightweight particle filters based localization algorithm for mobile sensor networks [会议论文]
2nd International Conference on Sensor Technologies and Applications, SENSORCOMM 2008, Cap Esterel, France, August 25,
Li An; Sun Limin; Liu Yan; Ma Jian
  |  
 
symplectic structure of poisson system [期刊论文]
APPLIED MATHEMATICS AND MECHANICS-ENGLISH EDITION, 2005-01-01, 卷号: 26, 期号: 11, 页码: 1484-1490
Sun JQ; Ma ZQ; Tian YM; Qin MZ
  |  
 

1

 

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