International Journal of Applied Mathematics and Computer Science, Tome 19 (2009) no. 3

Geodesic

Parcourir par

Volume 19 (2009) no. 3

Sommaire

Verified methods for computing Pareto sets: General algorithmic analysis

G.-Tóth, B. ; Kreinovich, V.

p. 369-380

A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP

Rauh, A. ; Brill, M. ; Günther, C.

p. 381-397

Interval analysis for certified numerical solution of problems in robotics

Merlet, J. P.

p. 399-412

Reliable robust path planning with application to mobile robots

Pepy, R. ; Kieffer, M. ; Walter, E.

p. 413-424

Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties

Rauh, A. ; Minisini, J. ; Hofer, E. P.

p. 425-439

Nonlinear stabilizing control of an uncertain bioprocess model

Dimitrova, N. ; Krastanov, M.

p. 441-454

Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems

Auer, E. ; Luther, W.

p. 455-467

An object-oriented approach to simulating human gait motion based on motion tracking

Tändl, M. ; Stark, T. ; Erol, N. E. ; Löer, F. ; Kecskeméthy, A.

p. 469-483

Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems

Freihold, M. ; Hofer, E. P.

p. 485-499

Verified solution method for population epidemiology models with uncertainty

Enszer, J. A. ; Stadtherr, M. A.

p. 501-512