自动推理与认知研究中心
研究成果
[1] C. Chen and W. Wu. A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM Journal on Applied Dynamical Systems 2022 21:2, 1573-1596.
[2] Jingwei Chen, Yong Feng, Yang Liu, Wenyuan Wu and Guanci Yang. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. In: Proc. SPNCE '21, pages 192-203. Springer, Cham, 2022
[3] Bai, Yanan, Yong Feng, and Wenyuan Wu. Privacy-preserving and Communication-efficient Convolutional Neural Network Prediction Framework in Mobile Cloud Computing. KSII Transactions on Internet and Information Systems (TIIS) 15, no. 12 (2021): 4345-4363.
[4] Yi Li, Wenyuan Wu, Yong Feng. On ranking functions for single-path linear-constraint loops. International Journal on Software Tools for Technology Transfer (2020) 22:655– 666.
[5] Y. Feng, J. Chen, and W. Wu. The PSLQ algorithm for empirical data. Mathematics of Computation, 317(88):1479-1501, 2019.
[6] C. Ren and C. Chen. Steerability detection of an arbitrary two-qubit state via machine learning. Physical Review A, 100(2):022314, 2019.
[7] Changbo Chen, Changliang Ren, Xiang-Jun Ye, and Jing-Ling Chen. Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems. Phys. Rev. A, 98:052114, Nov 2018.
[8] Wenyuan Wu, Greg Reid, and Yong Feng. Computing real witness points of positive dimensional polynomial systems. Theoretical Computer Science, 681:217-231, 2017.
[9] Wenyuan Wu and Zhonggang Zeng. The numerical factorization of polynomials. Foundations of Computational Mathematics, 17(1):259-286, 2017.
[10] C. Chen and M. Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation, 75:74-93, 2016
中国科学院重庆绿色智能技术研究院 版权所有京ICP备05002857号渝公网安备50010943035号