| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Accelerated Shift-and-Add Algorithms
|
Nathalie Revol
|
|
2000
|
|
2 |
p. 193-205
13 p.
|
artikel
|
| 2 |
A Coherence Space of Rational Intervals for a Construction of IR
|
Graçaliz P. Dimuro
|
|
2000
|
|
2 |
p. 139-178
40 p.
|
artikel
|
| 3 |
A Contribution to the Feasibility of the Interval Gaussian Algorithm
|
Mayer, Günter
|
|
2006
|
|
2 |
p. 79-98
|
artikel
|
| 4 |
Algebraic Approach in the "Outer Problem" for Interval Linear Equations
|
Sergey P. Shary
|
|
1997
|
|
2 |
p. 103-135
33 p.
|
artikel
|
| 5 |
A Limitation for Underestimation Via Twin Arithmetic
|
Peter Hertling
|
|
2001
|
|
2 |
p. 157-169
13 p.
|
artikel
|
| 6 |
A Method for Outer Interval Solution of Systems of Linear Equations Depending Linearly on Interval Parameters
|
Skalna, Iwona
|
|
2006
|
|
2 |
p. 107-120
|
artikel
|
| 7 |
A New Method for Global Solution of Systems of Non-Linear Equations
|
Lubomir V. Kolev
|
|
1998
|
|
2 |
p. 125-146
22 p.
|
artikel
|
| 8 |
An Improved Method for Global Solution of Non-Linear Systems
|
Lubomir V. Kolev
|
|
1999
|
|
2 |
p. 103-111
9 p.
|
artikel
|
| 9 |
A Parallelized Version of the Covering Algorithm for Solving Parameter-Dependent Systems of Nonlinear Equations
|
Paluri S. V. Nataraj
|
|
2002
|
|
2 |
p. 123-130
8 p.
|
artikel
|
| 10 |
Application of Modal Intervals to the Generation of Error-Bounded Envelopes
|
Joaquim Armengol
|
|
2001
|
|
2 |
p. 171-185
15 p.
|
artikel
|
| 11 |
A Relation Between Morphological and Interval Operations
|
Antony T. Popov
|
|
1998
|
|
2 |
p. 167-178
12 p.
|
artikel
|
| 12 |
A Search Algorithm for Calculating Validated Reliability Bounds
|
Tonon, Fulvio
|
|
2007
|
|
2 |
p. 195-209
|
artikel
|
| 13 |
A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations
|
Arnold Neumaier
|
|
1999
|
|
2 |
p. 131-136
6 p.
|
artikel
|
| 14 |
Bounding the Results of Arithmetic Operations on Random Variables of Unknown Dependency Using Intervals
|
Daniel Berleant
|
|
1998
|
|
2 |
p. 147-165
19 p.
|
artikel
|
| 15 |
Computation of the Bernstein Coefficients on Subdivided Triangles
|
Ralf Hungerbühler
|
|
2000
|
|
2 |
p. 115-121
7 p.
|
artikel
|
| 16 |
Computing Exact Bounds on Elements of an Inverse Interval Matrix is NP-Hard
|
Gregory E. Coxson
|
|
1999
|
|
2 |
p. 137-142
6 p.
|
artikel
|
| 17 |
Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard
|
Leticia S. Chee
|
|
1997
|
|
2 |
p. 155-172
18 p.
|
artikel
|
| 18 |
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations
|
Mitsuhiro T. Nakao
|
|
1998
|
|
2 |
p. 115-124
10 p.
|
artikel
|
| 19 |
Dealing with Imprecise Probabilities: Interval-Related Talks at ISIPTA'05
|
Berleant, Daniel
|
|
2006
|
|
2 |
p. 153-165
|
artikel
|
| 20 |
Dear Colleagues
|
|
|
2004
|
|
2 |
p. 81-82
2 p.
|
artikel
|
| 21 |
Dear colleagues,
|
R. Baker Kearfott
|
|
2003
|
|
2 |
p. 89-90
2 p.
|
artikel
|
| 22 |
Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals
|
Hung T. Nguyen
|
|
2004
|
|
2 |
p. 83-106
24 p.
|
artikel
|
| 23 |
Editorial
|
Josep Vehí
|
|
2001
|
|
2 |
p. 75-75
1 p.
|
artikel
|
| 24 |
Efficient Interval Linear Equality Solving in Constraint Logic Programming
|
Chong-Kan Chiu
|
|
2002
|
|
2 |
p. 139-174
36 p.
|
artikel
|
| 25 |
Efficient Task Scheduling in the Parallel Result-Verifying Solution of Nonlinear Systems
|
Beelitz, Thomas
|
|
2006
|
|
2 |
p. 141-151
|
artikel
|
| 26 |
Errata and Opinion to:
|
Kearfott, R. Baker
|
|
2005
|
|
2 |
p. 163-164
|
artikel
|
| 27 |
Erratum to: A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations (Reliable Computing 5(2) (1999))
|
Neumaier, Arnold
|
|
2000
|
|
2 |
p. 227
|
artikel
|
| 28 |
Erratum to: A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations (Reliable Computing 5(2) (1999))
|
Arnold Neumaier
|
|
2000
|
|
2 |
p. 227-227
1 p.
|
artikel
|
| 29 |
Estimating and Validating the Cumulative Distribution of a Function of Random Variables: Toward the Development of Distribution Arithmetic
|
Weldon A. Lodwick
|
|
2003
|
|
2 |
p. 127-141
15 p.
|
artikel
|
| 30 |
Estimation of Discrete-Event Systems Using Interval Computation
|
Luc Jaulin
|
|
1999
|
|
2 |
p. 165-173
9 p.
|
artikel
|
| 31 |
Evaluation of Functions, Gradients, and Jacobians
|
Louis B. Rall
|
|
2003
|
|
2 |
p. 177-182
6 p.
|
artikel
|
| 32 |
Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure
|
Misha Koshelev
|
|
2000
|
|
2 |
p. 219-223
5 p.
|
artikel
|
| 33 |
Finding All Solutions of Nonlinear Equations Using Linear Combinations of Functions
|
Kiyotaka Yamamura
|
|
2000
|
|
2 |
p. 105-113
9 p.
|
artikel
|
| 34 |
First Announcement
|
|
|
1998
|
|
2 |
p. 203-204
2 p.
|
artikel
|
| 35 |
Formulation for Reliable Analysis of Structural Frames
|
Corliss, George
|
|
2007
|
|
2 |
p. 125-147
|
artikel
|
| 36 |
Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory
|
Luc Longpré
|
|
1999
|
|
2 |
p. 201-203
3 p.
|
artikel
|
| 37 |
Interval Branch and Bound Algorithm for Finding the First-Zero-Crossing-Point in One-Dimensional Functions
|
Leocadio G. Casado
|
|
2000
|
|
2 |
p. 179-191
13 p.
|
artikel
|
| 38 |
Interval Computation of Viswanath's Constant
|
Jaão Batista Oliveira
|
|
2002
|
|
2 |
p. 131-138
8 p.
|
artikel
|
| 39 |
Interval Computations Help in Proving the Kepler Conjecture
|
|
|
1999
|
|
2 |
p. 197-199
3 p.
|
artikel
|
| 40 |
Interval Estimates for Signal Processing: Special Purpose Hardware
|
Olga Kosheleva
|
|
1999
|
|
2 |
p. 175-196
22 p.
|
artikel
|
| 41 |
Interval Finite Elements as a Basis for Generalized Models of Uncertainty in Engineering Mechanics
|
Muhanna, Rafi L.
|
|
2007
|
|
2 |
p. 173-194
|
artikel
|
| 42 |
Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems
|
Sergey P. Shary
|
|
2001
|
|
2 |
p. 141-155
15 p.
|
artikel
|
| 43 |
Interval Methods for Accelerated Global Search in the Microsoft Excel Solver
|
Ivo P. Nenov
|
|
2003
|
|
2 |
p. 143-159
17 p.
|
artikel
|
| 44 |
Intervals and the Origins of Calculus
|
David Dennis
|
|
1998
|
|
2 |
p. 191-197
7 p.
|
artikel
|
| 45 |
Interval-Valued Finite Markov Chains
|
Igor O. Kozine
|
|
2002
|
|
2 |
p. 97-113
17 p.
|
artikel
|
| 46 |
Interval Workshop MISC99
|
Josep Vehí
|
|
1999
|
|
2 |
p. 207-208
2 p.
|
artikel
|
| 47 |
Is Solar System Stable? A Remark
|
Vladik Kreinovich
|
|
1997
|
|
2 |
p. 149-154
6 p.
|
artikel
|
| 48 |
Jacobi and Gauss-Seidel Iterations for Polytopic Systems: Convergence via Convex M-Matrices
|
Duan M. Stipanovi
|
|
2000
|
|
2 |
p. 123-137
15 p.
|
artikel
|
| 49 |
Karl Nickel is turned 75
|
Jürgen Garloff
|
|
1999
|
|
2 |
p. 205-206
2 p.
|
artikel
|
| 50 |
Linear Interval Equations: Midpoint Preconditioning May Produce a 100% Overestimation for Arbitrarily Narrow Data Even in Case n = 4
|
Rohn, Jiří
|
|
2005
|
|
2 |
p. 129-135
|
artikel
|
| 51 |
Linear Systems with Large Uncertainties, with Applications to Truss Structures
|
Neumaier, Arnold
|
|
2007
|
|
2 |
p. 149-172
|
artikel
|
| 52 |
Mathematical Function Software on the WebAre Such Codes Useful for Verification Algorithms?
|
Werner Hofschuster
|
|
2000
|
|
2 |
p. 207-218
12 p.
|
artikel
|
| 53 |
Model Intervals
|
Ernest Gardeñes
|
|
2001
|
|
2 |
p. 77-111
35 p.
|
artikel
|
| 54 |
Multiplication Distributivity of Proper and Improper Intervals
|
Evgenija D. Popova
|
|
2001
|
|
2 |
p. 129-140
12 p.
|
artikel
|
| 55 |
Numerical Experiences with a New Generalized Subinterval Selection Criterion for Interval Global Optimization
|
Tibor Csendes
|
|
2003
|
|
2 |
p. 109-125
17 p.
|
artikel
|
| 56 |
Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case
|
Teruya Minamoto
|
|
1997
|
|
2 |
p. 137-147
11 p.
|
artikel
|
| 57 |
One Criterion of Existence of a Himiltonian Cycle
|
Anatoly D. Plotnikov
|
|
1998
|
|
2 |
p. 199-202
4 p.
|
artikel
|
| 58 |
On the Algebraic Properties of Intervals and Some Applications
|
Svetoslav Markov
|
|
2001
|
|
2 |
p. 113-127
15 p.
|
artikel
|
| 59 |
On the Solutions of the Interval System [x] = [A][x] + [b]
|
Arndt, Hans-Robert
|
|
2005
|
|
2 |
p. 87-103
|
artikel
|
| 60 |
On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations
|
Fulvio Tonon
|
|
2004
|
|
2 |
p. 107-137
31 p.
|
artikel
|
| 61 |
Outer Interval Solution of the Eigenvalue Problem under General Form Parametric Dependencies
|
Kolev, Lubomir V.
|
|
2006
|
|
2 |
p. 121-140
|
artikel
|
| 62 |
Regularity of Interval Matrices and Theorems of the Alternatives
|
Rohn, Jiří
|
|
2006
|
|
2 |
p. 99-105
|
artikel
|
| 63 |
Reliable Computing: Special Issue on Dependable Reasoning about Uncertainty
|
Daniel Berleant
|
|
2002
|
|
2 |
p. 175-176
2 p.
|
artikel
|
| 64 |
Reminiscence
|
Eldon R. Hansen
|
|
2000
|
|
2 |
p. 225-226
2 p.
|
artikel
|
| 65 |
Reminiscences "Back in the Good Old Days..."
|
George F. Corliss
|
|
1999
|
|
2 |
p. 209-209
1 p.
|
artikel
|
| 66 |
Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation
|
Marcin elawski
|
|
1999
|
|
2 |
p. 113-129
17 p.
|
artikel
|
| 67 |
Robust Approximation of Offsets, Bisectors, and Medial Axes of Plane Curves
|
João Batista Oliveira
|
|
2003
|
|
2 |
p. 161-175
15 p.
|
artikel
|
| 68 |
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 1822, 2000
|
|
|
2001
|
|
2 |
p. 187-191
5 p.
|
artikel
|
| 69 |
SCAN’2004 11th GAMM-IMACS International Symposium on Scientific Computing,Computer Arithmetic, and Validated NumericsFukuoka,Japan,October 4-8,2004
|
Nakao, Mitsuhiro T.
|
|
2005
|
|
2 |
p. 157-159
|
artikel
|
| 70 |
Second R. E. Moore Prize Awarded at SCAN‘2004
|
|
|
2005
|
|
2 |
p. 161-162
|
artikel
|
| 71 |
Second Scandinavian Workshop on Interval Methods and Their Applications
|
Corliss, George F.
|
|
2006
|
|
2 |
p. 167-169
|
artikel
|
| 72 |
Sharp Bounds on Interval Polynomial Roots
|
Eldon R. Hansen
|
|
2002
|
|
2 |
p. 115-122
8 p.
|
artikel
|
| 73 |
Sign-Stable Solutions of Column-Vague Linear Equation Systems
|
Josef Nedoma
|
|
1997
|
|
2 |
p. 173-180
8 p.
|
artikel
|
| 74 |
Solving Interval Constraints by Linearization in Computer-Aided Design
|
Wang, Yan
|
|
2007
|
|
2 |
p. 211-244
|
artikel
|
| 75 |
Statool: A Tool for Distribution Envelope Determination (DEnv), an Interval-Based Algorithm for Arithmetic on Random Variables
|
Daniel Berleant
|
|
2003
|
|
2 |
p. 91-108
18 p.
|
artikel
|
| 76 |
The Hull of Preconditioned Interval Linear Equations
|
Eldon R. Hansen
|
|
2000
|
|
2 |
p. 95-103
9 p.
|
artikel
|
| 77 |
The Optimal Solution of an Interval System of Linear Algebraic Equations
|
Lyashko, Marina
|
|
2005
|
|
2 |
p. 105-127
|
artikel
|
| 78 |
10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2002
|
René Alt
|
|
2003
|
|
2 |
p. 183-184
2 p.
|
artikel
|
| 79 |
Using Pearson Correlation to Improve Envelopes around the Distributions of Functions
|
Daniel Berleant
|
|
2004
|
|
2 |
p. 139-161
23 p.
|
artikel
|
| 80 |
Using Zonotopes for Overestimation-Free Interval Least-Squares–Some Geodetic Applications
|
Schön, Steffen
|
|
2005
|
|
2 |
p. 137-155
|
artikel
|
| 81 |
When Is the Product of Intervals Also an Interval?
|
Olga Kosheleva
|
|
1998
|
|
2 |
p. 179-190
12 p.
|
artikel
|
| 82 |
Wrapping Function of the Initial Value Problem for ODE: Applications
|
Roumen Anguelov
|
|
1999
|
|
2 |
p. 143-164
22 p.
|
artikel
|
Tijdschrift beschrijving