1673-9418
2007 Issue 1
Quantum computing and quantum computers
WU Nan;SONG Fang-min
WU Nan;SONG Fang-min
..............page:1-16
Mathematic methods of biological process
WANG Fei;TANG Yin;XI Yan-ping;LU Ru-qian
WANG Fei;TANG Yin;XI Yan-ping;LU Ru-qian
..............page:17-38
Probability advantages of two linear expressions in symmetric ciphers
ZHANG Hai-na;WANG Shao-hui;WANG Xiao-yun
ZHANG Hai-na;WANG Shao-hui;WANG Xiao-yun
..............page:39-46
Evaluating proposals for handling inconsistency in requirements
MU Ke-dian;JIN Zhi
MU Ke-dian;JIN Zhi
..............page:47-58
Ontology-based semantic search over relational data bases
WANG Shan;ZHANG Jun;PENG Zhao-hui;ZHAN Jiang;DU Xiao-yong
WANG Shan;ZHANG Jun;PENG Zhao-hui;ZHAN Jiang;DU Xiao-yong
..............page:59-78
SAT-based algorithm for knowledge reasoning
SU Kai-le;CHEN Qing-liang;YUE Wei-ya
SU Kai-le;CHEN Qing-liang;YUE Wei-ya
..............page:79-86
Research of pheromone increment and diffusion model for ant colony optimization algorithms
JI Jun-zhong;LIU Chun-nian;HUANG Zhen
JI Jun-zhong;LIU Chun-nian;HUANG Zhen
..............page:87-94
Novel Internet worm immune model based on biological immune principles
ZHANG Hong-lin;WANG Xiao-ming
ZHANG Hong-lin;WANG Xiao-ming
..............page:95-107
Identifying exceptions from data streams based on kernel estimation and interval clustering
ZHANG Shi-chao;YOU Xiao-fang;YUAN Ding-rong
ZHANG Shi-chao;YOU Xiao-fang;YUAN Ding-rong
..............page:108-115
DPLL algorithm with literal renaming strategy
XU Dao-yun;LIU Chang-yun
XU Dao-yun;LIU Chang-yun
..............page:116-125
ji suan ji tu xing xue guo ji hui yi siggraph ji zhong guo xue zhe fa biao wen zhang qing kuang
xu lin
xu lin
..............page:126-128
..............page:封3