-
1
-
-
0023386175
-
Constraint propagation with interval labels
-
E. Davis Constraint propagation with interval labels Artificial Intelligence 32 3 1987 281 331
-
(1987)
Artificial Intelligence
, vol.32
, Issue.3
, pp. 281-331
-
-
Davis, E.1
-
6
-
-
84968520197
-
On solving systems of equations using interval arithmetic
-
E.R. Hansen On solving systems of equations using interval arithmetic Mathematical Computing 22 1968 374 384
-
(1968)
Mathematical Computing
, vol.22
, pp. 374-384
-
-
Hansen, E.R.1
-
8
-
-
0012225871
-
Efficient high-order methods for ODEs and DAEs
-
G. Corliss, C. Faure, A. Griewank, Springer-Verlag New-York, NY
-
J. Hoefkens, M. Berz, and K. Makino Efficient high-order methods for ODEs and DAEs G. Corliss, C. Faure, A. Griewank, Automatic Differentiation: From Simulation to Optimization 2001 Springer-Verlag New-York, NY. 341 351
-
(2001)
Automatic Differentiation: From Simulation to Optimization
, pp. 341-351
-
-
Hoefkens, J.1
Berz, M.2
Makino, K.3
-
9
-
-
44049111346
-
Constraint reasoning based on interval arithmetic: The tolerance propagation approach
-
E. Hyvönen Constraint reasoning based on interval arithmetic: the tolerance propagation approach Artificial Intelligence 58 1-3 1992 71 112
-
(1992)
Artificial Intelligence
, vol.58
, Issue.1-3
, pp. 71-112
-
-
Hyvönen, E.1
-
10
-
-
0036604583
-
Nonlinear bounded-error state estimation of continuous-time systems
-
L. Jaulin Nonlinear bounded-error state estimation of continuous-time systems Automatica 38 2002 1079 1082
-
(2002)
Automatica
, vol.38
, pp. 1079-1082
-
-
Jaulin, L.1
-
11
-
-
0027627483
-
Set inversion via interval analysis for nonlinear bounded-error estimation
-
L. Jaulin, and E. Walter Set inversion via interval analysis for nonlinear bounded-error estimation Automatica 29 4 1993 1053 1064
-
(1993)
Automatica
, vol.29
, Issue.4
, pp. 1053-1064
-
-
Jaulin, L.1
Walter, E.2
-
12
-
-
0035895098
-
Guaranteed nonlinear estimation using constraint propagation on sets
-
L. Jaulin, M. Kieffer, I. Braems, and E. Walter Guaranteed nonlinear estimation using constraint propagation on sets International Journal of Control 74 18 2001 1772 1782
-
(2001)
International Journal of Control
, vol.74
, Issue.18
, pp. 1772-1782
-
-
Jaulin, L.1
Kieffer, M.2
Braems, I.3
Walter, E.4
-
15
-
-
0001829513
-
Interval analysis for guaranteed nonlinear parameter estimation
-
A.C. Atkinson, L. Pronzato, H.P. Wynn, Physica-Verlag Heidelberg
-
M. Kieffer, and E. Walter Interval analysis for guaranteed nonlinear parameter estimation A.C. Atkinson, L. Pronzato, H.P. Wynn, MODA 5-Advances in Model-Oriented Data Analysis and Experiment Design 1998 Physica-Verlag Heidelberg 115 125
-
(1998)
MODA 5-Advances in Model-Oriented Data Analysis and Experiment Design
, pp. 115-125
-
-
Kieffer, M.1
Walter, E.2
-
17
-
-
0002422258
-
Computation of guaranteed enclosures for the solutions of ordinary initial an boundary value-problem
-
J.R. Cash, I. Gladwell, Clarendon Press Oxford
-
R. Lohner Computation of guaranteed enclosures for the solutions of ordinary initial an boundary value-problem J.R. Cash, I. Gladwell, Computational Ordinary Differential Equations 1992 Clarendon Press Oxford 425 435
-
(1992)
Computational Ordinary Differential Equations
, pp. 425-435
-
-
Lohner, R.1
-
19
-
-
0003642009
-
Automatic error analysis in digital computation
-
Palo Alto, CA. Lockheed Missiles and Space Co
-
R.E. Moore Automatic error analysis in digital computation Technical Report LMSD-48421 Palo Alto, CA. 1959 Lockheed Missiles and Space Co
-
(1959)
Technical Report LMSD-48421
-
-
Moore, R.E.1
-
21
-
-
0012316113
-
Methods for initial value problems for ordinary differential equations
-
U. Kulisch, R. Lohner, A. Facius, Springer-Verlag Vienna
-
N.S. Nedialkov, and K.R. Jackson Methods for initial value problems for ordinary differential equations U. Kulisch, R. Lohner, A. Facius, Perspectives on Enclosure Methods 2001 Springer-Verlag Vienna 219 264
-
(2001)
Perspectives on Enclosure Methods
, pp. 219-264
-
-
Nedialkov, N.S.1
Jackson, K.R.2
-
23
-
-
0003630844
-
Automatic Differentiation: Techniques and Applications
-
Springer-Verlag Berlin of
-
L.B. Rall Automatic Differentiation: Techniques and Applications Lecture Notes in Computer Science 120 1981 Springer-Verlag Berlin of
-
(1981)
Lecture Notes in Computer Science
, vol.120
-
-
Rall, L.B.1
-
24
-
-
79960911030
-
Automatic differentiation: Point and interval AD
-
P.M. Pardalos, C.A. Floudas, Kluwer Dordrecht, the Netherlands
-
L.B. Rall, and G.F. Corliss Automatic differentiation: Point and interval AD P.M. Pardalos, C.A. Floudas, Encyclopedia of Optimization 1999 Kluwer Dordrecht, the Netherlands
-
(1999)
Encyclopedia of Optimization
-
-
Rall, L.B.1
Corliss, G.F.2
-
27
-
-
0030234642
-
Consistency techniques for continuous constraints
-
D.J. Sam-Haroud, and B. Faltings Consistency techniques for continuous constraints Constraints 1 1-2 1996 85 118
-
(1996)
Constraints
, vol.1
, Issue.1-2
, pp. 85-118
-
-
Sam-Haroud, D.J.1
Faltings, B.2
-
28
-
-
0003726932
-
Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems
-
American Mathematical Society Providence, RI of
-
H.L. Smith Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems Mathematical Surveys and Monographs 41 1995 American Mathematical Society Providence, RI of
-
(1995)
Mathematical Surveys and Monographs
, vol.41
-
-
Smith, H.L.1
|