http://interval.louisiana.edu/reliable-computing-journal/tables-of-contents.html
Tables of Contents (starting in 2010)
Full text is available in PDF for each listed paper by clicking on the link for that paper.
Users of this site should properly credit and cite any material they use.(With some exceptions, papers are sequenced in the order in which the final accepted manuscript has been received.)
- Volume 14 (June to December, 2010)
- Volume 15 (Special volume for SCAN 2008)
- Volume 16 (July, 2011 to ...)
Volume 14
Note: Not all content in Volume 14 conforms to the current typographical style for this journal.- Alexandre Goldsztejn and Luc Jaulin, Inner Approximation of the Range of Vector-Valued Functions, pp. 1-23, June, 2010.
- Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi. Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems, pp. 24-45, June, 2010.
- B. M. Patre and P. J. Deore, Robust State Feedback for Interval Systems: An Interval Analysis Approach, pp. 46-60, June, 2010.
- Jürgen Garloff, Karl L. E. Nickel (1924 -- 2009), pp. 61-65, June, 2010.
- Thomas Beelitz, Bruno Lang, Peer Ueberholz, and Paul Willems, Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver, pp. 66-77, June, 2010.
- Milan Hladík, Solution Sets of Complex Linear Interval Systems of Equations, pp. 78-87, June, 2010.
- Nacim Meslem, Nacim Ramdani, and Yves Candau, Guaranteed Parameter Set Estimation for Monotone Dynamical Systems Using Hybrid Automata, pp. 88-104, June, 2010.
- Stefania Corsaro and Marina Marino, Archetypal Analysis of Interval Data, pp. 105-116, June, 2010.
- Shashwati Ray and P. S. V. Nataraj, A New Strategy for Selecting Subdivision Point in the Bernstein Approach to Polynomial Optimization, pp. 117-137, June, 2010.
- Michael Zimmer, Walter Krämer, and Werner Hofschuster, Sparse Matrices and Vectors in C-XSC, pp. 138-160, January, 2011.
Volume 15 (Special volume devoted to material presented at SCAN 2008)
Guest editors: Martine Ceberio and Vladik Kreinovich
Issue 1
- René Alt, Jean-Luc Lamotte, and Svetoslav Markov, On the Accuracy of the Solution of Linear Problems on the CELL Processor, pp. 1-12, May, 2011.
- Miguel Argáez, Solving Overdetermined Systems in lp Quasi-Norms, pp. 13-25, May, 2011.
- Frithjof Blomquist, Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range, pp. 26, 35, May, 2011.
- Gerd Bohlender and Ulrich Kulisch, Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic, pp. 36-42, May, 2011.
- Darrell Cheu and Luc Longpré, Towards the Possibility of Objective Interval Uncertainty in Physics, pp. 43-46, May, 2011.
- Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, and Michel Rueher, Capabilities of Constraint Programming in Safe Global Optimization, pp. 47-59, May, 2011.
- Karen Villaverde and Gang Xiang, Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms, pp. 60-68, May, 2011.
Issue 2
- Sandeep Hattangady, William Edmonson, and Winser Alexander, Block Floating Point Interval ALU for Digital Signal Processing, pp. 69-80, June, 2011.
- Ivan Petković, Computational Aspects of the Implementation of Disk Inversions, pp. 81-90, June, 2011.
- Miodrag S. Petković and Dušan M. Milošević, Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials, pp. 91-108, June, 2011.
- P. S. V. Nataraj and M. Arounassalame, An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems, pp.109-119, June, 2011.
- Nguyen Hong Diep and Nathalie Revol, Solving and Certifying the Solution of a Linear System, pp.120-131, June, 2011.
- Andrzej Pownuk and Naveen Kumar Goud Ramunigari, Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty, pp.132-143, June, 2011.
- M. H. van Emden, From Interval Arithmetic to Interval Constraints, pp.144-155, June, 2011.
- Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, and Takeshi Ogita, A Note on a Verified Automatic Integration Algorithm, pp.156-167, June, 2011.
Issue 3
- Joshua A. Enszer and Mark A. Stadtherr, Verified Solution and Propagation of Uncertainty in Physiological Models, pp.168-178, July, 2011.
- Sebastian Kempken and Wolfram Luther, Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment, pp.179-192, July, 2011.
- Mariana Kolberg, Walter Krämer and Michael Zimmer, Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations, pp.193-206, July, 2011.
- Bartłomiej Jacek Kubica, Interval Methods for Solving Underdetermined Nonlinear Systems, pp.207-217, July, 2011.
- Tanja Magoč, Martine Ceberio, and Francois Modave, Using Preference Constraints to Solve Multi-Criteria Decision Making Problems, pp.218-229, July, 2011.
- Miguel Argáez, Leticia Velázquez, Carlos Quintero, Hector Klie, and Mary Wheeler, A Hybrid Algorithm for Global Optimization Problems, pp.230-241, July, 2011.
- Julie Roy et al, Global Optimization and Singular Nonlinear Programs: New Techniques, pp.242-250, July, 2011.
- P. S. V. Nataraj and Shanta Sondur, The Extrapolated Taylor Model, pp. 251-278, July, 2011.
- German Tischler and Jürgen Wolff von Gudenberg, Solving Decidability Problems with Interval Arithmetic, pp. 279-289, July, 2011.
Issue 4
- Lev Kapitanski and Sanja Živanovič, Dynamics with a Range of Choice, pp. 290-299, July, 2011.
- Tanja Magoč, Xiaojing Wang, Francois Modave, and Martine Ceberio, Applications of Fuzzy Measures and Intervals in Finance, pp. 300-311, July, 2011.
- M. Nehmeier and J. Wolff v. Gudenberg, filib++ , Expression Templates and the Coming Interval Standard, pp. 312-320, July, 2011.
- Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, and Harald Aschemann, Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems, pp. 321-332, July, 2011.
- Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, and Harald Aschemann, Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic, pp. 333-344, July, 2011.
- Irene A. Sharaya and Sergey P. Shary, Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients, pp. 345-357, July, 2011.
- Sergey P. Shary, On Nonnegative Interval Linear Systems and Their Solution, pp. 358-369, July, 2011.
- Andreas Rauh and Ekaterina Auer, Verified Simulation of ODEs and DAEs in ValEncIA-IVP, pp. 370-381, July, 2011.
Volume 16
- Lubomir V. Kolev, A Method for Determining the Regularity Radius of Interval Matrices, pp. 1-26, July, 2011.
- Milan Hladík and Luc Jaulin, An Eigenvalue Symmetric Matrix Contractor, pp. 27-37, October, 2011.
- Samiran Karmakar and A. K. Bhunia, A Comparative Study of Different Order Relations of Intervals, pp. 38-72, January, 2012.
- Elke Just and Bruno Lang, ASuccess-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers, pp. 73-83, March, 2012.
- Peter Schodl and Arnold Neumaier, Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images, pp. 84-101, March, 2012.
- Shinya Miyajima, Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods, pp. 102-106, April, 2012.
- Shinya Miyajima, The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues, pp. 107-113, April, 2012.
Go to the Reliable Computing home page