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

Search Results

Help

Item hits: (Results 1-10 of 408)

Items/Page:    Sort:
A NONLINEARLY PRECONDITIONED INEXACT NEWTON ALGORITHM FOR STEADY STATE LATTICE BOLTZMANN EQUATIONS [期刊论文]
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016-01-01, 卷号: 38, 期号: 3, 页码: A1701-A1724
Huang, JZ; Yang, C; Cai, XC

 
The BLIS Framework: Experiments in Portability [期刊论文]
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016-01-01, 卷号: 42, 期号: 2
Van Zee, FG; Smith, TM; Marker, B; Low, TM; De Geijn, RAV; Igual, FD; Smelyanskiy, M; Zhang, XY; Kistler, M; Austel, V; Gunnels, JA; Killough, L
  |  
 
A space-efficient simulation algorithm on probabilistic automata [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
  |  
 
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016-01-01, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
  |  
 
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
  |  
 
A dynamic niching clustering algorithm based on individual-connectedness and its application to color image segmentation [期刊论文]
PATTERN RECOGNITION, 2016-01-01, 卷号: 60, 页码: 334-347
Chang, DX; Zhao, Y; Liu, L; Zheng, CW
  |  
 
User privacy protection for a mobile commerce alliance [期刊论文]
ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2016-01-01, 卷号: 18, 页码: 58-70
Piao, CH; Li, XY; Pan, X; Zhang, CY
  |  
 
Blind deblurring from single motion image based on adaptive weighted total variation algorithm [期刊论文]
IET SIGNAL PROCESSING, 2016-01-01, 卷号: 10, 期号: 6, 页码: 611-618
Wen, J; Zhao, JS; Cailing, W; Yan, SX; Wang, W
  |  
 
Reusing Service Process Fragments with a Consensus Between Service Providers and Users [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 4, 页码: 648-657
Yang, R; Li, B; Wang Jian(王健); Li, ZY; Hu, Y
  |  
 
Integer valued betting strategies and Turing degrees [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015-01-01, 卷号: 81, 期号: 7, 页码: 1387-1412
Barmpalias, G; Downey, RG; McInerney, M
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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