Uncertainty modeling and analysis with intervals - DROPS - Schloss ...

56 11371 – Uncertainty modeling and analysis with intervals: . . .
16:30–17:00: Heinrich Rommelfanger, Describing Vague Data by Fuzzy Intervals - Intelligent
Ways for Solving Real-World Decision Problems and for Saving Information Costs
17:00–17:30: Yan Wang, Reliable Kinetic Monte Carlo Simulation based on Random Set
Sampling
Wednesday, September 14, 2011
9:00–9:30: Walter Krämer, A Comparison of Different Kinds of Multiple Precision and
Arbitrary Precision Interval Arithmetics
9:30–10:00: Vincent Lefèvre, Generating a Minimal Interval Arithmetic Based on GNU
MPFR
10:15–11:15: Philipp Limbourg and Gabor Rebner, IPP Toolbox and Verified Add-ons for the
DSI toolbox
11:15–11:45: Jürgen Wolff von Gudenberg, The General Interval Power Function
11:45–12:15: Michael Zimmer, C-XSC - Overview and New Developments
13:45–21:00: Excursion to Trier (guided tour, sight seeing, winery, dinner and wine tasting)
Thursday, September 15, 2011
9:00–9:30: Cliff Joslyn and Emilie Hogan, Intervals, Orders, and Rank
9:30–10:00: Peihui Shao and Neil Stewart, Managing Epistemic Uncertainty when Condition
Numbers are Discontinuous
10:15–10:45: Stefan Kiel, Integration of Interval Contractors in Hierarchical Space Decomposition
Structures
10:45–11:15: Götz Alefeld, Error Bounds for Nonlinear Complementary Problems with Band
Structure
11:15–11:45: Michel Rueher, Using CSP Refutation Capabilities to Refine AI-based Approximations
14:00–14:30: Vladik Kreinovich, Towards Optimal Representation and Processing of Uncertainty
for Decision Making, on the Example of Economics-Related Heavy-Tailed Distributions
14:30–15:00: John D. Pryce, Decorations for Dummies (2)
15:00–18:00: P 1788 Interval Standard Group (N. Revol et al.)
19:30–20:30: Software Presentation
Friday, September 16, 2011
9:00–9:30: S. Rump, Error Estimation of Floating-Point Summation and Dot Product
9:30–10:00: Arnold Neumaier and Qaisra Fazal, Enclosing Dynamical Systems with Large
Initial Uncertainties
10:30–11:15: Strategy discussion
11:15–12:00: Closing session
Acknowledgements
We would like to thank the staff of Schloss Dagstuhl for their help in organizing this seminar
and for the excellent facilities. Thanks go to Martin Fuchs for his help in collecting abstracts
of the talks and other related materials for these proceedings.