• 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