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