Zhou, Can; Shaikh, Razin A.; Li, Yiran; Farjudian, Amin A domain-theoretic framework for robustness analysis of neural networks. (English) Zbl 07813326 Math. Struct. Comput. Sci. 33, No. 2, 68-105 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Edalat, Abbas; Farjudian, Amin; Li, Yiran Recursive solution of initial value problems with temporal discretization. (English) Zbl 07767578 Theor. Comput. Sci. 980, Article ID 114221, 39 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Edalat, Abbas; Farjudian, Amin; Mohammadian, Mina; Pattinson, Dirk 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). MSC: 68N30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Edalat, Abbas A differential operator and weak topology for Lipschitz maps. (English) Zbl 1195.26034 Topology Appl. 157, No. 9, 1629-1650 (2010). Reviewer: Teodora-Liliana Rădulescu (Craiova) MSC: 26A36 03D80 26B12 26A24 06B35 54E55 × Cite Format Result Cite Review PDF Full Text: DOI Link