Author of the publication

Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization.

, , , , and . IJCNN, page 1-8. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adaptive time-stepping and computational stability, and . Journal of Computational and Applied Mathematics, 185 (2): 225--243 (January 2006)Analysis of the Use of "MOOC + flipped classrooms" in the Practice of Design and Producing of Webpage., , and . ICKII, page 130-133. IEEE, (2019)NMF-Based Privacy-Preserving Collaborative Filtering on Cloud Computing., , , , , and . iThings/GreenCom/CPSCom/SmartData, page 476-481. IEEE, (2019)基于语义相似度的静态安全策略一致性检测 (Static Security Policy Consistency Detection Based on Semantic Similarity)., , , , and . 计算机科学, 42 (8): 166-169 (2015)A novel time-varying modeling and signal processing approach for epileptic seizure detection and classification., , , and . Neural Comput. Appl., 33 (11): 5525-5541 (2021)LSH-aware multitype health data prediction with privacy preservation in edge environment., , , , , and . World Wide Web, 25 (5): 1793-1808 (2022)Deep Learning Hierarchical Representation From Heterogeneous Flow-Level Communication Data., , , and . IEEE Trans. Inf. Forensics Secur., (2020)A Novel Method for the Image Quality Improvement of Ultrasonic Tomography., , , and . IEEE Trans. Instrum. Meas., (2021)Proteomic analysis and prediction of amino acid variations that influence protein posttranslational modifications., , , , and . Briefings Bioinform., 20 (5): 1597-1606 (2019)Efficient DNN Backdoor Detection Guided by Static Weight Analysis., , , , , and . Inscrypt, volume 13837 of Lecture Notes in Computer Science, page 408-428. Springer, (2022)