Table of contents for issues of Lecture Notes in Computer Science

Last update: Sat Oct 14 16:19:30 MDT 2017                Valid HTML 3.2!

Volume 5045, 2008


Lecture Notes in Computer Science
Volume 5045, 2008

             Ekaterina Auer and   
               Andreas Rauh and   
          Eberhard P. Hofer and   
                 Wolfram Luther   Validated Modeling of Mechanical Systems
                                  with SmartMOBILE: Improvement of
                                  Performance by ValEncIA-IVP  . . . . . . 1--27
          George F. Corliss and   
          R. Baker Kearfott and   
              Ned Nedialkov and   
              John D. Pryce and   
                  Spencer Smith   Interval Subroutine Library Mission  . . 28--43
                    Eva Dyllong   Convex Polyhedral Enclosures of
                                  Interval-Based Hierarchical Object
                                  Representations  . . . . . . . . . . . . 44--56
          Ioannis Z. Emiris and   
           Bernard Mourrain and   
            Elias P. Tsigaridas   Real Algebraic Numbers: Complexity
                                  Analysis and Experimentation . . . . . . 57--82
          Sebastian Kempken and   
                 Wolfram Luther   Verified Methods in Stochastic Traffic
                                  Modelling  . . . . . . . . . . . . . . . 83--101
                Branimir Lambov   Interval Arithmetic Using SSE-2  . . . . 102--113
          Vincent Lef\`evre and   
       Damien Stehlé and   
                Paul Zimmermann   Worst Cases for the Exponential Function
                                  in the IEEE 754r decimal64 Format  . . . 114--126
       Dominique Michelucci and   
         Jean Michel Moreau and   
                   Sebti Foufou   Robustness and Randomness  . . . . . . . 127--148
        Lance Edward Miller and   
         Edward L. F. Moore and   
           Thomas J. Peters and   
              Alexander Russell   Topological Neighborhoods for Spline
                                  Curves: Practice & Theory . . . . . . . . 149--161
                  Vadim Shapiro   Homotopy Conditions for Tolerant
                                  Geometric Queries  . . . . . . . . . . . 162--180
            Neil F. Stewart and   
                  Malika Zidani   Transfinite Interpolation for
                                  Well-Definition in Error Analysis in
                                  Solid Modelling  . . . . . . . . . . . . 181--192
                       Chee Yap   Theory of Real Computation According to
                                  EGC  . . . . . . . . . . . . . . . . . . 193--237