Nedialko S. Nedialkov

34 papers B 1C 3Misc 1Journal 20Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
High-Order Lie Derivatives from Taylor Series in the ADTAYL Package.
CoRR
Nedialko S. Nedialkov, John D. Pryce
2025 J jnl
Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations.
CoRR
Nedialko S. Nedialkov, John D. Pryce
2025 J jnl
Sub-ODEs Simplify Taylor Series Algorithms for Ordinary Differential Equations.
SIAM J. Sci. Comput.
Nedialko S. Nedialkov, John D. Pryce
2022 J jnl
An Energy-Based, Always Index $\leq$ 1 and Structurally Amenable Electrical Circuit Model.
SIAM J. Sci. Comput.
Nedialko S. Nedialkov, John D. Pryce, Lena Scholz
2021 J jnl
An Energy-based, always Index ≤1 and Structurally Amenable Electrical Circuit Model.
CoRR
Nedialko S. Nedialkov, John D. Pryce, Lena Scholz
2020 J jnl
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving.
Acta Cybern.
John D. Pryce, Nedialko S. Nedialkov
2020 J jnl
Stepsize selection in the rigorous defect control of Taylor series methods.
J. Comput. Appl. Math.
John M. Ernsthausen, Nedialko S. Nedialkov
2019 J jnl
Structural analysis of linear integral-algebraic equations.
J. Comput. Appl. Math.
Reza Zolfaghari, Nedialko S. Nedialkov
2018 J jnl
How AD can help solve differential-algebraic equations.
Optim. Methods Softw.
John D. Pryce, Nedialko S. Nedialkov, Guangning Tan, Xiao Li
2016 J jnl
Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems.
CoRR
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
2016 J jnl
Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems.
CoRR
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
2015 J jnl
Algorithm 948: DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Software.
ACM Trans. Math. Softw.
Nedialko S. Nedialkov, John D. Pryce, Guangning Tan
2015 J jnl
DAESA - A Matlab Tool for Structural Analysis of Differential-Algebraic Equations: Theory.
ACM Trans. Math. Softw.
John D. Pryce, Nedialko S. Nedialkov, Guangning Tan
2015 J jnl
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.
Softw. Syst. Model.
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2015 C conf
Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer.
ICMLA
Mahmoud Khademi, Nedialko S. Nedialkov
2015 J jnl
Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems.
CoRR
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce
2013 — conf
A differential-algebraic approach for robust control design and disturbance compensation of finite-dimensional models of heat transfer processes.
ICM
Andreas Rauh, Christina Dittrich, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
2013 — conf
Document driven certification of computational science and engineering software.
SE-HPCCSE@SC
Spencer Smith, Nirmitha Koothoor, Nedialko S. Nedialkov
2013 Misc conf
Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes.
MMAR
Andreas Rauh, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
2012 C conf
Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation.
CCA
Andreas Rauh, Luise Senkel, Harald Aschemann, Nedialko S. Nedialkov, John D. Pryce
2011 B conf
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
SEFM
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2009 — conf
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques.
ADHS
Nacim Ramdani, Nedialko S. Nedialkov
2008 — conf
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
2008 — conf
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures
John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith
2007 J jnl
On Taylor Model Based Integration of ODEs.
SIAM J. Numer. Anal.
Markus Neher, Kenneth R. Jackson, Nedialko S. Nedialkov
2006 — conf
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
2004 J jnl
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
Numer. Algorithms
Nedialko S. Nedialkov, Vladik Kreinovich, Scott A. Starks
2002 C conf
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods.
ACC
Nedialko S. Nedialkov, Martin von Mohrenschildt
2001 — ch.
A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations.
Perspectives on Enclosure Methods
Nedialko S. Nedialkov, Kenneth R. Jackson
2001 J jnl
An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE.
Reliab. Comput.
Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce
1999 J jnl
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
Reliab. Comput.
Nedialko S. Nedialkov, Kenneth R. Jackson
1999 — —
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation.
Nedialko S. Nedialkov
1999 J jnl
Validated solutions of initial value problems for ordinary differential equations.
Appl. Math. Comput.
Nedialko S. Nedialkov, Kenneth R. Jackson, George F. Corliss
1998 — conf
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
SCAN
Nedialko S. Nedialkov, Kenneth R. Jackson