1. Logical verification of scientific discovery

   • Wei Li

   Research Papers 17 April 2010 Pages: 677 - 684

2. Capability description and discovery of Internetware entity

   • PuWei Wang
   • Zhi Jin
   • HongYan Liu

   Research Papers 17 April 2010 Pages: 685 - 703

3. Fuzzy tolerance quotient spaces and fuzzy subsets

   • Ling Zhang
   • Bo Zhang

   Research Papers 17 April 2010 Pages: 704 - 714

4. About the convergence rates of a class of gene expression programming

   • Xin Du
   • LiXin Ding

   Research Papers 11 March 2010 Pages: 715 - 728

5. Fast and convergence-guaranteed algorithm for linear separation

   • ZhiYong Liu
   • David Zhang
   • YuGang Li

   Research Papers 05 February 2010 Pages: 729 - 737

6. A saliency model based on wavelet transform and visual attention

   • ZhiQiang Li
   • Tao Fang
   • Hong Huo

   Research Papers 13 March 2010 Pages: 738 - 751

7. Spatial continuity incorporated multi-attribute fuzzy clustering algorithm for blood vessels segmentation

   • JuTao Hao
   • JingJing Zhao
   • MingLu Li

   Research Papers 18 April 2010 Pages: 752 - 759

8. A new perturbation algorithm and enhancing security of SFLASH signature scheme

   • HouZhen Wang
   • HuanGuo Zhang
   • HaiQing Han

   Research Papers 05 February 2010 Pages: 760 - 768

9. An implementation and optimization for scalable DHT crawler

   • Mo Zhou
   • JianYu Zhang
   • YaFei Dai

   Research Papers 18 April 2010 Pages: 769 - 779

10. Construction of Boolean functions with maximum algebraic immunity and count of their annihilators at lowest degree

    • YuSong Du
    • DingYi Pei

    Research Papers 22 March 2010 Pages: 780 - 787

11. On constant-round zero-knowledge proofs of knowledge for NP-relations

    • HongDa Li
    • HaiXia Xu
    • DengGuo Feng

    Research Papers 18 April 2010 Pages: 788 - 799

12. Direct adaptive neural control for stabilization of nonlinear time-delay systems

    • Min Wang
    • SiYing Zhang
    • Fei Luo

    Research Papers 18 April 2010 Pages: 800 - 812

13. Pinning control of general complex dynamical networks with optimization

    • JunChan Zhao
    • JunAn Lu
    • XiaoQun Wu

    Research Papers 11 March 2010 Pages: 813 - 822

14. Tsallis model-based separation of overlapped peak signals

    • YuanLu Li
    • YingChao Zhang
    • HuiQiang Tang

    Research Papers 13 March 2010 Pages: 823 - 832

15. Performance of iteratively decoded bit-interleaved coded modulation with chaos based interleaving strategies

    • XueLan Zou
    • WeiYan Liu
    • GuangZeng Feng

    Research Papers 18 April 2010 Pages: 833 - 841

16. novel multi-relay cross-layer cooperative communication strategy based on Jackson queuing model

    • XiaoRong Xu
    • BaoYu Zheng

    Research Papers 05 February 2010 Pages: 842 - 853

17. Parameter estimation for SAR moving target in complex image domain

    • Yu Zuo
    • Jia Xu
    • XiangGen Xia

    Research Papers 10 February 2010 Pages: 854 - 866

18. Frequency dispersion effect and parameters extraction method for novel HfO₂ as gate dielectric

    • HongXia Liu
    • QianWei Kuang
    • Sai Tallavarjula

    Research Papers 18 April 2010 Pages: 878 - 884

19. A new approach of motion compensation for synthetic wideband radar under multitarget environment

    • Teng Long
    • Yang Li
    • Xin Guo

    Research Papers 11 March 2010 Pages: 967 - 977