An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension

von Zeng, Zhenbing
Veröffentlicht in Maple Conference (4. : 2020 : Online) Maple in mathematics education and research (2021)

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming

von Tang, Xiaochao
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

CIFEF: Combining Implicit and Explicit Features for Friendship Inference in Location-Based Social Networks

von He, Cheng
Veröffentlicht in KSEM (13. : 2020 : Hangzhou) Knowledge science, engineering and management ; Part 2 (2020)

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation

von Chen, Xin
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation

von Yang, Zhengfeng
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)