Ausgabe 1/2008
Inhalt (11 Artikel)
Review Article
Basic research in computer science and software engineering at SKLCS
Jian Zhang, Wenhui Zhang, Naijun Zhan, Yidong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
Research Article
Calculi of meta-variables
Masahiko SATO, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Research Article
Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda
Research Article
On the verification of polynomial system solvers
Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie
Research Article
Fraction-free matrix factors: new forms for LU and QR factors
Wenqin Zhou, David J. Jeffrey
Research Article
Gibbs artifact reduction for POCS super-resolution image reconstruction
Chuangbai Xiao, Jing Yu, Kaina Su
Research Article
Arnetminer: expertise oriented search using social networks
Juanzi Li, Jie Tang, Jing Zhang, Qiong Luo, Yunhao Liu, Mingcai Hong
Research Article
ID-based deniable ring authentication with constant-size signature
Lingling Wang, Guoyin Zhang, Chunguang Ma