SCAN

Publications

volume 9553, 2016

Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers SCAN 9553 (2016)

2014

Henning Behnke
Curve Veering for the Parameter-dependent Clamped Plate. SCAN (2014)
Jürgen Garloff, Tareq Hamadneh
Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form. SCAN (2014)
Boris S. Dobronets, Olga A. Popova
Numerical Probabilistic Approach for Optimization Problems. SCAN (2014)
Chemseddine Chohra, Philippe Langlois, David Parello
Efficiency of Reproducible Level 1 BLAS. SCAN (2014)
Roumen Anguelov, Svetoslav Markov
Hausdorff Continuous Interval Functions and Approximations. SCAN (2014)
Tomoki Uda
_1 P 1 Finite Elements. SCAN (2014)
Luc Longpré, Olga Kosheleva, Vladik Kreinovich
Towards the Possibility of Objective Interval Uncertainty. SCAN (2014)
Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. SCAN (2014)
David Hartman, Milan Hladík
Tight Bounds on the Radius of Nonsingularity. SCAN (2014)
Bhagyesh V. Patil, Paluri S. V. Nataraj
The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems. SCAN (2014)
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
Reproducible and Accurate Matrix Multiplication. SCAN (2014)
John D. Pryce
The Forthcoming IEEE Standard 1788 for Interval Arithmetic. SCAN (2014)
Luc Jaulin, Daniel Lopez, Vincent Le Doze, Stéphane Le Ménec, Jordan Ninin, Gilles Chabert, Mohamed Saad Ibn Seddik, Alexandru Stancu
Computing Capture Tubes. SCAN (2014)
Andreas Rauh, Luise Senkel, Harald Aschemann
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides. SCAN (2014)
Luise Senkel, Andreas Rauh, Harald Aschemann
Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation. SCAN (2014)
Evgenija D. Popova
Outer Bounds for the Parametric Controllable Solution Set with Linear Shape. SCAN (2014)
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. SCAN (2014)
Milan Hladík
Optimal Preconditioning for the Interval Parametric Gauss-Seidel Method. SCAN (2014)
Joe Lorkowski, Vladik Kreinovich
How Much for an Interval? a Set? a Twin Set? a p-Box? A Kaucher Interval? Towards an Economics-Motivated Approach to Decision Making Under Uncertainty. SCAN (2014)
Valentin Golodov
Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures. SCAN (2014)
Irene A. Sharaya, Sergey P. Shary
Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems. SCAN (2014)
Olga Kupriianova, Christoph Quirin Lauter
Replacing Branches by Polynomials in Vectorizable Elementary Functions. SCAN (2014)