Sign in
SCAN
1998
2004
2010
2016
1998
2016
Keyphrases
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)
1999
Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998
SCAN
(1999)
1998
Anatoly V. Lakeyev
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic.
SCAN
(1998)
Adam W. Strzebonski
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic.
SCAN
(1998)
Michael Lerch
,
Jürgen Wolff von Gudenberg
Multiaspect Interval Types.
SCAN
(1998)
Hélène Collavizza
,
François Delobel
,
Michel Rueher
Comparing Partial Consistencies.
SCAN
(1998)
Siegfried M. Rump
INTLAB - INTerval LABoratory.
SCAN
(1998)
Sergey P. Shary
Outer Estimation of Generalized Solution Sets to Interval Linear Systems.
SCAN
(1998)
Klaus Musch
,
Günter Schumacher
Interval Analysis for Embedded Systems.
SCAN
(1998)
Vincent Lefèvre
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2.
SCAN
(1998)
Yoshitaka Watanabe
,
Nobito Yamamoto
,
Mitsuhiro T. Nakao
A Numerical Verification Method of Solutions for the Navier-Stokes Equations.
SCAN
(1998)
Gerhard Heindl
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes.
SCAN
(1998)
Wolfgang Kühn
Towards an optimal control of the wrapping effect.
SCAN
(1998)
Ernst Huber
,
Wilhelm Barth
Surface-to-surface intersection with complete and guaranteed results.
SCAN
(1998)
Nedialko S. Nedialkov
,
Kenneth R. Jackson
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
SCAN
(1998)
Andreas Frommer
,
Andre Weinberg
Verified Error Bounds for Linear Systems Through the Lanczos Process.
SCAN
(1998)
Bruno Lang
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature.
SCAN
(1998)
Barbara Kolodziejczak
,
Tomasz Szulc
Convex Sets of Full Rank Matrices.
SCAN
(1998)
Yahia Lebbah
,
Olivier Lhomme
Prediction by extrapolation for interval tightening methods.
SCAN
(1998)
Svetoslav Markov
,
Kohshi Okumura
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing.
SCAN
(1998)
Axel Facius
Influences of Rounding Errors in Solving Large Sparse Linear Systems.
SCAN
(1998)
Javier Hormigo
,
Julio Villalba
,
Emilio L. Zapata
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions.
SCAN
(1998)
George F. Corliss
,
R. Baker Kearfott
Rigorous Global Search: Industrial Applications.
SCAN
(1998)
Michael Lerch
Expression Concepts in Scientific Computing.
SCAN
(1998)
Rafael Sagula
,
Tiarajú Asmuz Diverio
,
João Netto
Performance Evaluation Technique STU and libavi Library.
SCAN
(1998)
Neli S. Dimitrova
,
Svetoslav M. Markov
Verified Computation of Fast Decreasing Polynomials.
SCAN
(1998)
Michael J. Schulte
,
Vitaly Zelov
,
Ahmet Akkas
,
James Craig Burley
The Interval-Enhanced GNU Fortran Compiler.
SCAN
(1998)
Michael J. Schulte
,
Vitaly Zelov
,
G. William Walster
,
Dmitri Chiriaev
Single-Number Interval I/O.
SCAN
(1998)