The size-change principle devised by Lee, Jones and Ben-Amram, provides an effective method of determining program termination for recursive functions over well-founded types. Termination analysis using the principle involves the classification of functions either into size-change terminating ones, or ones which are not size-change terminating. Size-change graphs are constructed to represent th...

Radiative amplification of neutrino mixing angles may explain the large values required by solar and atmospheric neutrino oscillations. Implementation of such mechanism in the Standard Model and many of its extensions (including the Minimal Supersymmetric Standard Model) to amplify the solar angle, the atmospheric or both requires (at least two) quasi-degenerate neutrino masses, but is not alwa...

Recently, haptic devices have been successfully incorporated into the human-computer interaction model. However, a drawback common to almost all haptic systems is that the user must be attached to the haptic device at all times, even though force feedback is not always being rendered. This constant contact hinders perception of the virtual environment, primarily because it prevents the user fro...

Ethnophysiography is a new term coined by the authors to refer to an ethnoscience of landforms. Ethnophysiography seeks to document and compare terms used in various languages and cultures to refer to the natural landscape and its parts, and the meanings of those terms. Ethnophysiography is an important part of efforts to construct ontologies of the geographic domain because the categories of l...

An important theme in modern research on productivity has been that technological progress may be embodied in capital in the sense that traditional measures of TFP growth reflect unmeasured improvements in the quality of capital inputs as well as pure disembodied technological progress. It is commonly believed that an implication of this embodiment hypothesis is that there should be a negative ...

We study the uncertainties in the MS bottom quark mass determination using relativistic sum rules to O(α2S). We include charm mass effects and secondary bb̄ production and treat the experimental continuum region more conservatively than previous analyses. The PDG treatment of the region between the resonances Υ(4S) and Υ(5S) is reconsidered. Our final result reads: m̄b(m̄b) = (4.20 ± 0.09) GeV. Ta...

* 0-7803-7952-7/03/$17.00  2003 IEEE. Abstract The notion of associations as abstractions over collaborations is motivated and explored. This kind of association is seen as first class a concept at both modeling and programming level. Associations are seen as concepts/phenomena and possess properties. Properties of associations are characterized. A general event-based information sending and r...

8 1094-7167/03/$17.00 © 2003 IEEE IEEE INTELLIGENT SYSTEMS believe is the first on-road demonstration of autonomous passenger vehicles performing cooperative passing and traversal of unsignalized intersections. (Unsignalized intersections have no traffic lights, stop signs, or yield signs to control traffic flow.) This demonstration mated ICSL’s communication and collaborative decision-making s...