Reliable Computing, Volume 13

Volume 13, Number 1, February 2007

Special Issue on Reliable Engineering Computing (Part II)

Paluri S. V. Nataraj, Shanta Sondur:
Experiments with Range Computations Using Extrapolation. 1-23
Vladik Kreinovich, Jan Beck, Carlos Ferregut, Araceli Sánchez, G. Randy Keller, Matthew G. Averill, Scott A. Starks:
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications. 25-69
Janos G. Hajagos:
Interval Monte Carlo as an Alternative to Second-Order Sampling for Estimating Ecological Risk. 71-81
Spencer Smith, Lei Lai, Ridha Khédri:
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. 83-107
Weldon A. Lodwick, Vladik Kreinovich:
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'06. 109-111
Scott A. Starks, Vladik Kreinovich:
Interval-Related Talks at the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance. 113-117
Vladik Kreinovich, Scott A. Starks:
Interval Talks at the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2006. 119-124

Special Issue on Reliable Engineering Computing (Part III)

George F. Corliss, Christopher Foley, R. Baker Kearfott:
Formulation for Reliable Analysis of Structural Frames. 125-147
Arnold Neumaier, Andrzej Pownuk:
Linear Systems with Large Uncertainties, with Applications to Truss Structures. 149-172
Rafi L. Muhanna, Hao Zhang, Robert L. Mullen:
Interval Finite Elements as a Basis for Generalized Models of Uncertainty in Engineering Mechanics. 173-194
Fulvio Tonon:
A Search Algorithm for Calculating Validated Reliability Bounds. 195-209
Yan Wang, Bartholomew O. Nnaji:
Solving Interval Constraints by Linearization in Computer-Aided Design. 211-244

Hans-Robert Arndt:
On Interval Systems [x] = [A][x] + [b] and the Powers of Interval Matrices in Complex Interval Arithmetics. 245-259
Daniel Berleant, Olga Kosheleva, Vladik Kreinovich, Hung T. Nguyen:
Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems. 261-282
Ruslan S. Ivlev, Svetlana P. Sokolova:
Exponential Stability of Interval Dynamical Systems with Quadratic Nonlinearity. 283-291
Jörg Stoye:
Bounds on Generalized Linear Predictors with Incomplete Outcome Data. 293-302
Louis B. Rall:
Early Automatic Differentiation: The Ch'in-Horner Algorithm. 303-308

Dominique Faudot, Dominique Michelucci:
A New Robust Algorithm to Trace Curves. 309-324
Gilles Chabert, Alexandre Goldsztejn:
Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems. 325-349
Jürgen Garloff, Ismail Idriss, Andrew P. Smith:
Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case. 351-359
Milan Hladík:
Solution Set Characterization of Linear Interval Systems with a Specific Dependence Structure. 361-374

Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau:
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities. 381-398
Lubomir V. Kolev:
Optimal Multiplication of G-intervals. 399-408
Sebastien Lagrange, Nicolas Delanoue, Luc Jaulin:
On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis. 409-421
Chenyi Hu, Ling T. He:
An Application of Interval Methods to Stock Market Forecasting. 423-434
Oscar Castillo, Vladik Kreinovich:
Interval-Related Talks at the 2007 IEEE Symposium Series on Computational Intelligence. 435-440
Oscar Castillo, Vladik Kreinovich:
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'07. 441-443

Lubomir V. Kolev:
Determining the Positive Definiteness Margin of Interval Matrices. 445-466
Gang Xiang, Martine Ceberio, Vladik Kreinovich:
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms. 467-488
Gilles Chabert, Luc Jaulin:
Computing the Pessimism of Inclusion Functions. 489-504