MS46
Verification Theory, Techniques and Software: Components of Modern Reliable Scientific Computing (Part II of II)

Organizers: R. Baker Kearfott, University of Southern Louisiana; and Vladik Y. Kreinovich, University of Texas, El Paso

8:30 From Concept to Theory to Software to Applications - the Research Strategy and Status of Verified Combination of Intervals with Distribution Functions

Daniel J. Berleant, University of Arkansas

9:00 Taylor Models, Small Numbers, and Large Accelerators: Proving Long Term Stability of Weakly Nonlinear Systems

Martin Berz, Michigan State University

9:30 Interval Mathematics in Uncertainty Analysis

Hung T. Nguyen, New Mexico State University

10:00 Interval-Based Reasoning in Knowledge-Based Systems, and its use in Medical Systems

Ladislav J. Kohout, Florida State University

Registration | Hotel Information | Transportation | Speaker Index | Program Overview