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

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters        
Items/Page:    Sort:
probabilistic bisimulations for quantum processes [期刊论文]
INFORMATION AND COMPUTATION, 2007-01-01, 卷号: 205, 期号: 11, 页码: 1608-1639
Feng Yuan; Duan Runyao; Ji Zhengfeng; Ying Mingsheng
  |  
 
minimizing makespan with release times on identical parallel batching machines [期刊论文]
DISCRETE APPLIED MATHEMATICS, 2005-01-01, 卷号: 148, 期号: 1, 页码: 127-134
Li SG; Li GJ; Zhang SQ
  |  
 
finite element mesh generation over intersecting curved surfaces by tracing of neighbours [期刊论文]
FINITE ELEMENTS IN ANALYSIS AND DESIGN, 2005-01-01, 卷号: 41, 期号: 4, 页码: 351-370
Lo SH; Wang WX
  |  
 
a ptas for semiconductor burn-in scheduling [期刊论文]
JOURNAL OF COMBINATORIAL OPTIMIZATION, 2005-01-01, 卷号: 9, 期号: 1, 页码: 1-13
Deng XT; Feng HD; Li GJ; Shi BY
  |  
 
an irregular grid for the numerical solution of linear elliptic partial differential equations [期刊论文]
APPLIED MATHEMATICS AND COMPUTATION, 2005-01-01, 卷号: 166, 期号: 1, 页码: 84-94
Chen YR; Sun JC
  |  
 
the computations of einstein-kahler metric of cartan-hartogs domain [期刊论文]
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2005-01-01, 卷号: 48, 期号: SUPPL., 页码: 365-376
Yin XL; Zhao XX
  |  
 
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
  |  
 
on the independence of boolean functions [期刊论文]
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005-01-01, 卷号: 82, 期号: 4, 页码: 415-420
Wu CK
  |  
 
genetic design of drugs without side-effects [期刊论文]
SIAM JOURNAL ON COMPUTING, 2003-01-01, 卷号: 32, 期号: 4, 页码: 1073-1090
Deng X; Li G; Li Z; Ma B; Wang LS
  |  
 

1

 

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