Reliable Computing, Volume 7

Volume 7, Number 1, February 2001

• Luc Jaulin:
  Path Planning Using Intervals and Graphs. 1-15
  
• Lubomir V. Kolev:
  Automatic Computation of a Linear Interval Enclosure. 17-28
  
• Hans-Jürgen Dobner:
  On Kernel Inclusions. 29-39
  
• Vladik Kreinovich:
  Roundoff-Free Number Fields for Interval Computations. 41-47
  
• Michael A. Wolfe:
  A Note on a Uniqueness Theorem for the Second-Derivative Test of Qi. 49-52
  
• Gregory G. Menshikov, Alexey V. Tomashevsky:
  On [and]-Subdistributivity and [or]-Superdistributivity with Respect to Interval Map in Kaucher Arithmetic. 53-57
  
• Uwe Schäfer:
  The Feasibility of the Interval Gaussian Algorithm for Arrowhead Matrices. 59-62
  
• Svetoslav Markov:
  The Mystery of Intervals. 63-65
  
• Scott A. Starks, Vladik Kreinovich:
  Interval Methods and Their Applications: Invited Sessions at the World Automation Congress (WAC'2000) Maui, Hawaii, June 10-16, 2000. 67-68
  
• Vyacheslav M. Nesterov, Vladik Kreinovich:
  Session "Interval and Computer-Algebraic Methods in Science and Engineering" at the 6th International Association for Mathematics and Computers in Simulation (IMACS) Conference on Applications of Computer Algebra (ACA'2000) Saint Petersburg, Russia, .... 69-70
  
• T. Y. Lin, Vladik Kreinovich:
  A Special Session on Granular Computing and Interval Computations at the 19th International Conference of the North American Fuzzy Information Processing Society (NAFIPS) Atlanta, Georgia, July 13-15, 2000. 71-72
  
• Jürgen Garloff:
  Minisymposium on Applications of Interval Computations at the Third World Congress of Nonlinear Analysts Catania, Sicily, Italy, July 19-26, 2000. 73-74
  

Volume 7, Number 2, April 2001

• Ernest Gardeñes, Miguel Ángel Sainz, Lambert Jorba, Remei Calm, Rosa Estela, Honorino Mielgo, Albert Trepat:
  Model Intervals. 77-111
  
• Svetoslav Markov:
  On the Algebraic Properties of Intervals and Some Applications. 113-127
  
• Evgenija D. Popova:
  Multiplication Distributivity of Proper and Improper Intervals. 129-140
  
• Sergey P. Shary:
  Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems. 141-155
  
• Peter Hertling:
  A Limitation for Underestimation Via Twin Arithmetic. 157-169
  
• Joaquim Armengol, Josep Vehí, Louise Travé-Massuyès, Miguel Ángel Sainz:
  Application of Modal Intervals to the Generation of Error-Bounded Envelopes. 171-185
  
• SCAN 2000: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Interval 2000: International Conference on Interval Methods in Science and Engineering Karlsruhe, Germany, September 18-22, 2000. 187-191
  

Volume 7, Number 3, June 2001

• Michael A. Wolfe:
  On Bounding Solutions of Underdetermined Systems. 195-207
  
• Andraos Sweidan, Ahmad A. Hiasat:
  On the Theory of Error Control Based on Moduli with Common Factors. 209-218
  
• Vladimir N. Shashikhin:
  Robust Control Using Interval Analysis. 219-230
  
• Luc Jaulin:
  Reliable Minimax Parameter Estimation. 231-246
  
• Dang-Khoa Do:
  Spigot Algorithm and Root Computing. 247-273
  
• Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth:
  A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients. 275-277
  
• Interval Talks at the International Conference on Intelligent Technologies InTech'2000 Bangkok, Thailand, December 12-14, 2000. 279-280
  

Volume 7, Number 4, August 2001

• Hartmut Schwandt:
  Synchronous and Asynchronous Interval Newton-Schwarz Methods for a Class of Large Systems of Nonlinear Equations. 281-306
  
• Walter Krämer, Armin Bantle:
  Automatic Forward Error Analysis for Floating Point Algorithms. 321-340
  
• Keith Worden, Roberto A. Osegueda, Carlos Ferregut, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio D. Cabrera:
  Interval Methods in Non-Destructive Testing of Material Structures. 341-352
  

Volume 7, Number 5, October 2001

• Grigori L. Litvinov, Andrei N. Sobolevski:
  Idempotent Interval Analysis and Optimization Problems. 353-377
  
• Martin Berz, Jens Hoefkens:
  Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods. 379-398
  
• Lubomir V. Kolev, Ivo P. Nenov:
  Cheap and Tight Bounds on the Solution Set of Perturbed Systems of Nonlinear Equations. 399-408
  
• Irene A. Sharaya:
  On Maximal Inner Estimation of the Solution Sets of Linear Systems with Interval Parameters. 409-424
  
• R. Baker Kearfott:
  An Example of Singularity in Nonlinear Systems. 425-429
  

Volume 7, Number 6, December 2001

• Olivier Beaumont, Bernard Philippe:
  Linear Interval Tolerance Problem and Linear Programming Techniques. 433-447
  
• Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce:
  An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE. 449-465
  
• Laurent Granvilliers:
  On the Combination of Interval Constraint Solvers. 467-483
  
• Gregory G. Menshikov:
  The Preliminary Enclosing of the ODE Solutions on the Base of the Cauchy-Duhamel Identity. 485-495
  
• Sergey P. Shary:
  A Surprising Approach in Interval Global Optimization; Dedicated to Prof. Dr. Gregory G. Menshikov on the occasion of his 70th anniversary. 497-505
  
• Boris S. Dobronets, Anatoly V. Lakeyev, Vyacheslav M. Nesterov, Sergey P. Shary, Yuri I. Shokin:
  Gregory G. Menshikov has turned 70. 507-508
  
• 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. 509-510
  

Last update Tue Feb 14 04:22:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page