SCAN2014
The post-conference proceedings have been published:
Lecture Notes in Computer Science Volume 9553
Scientific Computing, Computer Arithmetic, and Validated Numerics
16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Editors: Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
ISBN: 978-3-319-31768-7 (Print) 978-3-319-31769-4 (Online)
Information about the conference
The 16th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations will take place in Würzburg, Germany, at the Department of Computer Science of the University of Würzburg, on September 21–26, 2014.
This conference continues the series of international SCAN symposia initiated by University of Karlsruhe, Germany, and held under the joint auspices of GAMM and IMACS. SCAN symposia have been held in many cities across the world
- Karlsruhe, Germany (1988)
- Basel, Switzerland (1989)
- Albena-Varna, Bulgaria (1990)
- Oldenburg, Germany (1991)
- Vienna, Austria (1993)
- Wuppertal, Germany (1995)
- Lyon, France (1997)
- Budapest, Hungary (1998)
- Karlsruhe, Germany (2000)
- Paris, France (2002)
- Fukuoka, Japan (2004)
- Duisburg, Germany (2006)
- El Paso, Texas, USA (2008)
- Lyon, France (2010)
- Novosibirsk, Russia (2012)
The goal of SCAN2014 is to advance the frontiers in verified numerical computations, as well as in their application to computational engineering and science.
Topics of interest include, but are not limited to
- Theory, algorithms and arithmetics for verified numerical computations
- Symbolic and algebraic methods
- Computer-assisted proofs
- Hardware and software support and programming tools for verified numerical computations
- Interval analysis and applications
- Treatment of uncertainty
- Constraint programming
- Verification in optimization and simulation
- Ordinary and partial differential equations
- Supercomputing and reliability
- Industrial and scientific applications of verified numerical computations
- Reliability in computer graphics
- Ekaterina Auer (University of Duisburg-Essen, Germany)
Result Verification and Uncertainty Management in Engineering Applications - Andrej Bauer (University of Ljubljana, Slovenia)
Programming techniques for exact real arithmetic - Sylvie Boldo (Inria, France)
Formal verification of tricky numerical computations - Jack Dongarra (University of Tennessee and ORNL, USA)
Algorithmic and Software Challenges at Extreme Scales - John Gustafson (Ceranovo Inc., USA)
An Energy-Efficient and Massively Parallel Approach to Valid Numerics - Kenta Kobayashi (Hitotsubashi University, Japan), Winner of R. E. Moore Prize 2014
Computer-Assisted Uniqueness Proof for Stokes' Wave of Extreme Form - Bartłomiej Jacek Kubica (Warsaw University of Technology, Poland)
Interval methods for solving various kinds of quantified nonlinear problems - John Pryce (Cardiff University, UK)
The architecture of the IEEE P1788 draft standard for interval arithmetic
- Rene Alt, Svetoslav Markov, Margarita Kambourova, Nadja Radchenkova and Spasen Vassilev
On the mathematical modelling of a batch fermentation process using interval data and verification methods slides - Roumen Anguelov and Svetoslav Markov
On the sets of H- and D-continuous interval functions slides - Ekaterina Auer
Result Verification and Uncertainty Management in Engineering Applications slides - Balázs Bánhelyi, Tibor Csendes, Tibor Krisztin and Arnold Neumaier
On a conjecture of Wright slides - Balázs Bánhelyi and Balázs Lévai
Verified localization of trajectories with prescribed behaviour in the forced damped pendulum slides - Lars Balzer
SONIC – a nonlinear solver slides - Andrej Bauer
Programming techniques for exact real arithmetic slides - Henning Behnke
Curve Veering for the Parameter-Dependent Clamped Plate - Sylvie Boldo
Formal verification of tricky numerical computations slides - Chemseddine Chohra, Philippe Langlois and David Parello
Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis slides - Sylvain Collange, David Defour, Stef Graillat and Roman Iakymchuk
Reproducible and Accurate Matrix Multiplication for High-Performance Computing slides - Boris S. Dobronets and Olga A. Popova
Numerical probabilistic approach for optimization problems slides - Jack Dongarra
Algorithmic and Software Challenges at Extreme Scales slides - Pacôme Eberhart, Julien Brajard, Pierre Fortin and Fabienne Jézéquel
Towards High Performance Stochastic Arithmetic slides - Abdelrahman Elskhawy, Kareem Ismail and Maha Zohdy
Modal Interval Floating Point Unit with Decorations slides - Jürgen Garloff and Mohammad Adm
Sign Regular Matrices Having the Interval Property slides - Jürgen Garloff and Tareq Hamadneh
Convergence of the Rational Bernstein Form - Valentin Golodov
Interval regularization approach to the Firordt method of the spectroscopic analysis of the nonseparated mixtures slides - Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanka and Shin’ichi Oishi
A method of calculating faithful rounding of l2-norm for n-vectors slides - John Gustafson
An Energy-Efficient and Massively Parallel Approach to Valid Numerics slides - David Hartman and Milan Hladik
Towards tight bounds on the radius of nonsingularity slides - Tomohirio Hiwaki and Nobito Yamamoto
A numerical verification method for a basin of a limit cycle slides - Milan Hladik
Optimal preconditioning for the interval parametric Gauss–Seidel method slides - Jaroslav Horacek and Milan Hladik
On Unsolvability of Overdetermined Interval Linear Systems slides - Luc Jaulin, Jordan Ninin, Stéphane Le Menec and Alexandru Stancu
Computing capture tubes slides - Claude-Pierre Jeannerod and Siegfried M. Rump
On relative errors of floating-point operations: optimal bounds and applications - Hao Jiang, Feng Wang, Yunfei Du and Lin Peng
Fast Implementation of Quad-Precision GEMM on ARMv8 64-bit Multi-Core Processor - Ralph Baker Kearfott
Some Observations on Exclusion Regions in Interval Branch and Bound Algorithms slides - Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
Some remarks on the rigorous estimation of inverse linear elliptic operators slides - Kenta Kobayashi
Computer-Assisted Uniqueness Proof for Stokes’ Wave of Extreme Form - Kenta Kobayashi and Takuya Tsuchiya
Error Estimations of Interpolations on Triangular Elements slides - Michal Konecny, Walid Taha, Jan Duracz and Amin Farjudian
Implementing the Interval Picard Operator slides - Bartłomiej Jacek Kubica
Interval methods for solving various kinds of quantified nonlinear problems slides - S. I. Kumkov
Applied techniques of interval analysis for estimation of experimental data slides - Olga Kupriianova and Christoph Lauter
Replacing branches by polynomials in vectorizable elementary functions slides - Xuefeng Liu and Shin'Ichi Oishi
Verified lower eigenvalue bounds for self-adjoint differential operators slides - Luc Longpre and Vladik Kreinovich
Towards the possibility of objective interval uncertainty in physics. II slides - Joe Lorkowski and Vladik Kreinovich
How much for an interval? a set? a twin set? a p-box? a Kaucher interval? An economics-motivated approach to decision making under uncertainty slides - Wolfram Luther
A workflow for modeling, visualizing, and querying uncertain (GPS-)localization using interval arithmetic slides - Amin Maher and Hossam A. H. Fahmy
Using range arithmetic in evaluation of compact models slides - Mihály Csaba Markót and Zoltán Horváth
Finding positively invariant sets of ordinary differential equations using interval global optimization methods slides - Günter Mayer
A short description of the symmetric solution set slides - Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Siegfried M. Rump and Shin’ichi Oishi
A Simple Modified Verification Method for Linear Systems slides - Shinya Miyajima
Fast inclusion for the matrix inverse square root slides - Shinya Miyajima
Verified solutions of saddle point linear systems slides - Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo and Shin’ichi Oishi
A method of verified computations for nonlinear parabolic equations slides - Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo and Shin’ichi Oishi
A sharper error estimate of verified computations for nonlinear heat equations. slides - Tiago Montanher and Walter Mascarenhas
An Interval arithmetic algorithm for global estimation of hidden Markov model parameters slides - Hong Diep Nguyen and James Demmel
Toward hardware support for Reproducible Floating-Point Computation slides - Jordan Ninin and Nathalie Revol
Accurate and efficient implementation of affine arithmetic using floating-point arithmetic slides - Takeshi Ogita
Iterative Refinement for Symmetric Eigenvalue Problems - Katsuhisa Ozaki, Takeshi Ogita and Shin’ichi Oishi
Automatic Verified Numerical Computations for Linear Systems slides - Bhagyesh V. Patil and P. S. V. Nataraj
Bernstein branch-and-bound algorithm for unconstrained global optimization of multivariate polynomial MINLPs slides - Evgenija D. Popova
Improved Enclosure for Parametric Solution Sets with Linear Shape slides - John Pryce
The architecture of the IEEE P1788 draft standard for interval arithmetic slides - Andreas Rauh, Luise Senkel and Harald Aschemann
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides slides - Andreas Rauh, Luise Senkel and Harald Aschemann
Computation of Confidence Regions in Reliable, Variable-Structure State and Parameter Estimation slides - Andreas Rauh, Ramona Westphal, Harald Aschemann and Ekaterina Auer
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues slides - Luise Senkel, Andreas Rauh and Harald Aschemann
Numerical Validation of Sliding Mode Approaches with Uncertainty slides - Irene A. Sharaya and Sergey P. Shary
Reserve as recognizing functional for AE-solutions to interval system of linear equations slides - Sergey P. Shary
Maximum Consistency Method for Data Fitting under Interval Uncertainty slides - Stefan Siegel
An Implementation of Complete Arithmetic - Igor Sokolov
Non-arithmetic approach to dealing with uncertainty in fuzzy arithmetic slides - Christoph Spandl
True orbit simulation of dynamical systems and its computational complexity slides - Kazuaki Tanaka and Shin’ichi Oishi
Numerical verification for periodic stationary solutions to the Allen-Cahn equation - Philippe Theveny
Choice of metrics in interval arithmetic slides - Tomoki Uda
Numerical Verification for Elliptic Boundary Value Problem with Nonconforming P1 Finite Elements slides - Ronald van Nooijen and Alla Kolechkina
Two applications of interval analysis to parameter estimation in hydrology. slides - Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and Jean-Marc Alliot
Combining Interval Methods with Evolutionary Algorithms for Global Optimization slides - Yao Zhao, Gang Xu and Mark Stadtherr
Dynamic Load Balancing for Rigorous Global Optimization of Dynamic Systems
