The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2003 (conf/dagstuhl/2003ns)

  1. Jürgen Wolff von Gudenberg
    OOP and Interval Arithmetic - Language Support and Libraries. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:1-14 [Conf]
  2. Werner Hofschuster, Walter Krämer
    C-XSC 2.0: A C++ Library for Extended Scientific Computing. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:15-35 [Conf]
  3. R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
    Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:36-63 [Conf]
  4. Markus Grimmer, Knut Petras, Nathalie Revol
    Multiple Precision Interval Packages: Comparing Different Approaches. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:64-90 [Conf]
  5. George F. Corliss, Jun Yu
    Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:91-106 [Conf]
  6. Michel Kieffer, Eric Walter
    Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:107-123 [Conf]
  7. Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer
    Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:124-131 [Conf]
  8. Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski
    Interval Algorithms in Modeling of Multibody Systems. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:132-159 [Conf]
  9. Katja Bühler, Eva Dyllong, Wolfram Luther
    Reliable Distance and Intersection Computation Using Finite Precision Geometry. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:160-190 [Conf]
  10. Götz Alefeld, Günter Mayer
    On Singular Interval Systems. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:191-197 [Conf]
  11. Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff
    Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:198-205 [Conf]
  12. Daniela Fausten, Gerhard Haßlinger
    Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:206-225 [Conf]
  13. Stefan Borovac, Gerhard Heindl
    Result Verification for Computational Problems in Geodesy. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:226-242 [Conf]
  14. Hermann Schichl
    Global Optimization in the COCONUT Project. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:243-249 [Conf]
  15. Baya Oussena, Abderrezak Henni, René Alt
    An Application of Wavelet Theory to Early Breast Cancer. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:250-258 [Conf]
  16. David Lester
    Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:259-273 [Conf]
  17. Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller
    Novel Approaches to Numerical Software with Result Verification. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:274-305 [Conf]
  18. Sylvie Putot, Eric Goubault, Matthieu Martel
    Static Analysis-Based Validation of Floating-Point Computations. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:306-313 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002