Formal verification technique for grid service chain model and its application Xu KeWang YueXuanWu Cheng OriginalPaper Pages: 1 - 20
An orthogonal basis for the hyperbolic hybrid polynomial space Huang YuWang GuoZhao OriginalPaper Pages: 21 - 28
New construction for expert system based on innovative knowledge discovery technology Yang BingRuSong WeiXu ZhangYan OriginalPaper Pages: 29 - 40
An ideal topology type convergent theorem on scale effect algebras Wu JunDeZhou XuanChangMinhyung Cho OriginalPaper Pages: 41 - 45
A characterization of answer sets for logic programs Zhang MingYiZhang YingFangZhen Lin OriginalPaper Pages: 46 - 62
Spectral clustering based on matrix perturbation theory Tian ZhengLi XiaoBinJu YanWei OriginalPaper Pages: 63 - 81
Constructing parallel long-message signcryption scheme from trapdoor permutation Hu ZhenYuLin DongDaiFeng DengGuo OriginalPaper Pages: 82 - 98
Study on the distribution law of random code structure of irregular LDPC codes and its application in eliminating short cycles Ma LinHuaChang YiLinWang ShengDa OriginalPaper Pages: 99 - 104
Turbo iterative equalization for HSDPA systems Wu QiHuiZhao ChunMingWang JinLong OriginalPaper Pages: 105 - 112
Mathematic principles of interrupted-sampling repeater jamming (ISRJ) Wang XueSongLiu JianChengXie XiaoXia OriginalPaper Pages: 113 - 123
Application of asymptotic waveform approximation technique to hybrid FE/BI method for 3D scattering Peng ZhenSheng XinQing OriginalPaper Pages: 124 - 134