Citation: | Zhang Dawei, Han Hua, and Dai Yafei. Decreasing Failures Correlation in Peer-to-Peer Systems[J]. Journal of Computer Research and Development, 2005, 42(8): 1391-1396. |
[1] | Shi Haihe, Lan Sunwen, Liu Riming, Shi Haipeng, Wang Lan, Zhong Linhui. Unified Formal Construction and Isabelle Verification of the Dynamic Programming Algorithms for Biological Sequence Alignment[J]. Journal of Computer Research and Development, 2025, 62(1): 119-131. DOI: 10.7544/issn1000-1239.202330698 |
[2] | Cheng Yujia, Tao Wei, Liu Yuxiang, Tao Qing. Optimal Individual Convergence Rate of the Heavy-Ball-Based Momentum Methods[J]. Journal of Computer Research and Development, 2019, 56(8): 1686-1694. DOI: 10.7544/issn1000-1239.2019.20190167 |
[3] | Tao Wei, Pan Zhisong, Zhu Xiaohui, Tao Qing. The Optimal Individual Convergence Rate for the Projected Subgradient Method with Linear Interpolation Operation[J]. Journal of Computer Research and Development, 2017, 54(3): 529-536. DOI: 10.7544/issn1000-1239.2017.20160155 |
[4] | Zhang Jingzhong, Zhang Chuanjun, Zheng Huan, Rao Yongsheng, Zou Yu. The Realization and Application of Symbolic Computation Modules in SGARP[J]. Journal of Computer Research and Development, 2014, 51(6): 1341-1351. |
[5] | Li Tao, Zhang Jingzhong. Machine Proofs in Geometry Based on Complex Number Method[J]. Journal of Computer Research and Development, 2013, 50(9): 1963-1969. |
[6] | Han Xuming, Zuo Wanli, Wang Limin, Shi Xiaohu. Atmospheric Quality Assessment Model Based on Immune Algorithm Optimization and Its Applications[J]. Journal of Computer Research and Development, 2011, 48(7): 1307-1313. |
[7] | Gong Maoguo, Cheng Gang, Jiao Licheng, and Liu Chao. Nondominated Individual Selection Strategy Based on Adaptive Partition for Evolutionary Multi-Objective Optimization[J]. Journal of Computer Research and Development, 2011, 48(4): 545-557. |
[8] | Zhang Liming, Ouyang Dantong, and Bai Hongtao. Theorem Proving Algorithm Based on Semi-Extension Rule[J]. Journal of Computer Research and Development, 2010, 47(9): 1522-1529. |
[9] | Sun Jigui, Li Ying, Zhu Xingjun, and Lü Shuai. A Novel Theorem Proving Algorithm Based on Extension Rule[J]. Journal of Computer Research and Development, 2009, 46(1): 9-14. |
[10] | Yao Wangshu, Chen Zhaoqian, Chen Shifu. CRGA—A Genetic Algorithm Based on Preserving Global Commonality Schemata and Restricting Local of Crossover[J]. Journal of Computer Research and Development, 2006, 43(1): 81-88. |