Accepted Abstracts for SCAN 2010

This list includes plenary lectures.

  1. Jürgen Herzberger (1940–2009) – His scientific contributions, especially to interval analysis, Götz Alefeld.
  2. Quasilinear structures in stochastic arithmetic and their application, René Alt, Jean-Luc Lamotte, Svetoslav Markov.
  3. A New Monotonicity-Based Interval Extension Using Occurrence Grouping, Ignacio Araya, Bertrand Neveu, Gilles Trombettoni.
  4. A Verified Realization of a Dempster-Shafer-Based Fault Tree Analysis, Ekaterina Auer, Wolfram Luther, Gabor Rebner.
  5. VERICOMP: A System to Compare and Assess Verified IVP Solvers, Ekaterina Auer, Andreas Rauh.
  6. Techniques for the automatic debugging of scientific floating-point programs, David H. Bailey, James Demmel, William Kahan, Guillaume Revy, Koushik Sen.
  7. Reliable circle covering and its applications for telecommunication networks, Balázs Bánhelyi, Endre Palatinus.
  8. Approximating floating-point operations to verify numerical programs, Mohammed Said Belaid, Claude Michel, Michel Rueher.
  9. Convergence of Feasibility-Based Bounds Tightening, Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Liberti.
  10. Dynamical directions in numeration, Valérie Berthé.
  11. Automated Precision Analysis: A Polynomial Algebraic Approach, David Boland, George A. Constantinides.
  12. A Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs, Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot.
  13. Verified solutions of two-point boundary value problems for nonlinear oscillators, Florian Bünger.
  14. Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation, Gilles Chabert, Rémi Douence.
  15. Numerical discussions on interval Newton method regarding two definitions of extended interval division, Chin-Yun Chen.
  16. From an Interval to a Natural Probability Distribution on the Interval: Weakest-link Case, Distributions of Extremes, and Their Potential Application to Economics and to Fracture Mechanics, Monchaya Chiangpradit, Wararit Panichkitkosolkul, Hung T. Nguyen, Vladik Kreinovich.
  17. A Scilab Interface for Interval Analysis, David Daney.
  18. Verification of Programs: About the Practicality of Constraint-based Approaches and On Floating-Point Programs, Shubhra Datta, Martine Ceberio, Mario Bencomo, George Moreno.
  19. Effect of round-off errors on the accuracy of randomized algorithms, Marc Daumas, Patrick Vilamajó.
  20. Code generation for argument filtering and argument reduction in elementary functions, Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol.
  21. Computing optimal validated solutions of initial value problems for Ordinary Differential Equations, Nicolas Delanoue, Luc Jaulin.
  22. Accurate and efficient expression evaluation and linear algebra, James Demmel.
  23. Extremum seeking in an uncertain chemostat model of plasmid-bearing, plasmid-free competition, Neli Dimitrova.
  24. GloptLab - A Configurable Framework for Global Optimization, Ferenc Domes, Arnold Neumaier.
  25. A Comparison of Different Verified Arithmetics in the Scope of Hierarchical Space Partitioning Structures, Eva Dyllong, Stefan Kiel.
  26. Verified Probability Bounds Analysis Around Bifurcations in an Ecosystem Model, Joshua A. Enszer, Kate A. Smith, Mark A. Stadtherr.
  27. Accuracy of the Discretization Matrix of a Radiative Transfer, Rosário Fernandes, Filomena d'Almeida.
  28. Computing Guaranteed Error Bounds for Solutions of Matrix Equations, Andreas Frommer, Behnam Hashemi.
  29. Verified Simplex Solver using the Tableau Form and Interval Arithmetic, Christoph Fünfzig, Dominique Michelucci, Sebti Foufou.
  30. Pivot Tightening for Direct Methods for Solving Systems of Linear Interval Equations, Jürgen Garloff.
  31. Validated performance analysis of accurate summation algorithms, Bernard Goossens, Philippe Langlois, David Parello, Eric Petit.
  32. Faster AND Tighter Evaluation of a Polynomial Range Through SIMD Interval Arithmetic, Frédéric Goualard.
  33. SAM: a multiprecision stochastic arithmetic library, Stef Graillat, Fabienne Jézéquel, Yuxiang Zhu.
  34. A Branch-and-Bound Algorithm for Unconstrained Global Optimization, Laurent Granvilliers, Alexandre Goldsztejn.
  35. On Piecewise Linearization by Algorithmic Differentiation, Andreas Griewank.
  36. Formal proofs of floating-point algorithms, John Harrison.
  37. Inner interval addition/subtraction — properties, application and implementation, Nathan Hayes, Neli Dimitrova, Svetoslav Markov.
  38. An enclosure for the solution set of parametric interval linear systems, Milan Hladík.
  39. An Interval Finite Difference Method of Crank-Nicolson Type with Mixed Boundary Conditions, Malgorzata A. Jankowska.
  40. Solving set-valued constraint satisfaction problems, Luc Jaulin.
  41. Numerical validation of Slater integrals computation on GPU, Fabienne Jézéquel, Jean-Luc Lamotte.
  42. On Utilizing Disconnected Images within GlobSol's Constraint Propagation Software, Ralph Baker Kearfott.
  43. Multiple/Arbitrary Precision Interval Computations in C-XSC, Walter Krämer.
  44. A class of problems that can be solved with interval algorithms, Bartłomiej Jacek Kubica.
  45. Computing Pareto-sets of multicriteria problems using interval methods, Bartłomiej Jacek Kubica, Adam Woźniak.
  46. Very Fast and Exact Accumulation of Products, Ulrich Kulisch.
  47. Trade-off between accuracy and time for automatically generated summation algorithms, Philippe Langlois, Matthieu Martel, Laurent Thévenoux.
  48. Computing Isolated Singular Solutions of Polynomial Systems Accurately: Case of Breadth One, Nan Li, Lihong Zhi.
  49. Guaranteed Eigenvalue Evaluation for Elliptic Problem over General Polygonal Domain, Xuefeng Liu.
  50. Verified Propagation of Fuzzy Uncertainties in Nonlinear Dynamic Systems, D. Andrei Măceș, Mark A. Stadtherr.
  51. Solving the Poisson equations by an interval difference method of the second order, Andrzej Marciniak.
  52. Bound constrained interval global optimization in the COCONUT Environment, Mihály Csaba Markót, Hermann Schichl.
  53. Error bounds for computed eigenvalues in generalized eigenvalue problem, Shinya Miyajima.
  54. The role of interval methods in Partial-Order Programming, Areski Nait-Abdallah, Maarten H. van Emden.
  55. A numerical verification method of solutions for parabolic initial-boundary value problems using a linearized inverse operator, Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura.
  56. Towards Interval Techniques for Model Validation, Jaime Nava, Vladik Kreinovich.
  57. Interval Arithmetic using Expression Templates, Template Meta Programming and the upcoming C++ Standard, Marco Nehmeier.
  58. Interval Arithmetic Hardware, Marco Nehmeier, Stefan Siegel, Jürgen Wolff von Gudenberg.
  59. Accuracy issues in linear algebra using interval arithmetic, Hong Diep Nguyen, Nathalie Revol.
  60. Reliable Affine Arithmetic, Jordan Ninin, Frédéric Messine.
  61. Accurate Singular Value Decomposition for Ill-conditioned Matrices, Takeshi Ogita.
  62. Numerical Verification of Existence for Solutions to Dirichlet Boundary Value Problems of Semilinear Elliptic Equations, Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo.
  63. A posteriori error estimates of Sinc-Nyström methods for Fredholm integral equations of the second kind, Tomoaki Okayama, Takayasu Matsuo, Masaaki Sugihara.
  64. Quasi-Quadruple Precision Matrix Multiplication Based on Fast Routine for Matrix Computations, Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi.
  65. Estimating network loads in service networks - the uncertain data case, László Pál, Tibor Csendes.
  66. An INTLAB based global optimization algorithm with an improved Newton step, László Pál, Tibor Csendes.
  67. Global Optimization of Mixed-Integer Nonlinear (Polynomial) Programming Problems: The Bernstein Polynomial Approach, Bhagyesh V. Patil, P. S. V. Nataraj, S. Bhartiya.
  68. Characterization of Parametric Solution Sets, Evgenija D. Popova.
  69. Embedding of C-XSC nonlinear problem solvers in Mathematica, Evgenija D. Popova, Walter Krämer.
  70. Interval-Based Sliding Mode Control and State Estimation for Uncertain Systems, Andreas Rauh, Harald Aschemann.
  71. Sensitivity-Based Feedforward and Feedback Control for Uncertain Systems, Andreas Rauh, Ekaterina Auer, Harald Aschemann.
  72. Verified Stability Analysis of Continuous-Time Control Systems with Bounded Parameter Uncertainties, Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann.
  73. Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse, Siegfried M. Rump.
  74. Exclusion regions for optimization problems, Hermann Schichl, Mihály Csaba Markót.
  75. “Spanish version” of formal approach to enclosing solution sets of interval linear systems, Sergey P. Shary.
  76. Implementation of a Long Accumulator Using Cache Memory, Stefan Siegel.
  77. Validated Solutions of the Fixed-point Problem for Perron-Frobenius Operators, Christoph Spandl.
  78. Difference Interval Methods for Solving Hyperbolic Partial Differential Equations, Barbara Szyszka.
  79. Numerical existence proofs and Accurate error bounds of solutions to Semilinear elliptic equations with higher order finite elements, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi, Takayuki Kubo.
  80. Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC, Arnaud Tisserand.
  81. A new certified numerical algorithm for solving polynomial systems, Philippe Trebuchet.
  82. Challenges for validated numerics in dynamical systems, Warwick Tucker.
  83. An envelope for errors in hydrological model output caused by sampling and averaging, Ronald van Nooijen, Alla Kolechkina.
  84. Towards More Adequate Value-Added Teacher Assessments: How Intervals Can Help, Karen Villaverde, Olga Kosheleva.
  85. A self-validating norm computation of inverse for infinite dimensional linear operators and its applications, Yoshitaka Watanabe.
  86. Interval Multiple-Precision Arithmetic with center-radius form, Nobito Yamamoto, Nozomu Matsuda.
  87. Product of Partially Ordered Sets (Posets) and Intervals in Such Products, with Potential Applications to Uncertainty Logic and Space-Time Geometry, Francisco Zapata, Olga Kosheleva, Karen Villaverde.
  88. Certification via Symbolic-Numeric Computations, Lihong Zhi.
  89. Sparse matrices in C-XSC and their application in solvers for parametric linear systems, Michael Zimmer, Walter Krämer, Evgenija D. Popova.

Back to SCAN 2010 main page.