| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker (eds.) |
Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers  |
SCAN  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene A. Sharaya, Sergey P. Shary |
Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Behnke |
Curve Veering for the Parameter-dependent Clamped Plate. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rauh, Luise Senkel, Harald Aschemann |
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Chemseddine Chohra, Philippe Langlois, David Parello |
Efficiency of Reproducible Level 1 BLAS. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Hladík |
Optimal Preconditioning for the Interval Parametric Gauss-Seidel Method. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer |
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhagyesh V. Patil, Paluri S. V. Nataraj |
The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Kupriianova, Christoph Quirin Lauter |
Replacing Branches by Polynomials in Vectorizable Elementary Functions. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Longpré, Olga Kosheleva, Vladik Kreinovich |
Towards the Possibility of Objective Interval Uncertainty. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenija D. Popova |
Outer Bounds for the Parametric Controllable Solution Set with Linear Shape. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris S. Dobronets, Olga A. Popova |
Numerical Probabilistic Approach for Optimization Problems. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Golodov |
Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Pryce |
The Forthcoming IEEE Standard 1788 for Interval Arithmetic. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao |
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Garloff, Tareq Hamadneh |
Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roumen Anguelov, Svetoslav Markov |
Hausdorff Continuous Interval Functions and Approximations. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoki Uda |
Numerical Verification for Elliptic Boundary Value Problem with Nonconforming P_1 P 1 Finite Elements. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hartman, Milan Hladík |
Tight Bounds on the Radius of Nonsingularity. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat |
Reproducible and Accurate Matrix Multiplication. |
SCAN |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tibor Csendes (eds.) |
Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998 |
SCAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Sagula, Tiarajú Asmuz Diverio, João Netto |
Performance Evaluation Technique STU and libavi Library. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Kolodziejczak, Tomasz Szulc |
Convex Sets of Full Rank Matrices. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Hormigo, Julio Villalba, Emilio L. Zapata |
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey P. Shary |
Outer Estimation of Generalized Solution Sets to Interval Linear Systems. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Facius |
Influences of Rounding Errors in Solving Large Sparse Linear Systems. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Neli S. Dimitrova, Svetoslav M. Markov |
Verified Computation of Fast Decreasing Polynomials. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Collavizza, François Delobel, Michel Rueher |
Comparing Partial Consistencies. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Musch, Günter Schumacher |
Interval Analysis for Embedded Systems. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Lang |
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Heindl |
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Kühn |
Towards an optimal control of the wrapping effect. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George F. Corliss, R. Baker Kearfott |
Rigorous Global Search: Industrial Applications. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lerch |
Expression Concepts in Scientific Computing. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley |
The Interval-Enhanced GNU Fortran Compiler. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Schulte, Vitaly Zelov, G. William Walster, Dmitri Chiriaev |
Single-Number Interval I/O. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rezso Dunay, István Kollár |
MATLAB-Based Analysis of Roundoff Noise. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoly V. Lakeyev |
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam W. Strzebonski |
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lerch, Jürgen Wolff von Gudenberg |
Multiaspect Interval Types. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
INTLAB - INTerval LABoratory. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Lefèvre |
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao |
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Huber, Wilhelm Barth |
Surface-to-surface intersection with complete and guaranteed results. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Frommer, Andre Weinberg |
Verified Error Bounds for Linear Systems Through the Lanczos Process. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahia Lebbah, Olivier Lhomme |
Prediction by extrapolation for interval tightening methods. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav Markov, Kohshi Okumura |
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Muller |
A Few Results on Table-Based Methods. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George F. Corliss |
SCAN-98 Collected Bibliography. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Dyllong, Wolfram Luther, Werner Otten |
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Luther, Werner Otten |
Verified calculation of the solution of algebraic Riccati equation. |
SCAN |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license