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

Search Results

Help

Item hits: (Results 11-18 of 18)

Items/Page:    Sort:
deciding weak bisimilarity of normed context-free processes using tableau [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Liu Xinxin; Chen Haiyan
  |  
 
decomposition of nets and verification in terms of decomposition [会议论文]
International Conference on Computational Intelligence for Modelling, Control and Automation/International Conference on Intelligent Agents Web Technologies and International Commerce, Vienna, AUSTRIA, NOV 28-30,
Li Jiao
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
schema homomorphism - an algebraic framework for schema matching [会议论文]
10th Asian Computing Science Conference, Kunming, PEOPLES R CHINA, DEC 07-09,
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 
multi-color difference schemes of helmholtz equation and its parallel fast solver over 3-d dodecahedron partitions [会议论文]
6th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, AUSTRALIA, OCT 02-03,
Sun JC
  |  
 
加速重叠分块Newton法并行计算潮流问题 [期刊论文]
清华大学学报(自然科学版), 2005-01-01, 卷号: 45, 期号: 3, 页码: 412-414
仝辉; 陈玉荣; 蔡大用
  |  
 
二维Euler方程无网格算法的精度分析 [期刊论文]
计算力学学报, 2005-01-01, 卷号: 22, 期号: 2, 页码: 232-236
胡世祥; 李磊; 佘春东; 唐智礼
  |  
 
Effects of multistage coupling and disk flexibility on mistuned bladed disk dynamics [期刊论文]
Journal of engineering for gas turbines and power, 2003-01-01, 卷号: 125, 期号: 1, 页码: 121-130
BLADH R.; CASTANIER M. P.; PIERRE C.
  |  
 

previous 1 2

 

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