Learn More
An interval extension of a function written in the centered form or the mean value form offers a second order approximation to the range of values of the function over an interval. However, the two forms differ with respect to inclusion monotonicity; the mean value form is inclusion monotone while the centered form is not. This is demonstrated in the(More)
We consider a parallel method for finding the global minimum (and all of the global minimizers) of a continuous non-linear function f : D → R, where D is an n-dimensional interval. The method combines one of the well known branch-and-bound interval search methods of Skelboe, Moore and Hansen with a real-valued optimization method. Initially we use a(More)
Information about a value is frequently best expressed with an interval. Frequently also, information is best expressed with a probability density function. We extend automatically verified numerical inference to include combining operands when both are intervals, both are probability density functions, or one is an interval and the other a probability(More)
Rounded interval arithmetic is very easy to implement by means of directed rounding arithmetic operators. Such operators are available in the IEEE floating point arithmetic of the transputer. When a few small pieces of assembly language code is used to access the directed rounding operators, the four basic rounded interval arithmetic operators can easily be(More)
In this paper we describe the intentions, the design and functionality of an Acousmatic Composition Environment that allows children or musical novices to educate their auditory curiosity by recording, manipulating and mixing sounds of everyday life. The environment consists of three stands: A stand for sound recording with a soundproof box that ensure good(More)