• 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

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.


    Lehrstuhl für Informatik II (Software Engineering)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-86601

    Suche Ansprechpartner

    Hubland Süd, Geb. M2