default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th SCAN 2014: Würzburg, Germany
- Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker:
Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers. Lecture Notes in Computer Science 9553, Springer 2016, ISBN 978-3-319-31768-7
Interval Arithmetic and Interval Functions
- Roumen Anguelov
, Svetoslav Markov:
Hausdorff Continuous Interval Functions and Approximations. 3-13 - Olga Kupriianova, Christoph Quirin Lauter:
Replacing Branches by Polynomials in Vectorizable Elementary Functions. 14-22 - John D. Pryce:
The Forthcoming IEEE Standard 1788 for Interval Arithmetic. 23-39
Uncertainty
- Boris S. Dobronets, Olga A. Popova:
Numerical Probabilistic Approach for Optimization Problems. 43-53 - Luc Longpré, Olga Kosheleva, Vladik Kreinovich:
Towards the Possibility of Objective Interval Uncertainty. 54-65 - 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. 66-76 - Luise Senkel, Andreas Rauh, Harald Aschemann:
Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation. 77-96
Linear Algebra
- Chemseddine Chohra, Philippe Langlois, David Parello:
Efficiency of Reproducible Level 1 BLAS. 99-108 - David Hartman, Milan Hladík:
Tight Bounds on the Radius of Nonsingularity. 109-115 - Milan Hladík:
Optimal Preconditioning for the Interval Parametric Gauss-Seidel Method. 116-125 - Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat:
Reproducible and Accurate Matrix Multiplication. 126-137 - Evgenija D. Popova:
Outer Bounds for the Parametric Controllable Solution Set with Linear Shape. 138-147 - Irene A. Sharaya, Sergey P. Shary:
Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems. 148-167
Global Optimisation
- Jürgen Garloff, Tareq Hamadneh:
Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form. 171-179 - Bhagyesh V. Patil, Paluri S. V. Nataraj:
The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems. 180-198
Dynamical Systems
- Valentin Golodov:
Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures. 201-208 - 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. 209-224 - Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. 225-235 - Andreas Rauh, Luise Senkel, Harald Aschemann:
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides. 236-246 - Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer:
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. 247-256
PDE
- Henning Behnke:
Curve Veering for the Parameter-dependent Clamped Plate. 259-268 - Tomoki Uda:
Numerical Verification for Elliptic Boundary Value Problem with Nonconforming P_1 P 1 Finite Elements. 269-279
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
