Basic research in computer science and software engineering at SKLCS Jian ZhangWenhui ZhangXueyang Zhu Review Article 28 March 2008 Pages: 1 - 11
Calculi of meta-variables Masahiko SATOTakafumi SakuraiAtsushi Igarashi Research Article 28 March 2008 Pages: 12 - 21
Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus Tetsuya MizutaniShigeru IgarashiYasuwo Ikeda Research Article 28 March 2008 Pages: 22 - 28
Semantics of sub-probabilistic programs Yixiang ChenHengyang Wu Research Article 28 March 2008 Pages: 29 - 38
Computational origami environment on the web Asem KasemTetsuo Ida Research Article 28 March 2008 Pages: 39 - 54
On the verification of polynomial system solvers Changbo ChenMarc Moreno MazaYuzhen Xie Research Article 28 March 2008 Pages: 55 - 66
Fraction-free matrix factors: new forms for LU and QR factors Wenqin ZhouDavid J. Jeffrey Research Article 28 March 2008 Pages: 67 - 80
An extended EM algorithm for subspace clustering Lifei ChenQingshan Jiang Research Article 28 March 2008 Pages: 81 - 86
Gibbs artifact reduction for POCS super-resolution image reconstruction Chuangbai XiaoJing YuKaina Su Research Article 28 March 2008 Pages: 87 - 93
Arnetminer: expertise oriented search using social networks Juanzi LiJie TangMingcai Hong Research Article 28 March 2008 Pages: 94 - 105
ID-based deniable ring authentication with constant-size signature Lingling WangGuoyin ZhangChunguang Ma Research Article 28 March 2008 Pages: 106 - 112