Volume 2,
Number 1,
March 2008
- Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS.
1-11
Electronic Edition (link) BibTeX
- Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi:
Calculi of meta-variables.
12-21
Electronic Edition (link) BibTeX
- Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda:
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus.
22-28
Electronic Edition (link) BibTeX
- Yixiang Chen, Hengyang Wu:
Semantics of sub-probabilistic programs.
29-38
Electronic Edition (link) BibTeX
- Asem Kasem, Tetsuo Ida:
Computational origami environment on the web.
39-54
Electronic Edition (link) BibTeX
- Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the verification of polynomial system solvers.
55-66
Electronic Edition (link) BibTeX
- Wenqin Zhou, David J. Jeffrey:
Fraction-free matrix factors: new forms for LU and QR factors.
67-80
Electronic Edition (link) BibTeX
- Lifei Chen, Qingshan Jiang:
An extended EM algorithm for subspace clustering.
81-86
Electronic Edition (link) BibTeX
- Chuangbai Xiao, Jing Yu, Kaina Su:
Gibbs artifact reduction for POCS super-resolution image reconstruction.
87-93
Electronic Edition (link) BibTeX
- Juanzi Li, Jie Tang, Jing Zhang, Qiong Luo, Yunhao Liu, MingCai Hong:
Arnetminer: expertise oriented search using social networks.
94-105
Electronic Edition (link) BibTeX
- Lingling Wang, Guoyin Zhang, Chunguang Ma:
ID-based deniable ring authentication with constant-size signature.
106-112
Electronic Edition (link) BibTeX
Volume 2,
Number 2,
June 2008
- Guilu Long, Tzyh Jong Tarn:
Progress in theoretical quantum computing.
113
Electronic Edition (link) BibTeX
- Xiuhong Gao, Albeverio Sergio, Kai Chen, Shaoming Fei, Xianqing Li-Jost:
Entanglement of formation and concurrence for mixed states.
114-128
Electronic Edition (link) BibTeX
- Wei Cui, Zairong Xi, Yu Pan:
Decoherence control for high-temperature reservoirs.
129-137
Electronic Edition (link) BibTeX
- Dafa Li:
Quantum fixed-point search algorithm with general phase shifts.
138-142
Electronic Edition (link) BibTeX
- Hao Chen:
Constructing quantum codes.
143-146
Electronic Edition (link) BibTeX
- Xihan Li, Fuguo Deng:
Controlled teleportation.
147-160
Electronic Edition (link) BibTeX
- Jiafu Xu, Fanming Song:
Quantum programming languages.
161-166
Electronic Edition (link) BibTeX
- Guilu Long, Yang Liu:
Duality quantum computing.
167-178
Electronic Edition (link) BibTeX
- Ting Gao, Fengli Yan, Zhixi Wang, Youcheng Li:
Quantum probabilistically cloning and computation.
179-189
Electronic Edition (link) BibTeX
- Yuchun Wu, Guangcan Guo:
High-dimension Bell inequalities.
190-192
Electronic Edition (link) BibTeX
- Daowen Qiu, Lvzhou Li:
An overview of quantum computation models: quantum automata.
193-207
Electronic Edition (link) BibTeX
Volume 2,
Number 3,
September 2008
- Aoying Zhou:
Introduction to the special section on peer-to-peer computing and web data management.
209-210
Electronic Edition (link) BibTeX
- Bin Yang, Weining Qian, Aoying Zhou:
Using Wide Table to manage web data: a survey.
211-223
Electronic Edition (link) BibTeX
- Rong Zhang, Koji Zettsu, Yutaka Kidawara, Yasushi Kiyoki:
Decentralized architecture for resource management of group-based distributed systems.
224-233
Electronic Edition (link) BibTeX
- Mei Li, Wang-Chien Lee, Anand Sivasubramaniam, Jizhong Zhao:
Supporting K nearest neighbors query on high-dimensional data in P2P systems.
234-247
Electronic Edition (link) BibTeX
- Jianliang Xu, Xueyan Tang, Wang-Chien Lee:
Distributed query processing in flash-based sensor networks.
248-256
Electronic Edition (link) BibTeX
- Fengrong Li, Takuya Iida, Yoshiharu Ishikawa:
Traceable P2P record exchange: a database-oriented approach.
257-267
Electronic Edition (link) BibTeX
- Yuanyan Tang:
Status of pattern recognition with wavelet analysis.
268-294
Electronic Edition (link) BibTeX
- Jian Yang, Jing-Yu Yang, David Zhang:
Median Fisher Discriminator: a robust feature extraction method with applications to biometrics.
295-305
Electronic Edition (link) BibTeX
- Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv:
Dynamic description logic model for data integration.
306-330
Electronic Edition (link) BibTeX
Volume 2,
Number 4,
December 2008
- Lan Lin, Jesse H. Poore:
Pushing requirements changes through to changes in specifications.
331-343
Electronic Edition (link) BibTeX
- Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic.
344-356
Electronic Edition (link) BibTeX
- Jun Pang, Zhengqin Luo, Yuxin Deng:
On automatic verification of self-stabilizing population protocols.
357-367
Electronic Edition (link) BibTeX
- Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Compositional encoding for bounded model checking.
368-379
Electronic Edition (link) BibTeX
- Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua:
Automated verification of pointer programs in pointer logic.
380-397
Electronic Edition (link) BibTeX
- Antonio Brogi, Razvan Popescu:
Workflow-based semantics for peer-to-peer specifications.
398-412
Electronic Edition (link) BibTeX
- Lianwei Guan, Xingyu Li, Hao Hu, Jian Lu:
A Petri net-based approach for supporting aspect-oriented modeling.
413-423
Electronic Edition (link) BibTeX
- Yue Hu, Xiaoyu Gao, Li Li, Qingshi Gao:
Style transformation in natural languages.
424-430
Electronic Edition (link) BibTeX
- Yunping Zheng, Chuanbo Chen, Mudar Sarem:
An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles.
431-437
Electronic Edition (link) BibTeX
- Xin Li, Bei Hua, Yi Shang, Yan Xiong:
A robust localization algorithm in wireless sensor networks.
438-450
Electronic Edition (link) BibTeX
- Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui:
Types, structures and theories in NKI.
451-459
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:03 2009
by Michael Ley (ley@uni-trier.de)
