PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kearfott, R. Baker"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.

, , , und . Numerical Software with Result Verification, Volume 2991 von Lecture Notes in Computer Science, Seite 36-63. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

R. Koerner

R. Watty

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systems, , , und . CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

Nils Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple Texts, , , und . (2017)

Reinhard Reichel

Fly-By-Wire for CS23 Aircraft - Core Technology for General Aviation and RPAS, , , , , , , und . (Oktober 2016)
 

Weitere Publikationen von Autoren mit dem selben Namen

A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.. Computing, 82 (1): 77-102 (2008)Interval Analysis: Verifying Feasibility.. Encyclopedia of Optimization, Springer, (2009)The cluster problem in multivariate global optimization., und . J. Global Optimization, 5 (3): 253-265 (1994)A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.. ACM Trans. Math. Softw., 21 (1): 63-78 (1995)Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies., , , und . Numerical Software with Result Verification, Volume 2991 von Lecture Notes in Computer Science, Seite 36-63. Springer, (2003)Optimizing INTBIS on the CRAY Y-MP., , , und . Reliab. Comput., 1 (3): 265-274 (1995)Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems.. SIAM J. Scientific Computing, 18 (2): 574-594 (1997)Validated Linear Relaxations and Preprocessing: Some Experiments., und . SIAM Journal on Optimization, 16 (2): 418-433 (2005)On stopping criteria in verified nonlinear systems or optimization algorithms., und . ACM Trans. Math. Softw., 26 (3): 373-389 (2000)Interval Subroutine Library Mission., , , , und . Reliable Implementation of Real Number Algorithms, Volume 06021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)