| 793 | -- | 810 | Fei Pu, Wenhui Zhang. Combining search space partition and abstraction for LTL model checking |
| 811 | -- | 830 | Amjad Mahmood. Dynamic replication of web contents |
| 831 | -- | 845 | YiMin Sun, ShengWei Mei, Qiang Lu. On global controllability of affine nonlinear systems with a triangular-like structure |
| 846 | -- | 866 | Dandan Song, Zhidong Deng. A fuzzy model of predicting RNA secondary structure |
| 867 | -- | 877 | Guojun Wang, XiaoJing Hui. Randomization of classical inference patterns and its application |
| 878 | -- | 888 | Xuanli Wu, Xuejun Sha, Naitong Zhang. Pulse shaping method to compensate for antenna distortion in ultra-wideband communications |
| 897 | -- | 904 | Peng Zhang, Guangguo Bi, Xiuying Cao. Joint-state differential detection algorithm and its application in UWB wireless communication systems |
| 905 | -- | 914 | Zhe Zhang, MaoLiu Lin, QingHua Xu, JiuBin Tan. Accurate and robust estimation of phase error and its uncertainty of 50 GHz bandwidth sampling circuit |
| 915 | -- | 925 | Ming-e Jing, Dian Zhou, PuShan Tang, Xiaofang Zhou, Hua Zhang. Solving SAT problem by heuristic polarity decision-making algorithm |