default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReliable Computing, Volume 1
Volume 1, Number 1, March 1995
- R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev:
Preface. 3-4 - R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev:
Предисловне. 5-7 - Helmut Ratschek, Jon G. Rokne:
Formulas for the width of interval products. 9-14 - Ludmila Kupriyanova:
Inner estimation of the united solution set of interval linear algebraic system. 15-31 - Vladik Kreinovich:
Why intervals? A simple limit theorem that is similar to limit theorems from statistics. 33-40 - Christine Jäger, Dietmar Ratz:
A combined method for enclosing all solutions of nonlinear systems of polynomial equations. 41-64 - Daniel E. Cooke:
An informal introduction to a high level language with applications to interval mathematics. 65-75 - Jerry Eriksson, Per Lindström:
A parallel interval method implementation for global optimization using dynamic load balancing. 77-91 - Vladik Kreinovich, Hung T. Nguyen:
Interval sessions at NAFIPS/IFIS/NASA'94. 93-98
Volume 1, Number 2, June 1995
- Vyacheslav M. Nesterov:
Dear colleagues. 107 - Vyacheslav M. Nesterov:
Уважаемые коллеги. 108 - Ladislav J. Kohout, Isabel Stabile, Hasan Kalantar, F. San-Andres, John Anderson:
Parallel interval-based reasoning in medical knowledge-based system Clinaid. 109-140 - Vladik Kreinovich, David C. Nemir, Efrén Gútierrez:
Applications of interval computations to earthquake-resistant engineering: How to compute derivatives of interval functions fast. 141-172 - Christian P. Ullrich, Roman Reith:
A reliable linear algebra library for transputer networks. 173-187 - Jürgen Wolff von Gudenberg:
Parallel accurate linear algebra subroutines. 189-199
Volume 1, Number 3, September 1995
- Vladik Kreinovich, Günter Mayer:
Towards the future of interval computations - Editors' Introduction to the student issue. 209-214 - Gopalan V. Balaji, J. D. Seader:
Application of interval Newton's method to chemical engineering problems. 215-223 - Bo Friesen, Vladik Kreinovich:
Ockham's razor in interval identification. 225-237 - Jonathan L. Herlocker, Jeffrey S. Ely:
An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane. 239-249 - Chenyi Hu
, Anna Frolov, R. Baker Kearfott, Qing Yang:
A general iterative sparse linear solver and its parallelization for interval Newton methods. 251-263 - Chenyi Hu, Joe Sheldon, R. Baker Kearfott, Qing Yang:
Optimizing INTBIS on the CRAY Y-MP. 265-274 - Thomas J. McLean, David H. Xu:
Study on sampling techniques with CMMs. 275-284 - Driss Misane, Vladik Kreinovich:
A new characterization of the set of all intervals, based on the necessity to check consistency easily. 285-297 - Hung T. Nguyen, Vladik Kreinovich, Robert N. Lea, Dana Tolbert:
Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control. 299-315 - Mark J. Schaefer, Tilmann Bubeck:
A parallel complex zero finder. 317-323 - Michael J. Schulte, Earl E. Swartzlander Jr.:
A software interface and hardware design for variable-precision interval arithmetic. 325-342 - Bonnie Traylor, Vladik Kreinovich:
A bright side of NP-hardness of interval computations: interval heuristics applied to NP-problems. 343-359 - Paul P. Wang:
Canadian professor's interval paper chosen best in fuzzy theory and technology. 362
Volume 1, Number 4, December 1995
- Vyacheslav M. Nesterov:
Dear colleagues. 371 - Vyacheslav M. Nesterov:
Уеамаемъіе коллеіи! 372-373 - Alkiviadis G. Akritas, Evgenia K. Akritas, Gennadi I. Malaschonok:
Matrix computation of subresultant polynomial remainder sequences in integral domains. 375-381 - Boris S. Dobronets:
Numerical methods using defects. 383-391 - A. N. Ostylovsky:
An estimate of the absolute value and width of the solution of a linear system of equations with tridiagonal interval matrix by the interval sweep method. 393-401 - Ljiljana D. Petkovic, Miroslav Trajkovic:
Verification methods for inclusion disks. 403-410 - Jürgen Wolff von Gudenberg:
Design of a parallel linear algebra library for verified computation. 411-419 - Q.-H. Wu, Mohamed Mansour:
Computation of the stability radius of a Schur polynomial: an orthogonal projection approach. 421-430 - Sergey P. Shary:
IMACS-GAMM International Symposium on Numerical Methods and Error Bounds. 434-435
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-02-21 19:37 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:
