Combining search space partition and abstraction for LTL model checking Pu FeiZhang WenHui OriginalPaper Pages: 793 - 810
On global controllability of affine nonlinear systems with a triangular-like structure Sun YiMinMei ShengWeiLu Qiang OriginalPaper Pages: 831 - 845
A fuzzy model of predicting RNA secondary structure Song DanDanDeng ZhiDong OriginalPaper Pages: 846 - 866
Randomization of classical inference patterns and its application Wang GuoJunHui XiaoJing OriginalPaper Pages: 867 - 877
Pulse shaping method to compensate for antenna distortion in ultra-wideband communications Wu XuanLiSha XueJunZhang NaiTong OriginalPaper Pages: 878 - 888
Study on modulation techniques free of orthogonality restriction Cao QiShengLiang DeQun OriginalPaper Pages: 889 - 896
Joint-state differential detection algorithm and its application in UWB wireless communication systems Zhang PengBi GuangGuoCao XiuYing OriginalPaper Pages: 897 - 904
Accurate and robust estimation of phase error and its uncertainty of 50 GHz bandwidth sampling circuit Zhang ZheLin MaoLiuTan JiuBin OriginalPaper Pages: 905 - 914
Solving SAT problem by heuristic polarity decision-making algorithm Jing MingEZhou DianZhang Hua OriginalPaper Pages: 915 - 925