[HTML][HTML] A verified ODE solver and the Lorenz attractor
F Immler - Journal of automated reasoning, 2018 - Springer
… schemes based on Runge–Kutta methods and affine arithmetic. On a high level, reachability
… In our algorithms, the flow is approximated with affine arithmetic expressions, therefore …
… In our algorithms, the flow is approximated with affine arithmetic expressions, therefore …
[HTML][HTML] Empirical convergence speed of inclusion functions for facility location problems
… The second best inclusion is the affine arithmetic form, and in the only analyzed case in
which the Baumann was not the best function, it was the affine arithmetic form the one providing …
which the Baumann was not the best function, it was the affine arithmetic form the one providing …
Rigorous estimation of floating-point round-off errors with symbolic taylor expansions
A Solovyev, MS Baranowski, I Briggs… - ACM Transactions on …, 2018 - dl.acm.org
… While affine arithmetic is more precise since it remembers linear dependencies between …
as it contains division, a nonlinear operator (for which affine arithmetic is known to be a poor fit). …
as it contains division, a nonlinear operator (for which affine arithmetic is known to be a poor fit). …
A case study of the stochastic modeling approach for range estimation
A Banciu, E Casseau, D Menard… - 2010 Conference on …, 2010 - ieeexplore.ieee.org
… Traditional range estimation methods based on simulations are data dependent and time
consuming whereas analytical methods like interval and affine arithmetic give pessimistic …
consuming whereas analytical methods like interval and affine arithmetic give pessimistic …
[PDF][PDF] Application of Interval Methods to Chemical Engineering Problems
A Baharev - reliablecomputing.eu
… A new general purpose root-finding algorithm has been proposed [1, 2, 5, 6, 7, 8] based on
affine arithmetic and linear programming. The implementation is written in C++ programming …
affine arithmetic and linear programming. The implementation is written in C++ programming …
Efficient volume preserving approach for skeleton-based implicit surfaces
S Hong-bing, T Ruo-feng, D Jin-xiang - Journal of Zhejiang University …, 2003 - Springer
… Compared with the criterion generated by other ways such as using traditional Interval
Analysis, Affine Arithmetic, or Lipschitz condition, our approach is much better both in speed and …
Analysis, Affine Arithmetic, or Lipschitz condition, our approach is much better both in speed and …
Combined Word-Length Allocation and High-Level Synthesis of Digital Signal Processing Circuits
GC Fernández - 2008 - dialnet.unirioja.es
… A novel quantization error estimation based on affine arithmetic (AA) is presented, as well
as its practical application to the automatic WLA of LTI and non-linear differentiable DSP …
as its practical application to the automatic WLA of LTI and non-linear differentiable DSP …
Interval Optimization-Based Unit Commitment for Deep Peak Regulation of Thermal Units
Y Yang, C Qin, Y Zeng, C Wang - Energies, 2019 - mdpi.com
… The computation method employed in this study is developed from the affine arithmetic-based
optimal power flow computation method proposed by Pirnia et al. [21] by incorporating unit …
optimal power flow computation method proposed by Pirnia et al. [21] by incorporating unit …
Statistical cue integration in dag deformable models
SK Goldenstein, C Vogler… - IEEE Transactions on …, 2003 - ieeexplore.ieee.org
… Our method is based on the interrelationships betweenaffine forms,affine arithmetic, and …
We use affine arithmetic to convert them to generalized forces, and to sum them up to form …
We use affine arithmetic to convert them to generalized forces, and to sum them up to form …
[HTML][HTML] Linear interval parametric approach to testing pseudoconvexity
… use of more accurate affine form enclosures and affine arithmetic. We modify the tests to work
with … We employed affine forms and affine arithmetic to obtain more efficient methods. We …
with … We employed affine forms and affine arithmetic to obtain more efficient methods. We …