We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the angle of internal friction is diagnostic of material, but invariant over object shape. In our experiments, we observe that the angle of internal friction is not invariant over the frequency of the sound spectrum for whic...

This paper presents an approach to elimination of Type-3 code clones based on generative techniques. At a first step it is shown how to replace Type-3 clones by higher-order functions. Then this approach is further generalized by utilizing generative designs.

In this paper we study diierent kinds of reductions of data types. By reduction we mean applying the higher order function fold to a data structure. An appropriate fold function can be deened for any recursive data type. These reductions have been presented as homomorphisms by several authors 2, 6]. Although many useful functions on data structures can be programmed as instances of fold, there ...

Two lower bag domain constructions are introduced: the initial construction which gives free lower monoids, and the final construction which is defined explicitly in terms of second order functions. The latter is analyzed closely. For sober dcpo's, the elements of the final lower bag domains can be described concretely as bags. For continuous domains, initial and final lower bag domains coincid...

The objective of the present paper is twofold: first, to establish explicit conditions for the elicitation of consistent a priori and conditional probabilities for a set of events representing pieces of evidence and hypotheses. Furthermore, an algorithm is proposed which uses these consistent input probabilities to compute lower and upper bounds for higher order joint probabilities. Secondly, p...

In this work, we study the volume ratio of the projective tensor products `p ⊗π `q ⊗π `r with 1 ≤ p ≤ q ≤ r ≤ ∞. We obtain asymptotic formulas that are sharp in almost all cases. As a consequence of our estimates, these spaces allow for a nearly Euclidean decomposition of Kašin type whenever 1 ≤ p ≤ q ≤ r ≤ 2 or 1 ≤ p ≤ 2 ≤ r ≤ ∞ and q = 2. Also, from the Bourgain-Milman bound on the volume rat...

Present bias is an old idea. The notion that people are susceptible to the over-pursuit of immediate gratification dates (at least) to the ancient Greeks. In academic research, psychologists working with animals in the 1960s and 1970s proposed “hyperbolic discounting”—a functional form of discounting that generates present bias—as a natural way to represent how animals respond to time delays, a...