共 52 条
[1]
Aggarwal C. C., 2020, Linear Algebra and Optimization for Machine Learning-A Textbook.
[2]
Ahmad F., 2010, Proceedings 10th International Conference on Intelligent Systems Design and Applications (ISDA 2010), P604, DOI 10.1109/ISDA.2010.5687199
[3]
Ambadan JT, 2009, J ATMOS SCI, V66, P261, DOI 10.1175/200SJAS2681.1
[4]
[Anonymous], 2017, Deep learning with Python
[5]
[Anonymous], 2017, P INT EL S KNOWL CRE
[6]
[Anonymous], 2009, Kalman Filtering: With Real-Time Applications, DOI DOI 10.1007/978-3-540-87849-0
[7]
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
[J].
COMPUTER AIDED VERIFICATION (CAV 2020), PT I,
2020, 12224
:66-96
[8]
Bellec G., 2019, ARXIV NEURAL EVOLUTI
[9]
LEARNING LONG-TERM DEPENDENCIES WITH GRADIENT DESCENT IS DIFFICULT
[J].
IEEE TRANSACTIONS ON NEURAL NETWORKS,
1994, 5 (02)
:157-166
[10]
Benromdhane S, 1995, C RECORD 20 9 ASILOM