A domain-theoretic framework for robustness analysis of neural networks. (English) Zbl 07813326
MSC:
68-XX
Found 4 Documents (Results 1–4)
Recursive solution of initial value problems with temporal discretization. (English) Zbl 07767578
MSC:
68Qxx
Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373
Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
all
top 5
Author
- Edalat, Abbas (3)
- Farjudian, Amin (3)
- Li, Yiran (2)
- Mohammadian, Mina (1)
- Pattinson, Dirk (1)
- Shaikh, Razin A. (1)
- Zhou, Can (1)
