PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 19, no 3
Czasopismo
International Journal of Applied Mathematics and Computer Science
Wydawca
Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Rocznik
2009
Identyfikatory
Zawartość wolumenu
Vol. 19, no 3
artykuł:
Verified methods for computing Pareto sets: General algorithmic analysis
(
G.-Tóth B.
,
Kreinovich V.
), s. 369-380
artykuł:
A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP
(
Rauh A.
,
Brill M.
,
Günther C.
), s. 381-397
artykuł:
Interval analysis for certified numerical solution of problems in robotics
(
Merlet J. P.
), s. 399-412
artykuł:
Reliable robust path planning with application to mobile robots
(
Pepy R.
,
Kieffer M.
,
Walter E.
), s. 413-424
artykuł:
Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
(
Rauh A.
,
Minisini J.
,
Hofer E. P.
), s. 425-439
artykuł:
Nonlinear stabilizing control of an uncertain bioprocess model
(
Dimitrova N.
,
Krastanov M.
), s. 441-454
artykuł:
Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems
(
Auer E.
,
Luther W.
), s. 455-467
artykuł:
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.
), s. 469-483
artykuł:
Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems
(
Freihold M.
,
Hofer E. P.
), s. 485-499
artykuł:
Verified solution method for population epidemiology models with uncertainty
(
Enszer J. A.
,
Stadtherr M. A.
), s. 501-512
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.