相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A domain-theoretic framework for robustness analysis of neural networks
Can Zhou et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2023)
Smooth Approximation of Lipschitz Maps and Their Subgradients
Abbas Edalat
JOURNAL OF THE ACM (2022)
Modified error bounds for approximate solutions of dense linear systems
Atsushi Minamihata et al.
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS (2020)
ON RECURRENCES CONVERGING TO THE WRONG LIMIT IN FINITE PRECISION AND SOME NEW EXAMPLES
Siegfried M. Rump
ELECTRONIC TRANSACTIONS ON NUMERICAL ANALYSIS (2020)
ADDENDUM TO ON RECURRENCES CONVERGING TO THE WRONG LIMIT IN FINITE PRECISION AND SOME NEW EXAMPLES
Siegfried M. Rump
ELECTRONIC TRANSACTIONS ON NUMERICAL ANALYSIS (2020)
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Abbas Edalat et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2020)
Safe & robust reachability analysis of hybrid systems
Eugenio Moggi et al.
THEORETICAL COMPUTER SCIENCE (2018)
A domain-theoretic approach to Brownian motion and general continuous stochastic processes
Paul Bilokon et al.
THEORETICAL COMPUTER SCIENCE (2017)
Domain Theory its Ramifications and Interactions
Klaus Keimel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2017)
How functional programming mattered
Zhenjiang Hu et al.
NATIONAL SCIENCE REVIEW (2015)
A computational model for multi-variable differential calculus
Abbas Edalat et al.
INFORMATION AND COMPUTATION (2013)
INTERVAL VERSIONS OF CENTRAL-DIFFERENCE METHOD FOR SOLVING THE POISSON EQUATION IN PROPER AND DIRECTED INTERVAL ARITHMETIC
Tomasz Hoffmann et al.
FOUNDATIONS OF COMPUTING AND DECISION SCIENCES (2013)
An algorithm for addressing the real interval eigenvalue problem
Milan Hladik et al.
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS (2011)
Denotational semantics of hybrid automata
Abbas Edalat et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2007)
SHRAD: A language for sequential real number computation
Amin Farjudian
THEORY OF COMPUTING SYSTEMS (2007)
Arbitrary precision real arithmetic:: design and algorithms
V Ménissier-Morain
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2005)
Domain theory and differential calculus (functions of one variable)
A Edalat et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2004)
Interval analysis: theory and applications
G Alefeld et al.
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS (2000)
Integration in real PCF
A Edalat et al.
INFORMATION AND COMPUTATION (2000)