フォロー
Nedialko S. Nedialkov
Nedialko S. Nedialkov
確認したメール アドレス: mcmaster.ca - ホームページ
タイトル
引用先
引用先
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
4921999
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
NS Nedialkov
University of Toronto, 2000
1982000
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
1832001
On Taylor model based integration of ODEs
M Neher, KR Jackson, NS Nedialkov
SIAM Journal on Numerical Analysis 45 (1), 236-262, 2007
1692007
Interval tools for ODEs and DAEs
NS Nedialkov
12th GAMM-IMACS International Symposium on Scientific Computing, Computer …, 2006
1302006
Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 45 (3), 561-591, 2005
1112005
VNODE-LP—a validated solver for initial value problems in ordinary differential equations
NS Nedialkov
Technical Report CAS-06-06-NN, 2006
1092006
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
1002001
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
972011
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
921999
Solving differential-algebraic equations by Taylor series (III): The DAETS code
NS Nedialkov, JD Pryce
JNAIAM 3 (1-2), 61-80, 2008
842008
Some recent advances in validated methods for IVPs for ODEs
KR Jackson, NS Nedialkov
Applied Numerical Mathematics 42 (1-3), 269-284, 2002
702002
Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?
NS Nedialkov, V Kreinovich, SA Starks
Numerical Algorithms 37 (1), 325-336, 2004
692004
Implementing a rigorous ODE solver through literate programming
NS Nedialkov
Modeling, Design, and Simulation of Systems with Uncertainties, 3-19, 2011
662011
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
632015
Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian
NS Nedialkov, JD Pryce
BIT Numerical Mathematics 47 (1), 121-135, 2007
572007
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
562011
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
522015
The design and implementation of an object-oriented validated ODE solver
NS Nedialkov, KR Jackson
502002
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
NS Nedialkov, M Von Mohrenschildt
Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002
412002
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20