Journal: Science in China Series F: Information Sciences

Volume 50, Issue 1

1 -- 20Ke Xu, Yuexuan Wang, Cheng Wu. Formal verification technique for grid service chain model and its application
21 -- 28Yu Huang, GuoZhao Wang. An orthogonal basis for the hyperbolic hybrid polynomial space
29 -- 40Bingru Yang, Wei Song, Zhangyan Xu. New construction for expert system based on innovative knowledge discovery technology
41 -- 45JunDe Wu, XuanChang Zhou, Minhyung Cho. An ideal topology type convergent theorem on scale effect algebras
46 -- 62Mingyi Zhang, Ying Zhang, Fangzhen Lin. A characterization of answer sets for logic programs
63 -- 81Zheng Tian, Xiaobin Li, Yanwei Ju. Spectral clustering based on matrix perturbation theory
82 -- 98ZhenYu Hu, Dongdai Lin, Wenling Wu, Dengguo Feng. Constructing parallel long-message signcryption scheme from trapdoor permutation
99 -- 104Linhua Ma, Yilin Chang, ShengDa Wang. Study on the distribution law of random code structure of irregular LDPC codes and its application in eliminating short cycles
105 -- 112QiHui Wu, Chunming Zhao, JinLong Wang. Turbo iterative equalization for HSDPA systems
113 -- 123Xuesong Wang, Jiancheng Liu, Wenming Zhang, QiXiang Fu, Zhong Liu, XiaoXia Xie. Mathematic principles of interrupted-sampling repeater jamming (ISRJ)
124 -- 134Zhen Peng, XinQing Sheng. Application of asymptotic waveform approximation technique to hybrid FE/BI method for 3D scattering