Logic of domains
MSE Optimal Bit Rate Allocation in the Application of JPEG2000 Part 2 to Meteorological Data
DCC '04 Proceedings of the Conference on Data Compression
Compressing 3d measurement data under interval uncertainty
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Hi-index | 0.00 |
When physical quantities xi are numbers, then the corresponding measurement accuracy can be usually represented in interval terms, and interval computations can be used to estimate the resulting uncertainty in y = f(x1,...,xn). In some practical problems, we are interested in more complex structures such as functions, operators, etc. Examples: we may be interested in how the material strain depends on the applied stress, or in how a physical quantity such as temperature or velocity of sound depends on a 3-D point. For many such structures, there are ways to represent uncertainty, but usually, for each new structure, we have to perform a lot of complex analysis from scratch. It is desirable to come up with a general methodology that would automatically produce a natural description of validated uncertainty for all physically interesting situations (or at least for as many such situations as possible). In this paper, we describe the foundations for such a methodology; it turns out that this problem naturally leads to the technique of domains first introduced by D. Scott in the 1970s. In addition to general domain techniques, we also describe applications to geospatial and meteorological data.