1. The sound and complete R-calculus for revising propositional theories

   • Wei Li
   • YueFei Sui
   • MeiYing Sun

   Research Paper 22 July 2015 Pages: 1 - 12

2. Automatic tuning of sparse matrix-vector multiplication on multicore clusters

   • ShiGang Li
   • ChangJun Hu
   • YunQuan Zhang

   Research Paper 24 June 2015 Pages: 1 - 14

3. Auxo: an architecture-centric framework supporting the online tuning of software adaptivity

   • HuaiMin Wang
   • Bo Ding
   • Alvin T. S. Chan

   Research Paper 14 July 2015 Pages: 1 - 15

4. Enhancement of cooperation between file systems and applications — on VFS extensions for optimized performance

   • Li Wang
   • XiangKe Liao
   • XueJun Yang

   Research Paper 18 June 2015 Pages: 1 - 10

5. Segmentation of Hematoxylin-Eosin stained breast cancer histopathological images based on pixel-wise SVM classifier

   • AiPing Qu
   • JiaMei Chen
   • Yan Li

   Research Paper 23 March 2015 Pages: 1 - 13

6. The binocular neural mechanism: disparity coding schemes and population coding

   • Li Zhao

   Research Paper 01 May 2015 Pages: 1 - 14

7. On the k-error linear complexity of binary sequences derived from polynomial quotients

   • ZhiXiong Chen
   • ZhiHua Niu
   • ChenHuang Wu

   Research Paper 27 June 2015 Pages: 1 - 15

8. A strongly secure identity-based authenticated group key exchange protocol

   • JiKai Teng
   • ChuanKun Wu
   • YouLiang Tian

   Research Paper 27 April 2015 Pages: 1 - 12

9. Image completion with perspective constraint based on a single image

   • ChuanYan Hao
   • YaDang Chen
   • EnHua Wu

   Research Paper 14 July 2015 Pages: 1 - 12

10. Image composite authentication using a single shadow observation

    • XiaoChun Cao
    • HanDong Zhao
    • Wei Zhang

    Research Paper 01 June 2015 Pages: 1 - 13

11. Information diffusion network inferring and pathway tracking

    • DongHao Zhou
    • WenBao Han
    • BaoDi Yuan

    Research Paper 01 May 2015 Pages: 1 - 15

12. On the measurement complexity of differentially private query answering

    • LiWei Wang
    • JiaPeng Zhang

    Research Paper 03 July 2015 Pages: 1 - 11

13. Relative position determination between Chang’E-3 lander and rover using in-beam phase referencing

    • Huan Zhou
    • HaiTao Li
    • GuangLiang Dong

    Research Paper 20 July 2015 Pages: 1 - 10

14. A dynamic games approach to H ^∞ control design of DoS with application to longitudinal flight control

    • Yuan Yuan

    Research Paper 18 July 2015 Pages: 1 - 10

15. Dynamic decoupling tracking control for the polytopic LPV model of hypersonic vehicle

    • XueJing Lan
    • YongJi Wang
    • Lei Liu

    Research Paper 16 May 2015 Pages: 1 - 14