Friday, July 26
8:30-10:30 AM

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

For description, see Part I, MS35.

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

MMD, 5/20/96