Nedialko S. Nedialkov
Nedialko S. Nedialkov
Verified email at mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Validated solutions of initial value problems for ordinary differential equations
NS Nedialkov, KR Jackson, GF Corliss
Applied Mathematics and Computation 105 (1), 21-68, 1999
4671999
IEEE standard for floating-point arithmetic
D Zuras, M Cowlishaw, A Aiken, M Applegate, D Bailey, S Bass, ...
IEEE Std 754 (2008), 1-70, 2008
2042008
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 2000
1972000
An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
NS Nedialkov, KR Jackson, JD Pryce
Reliable Computing 7 (6), 449-465, 2001
1742001
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1602007
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
1182006
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
1062006
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45 (3), 561-591, 2005
1022005
A new perspective on the wrapping effect in interval methods for initial value problems for ordinary differential equations
NS Nedialkov, KR Jackson
Perspectives on Enclosure Methods, 219-263, 2001
972001
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
N Ramdani, NS Nedialkov
Nonlinear Analysis: Hybrid Systems 5 (2), 149-162, 2011
912011
An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
NS Nedialkov, KR Jackson
Reliable Computing 5 (3), 289-310, 1999
891999
Solving differential-algebraic equations by Taylor series (III): The DAETS code
NS Nedialkov, JD Pryce
JNAIAM J. Numer. Anal. Indust. Appl. Math 3, 61-80, 2008
822008
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
672002
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37 (1), 325-336, 2004
652004
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
A Eggers, N Ramdani, NS Nedialkov, M Fränzle
Software & Systems Modeling 14 (1), 121-148, 2015
572015
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
552011
Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47 (1), 121-135, 2007
542007
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
A Eggers, N Ramdani, N Nedialkov, M Fränzle
International Conference on Software Engineering and Formal Methods, 172-187, 2011
522011
The design and implementation of an object-oriented validated ODE solver
NS Nedialkov, KR Jackson
472002
Probabilistic graphical models and deep belief networks for prognosis of breast cancer
M Khademi, NS Nedialkov
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
402015
The system can't perform the operation now. Try again later.
Articles 1–20