We extend the formal developments for message sequence charts (MSCs) to support scenarios with lost and found messages. We define a notion of extended compositional message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts in expressive power but additionally allows to define lost and found messages explicitly. As usual, ECMSCs might be combined by mean...

We consider the problem of performing compositional verification of a system with machine learning components whose behavior cannot easily be formally specified. We present an approach involving a system-level verifier communicating with a component-level analyzer wherein the former identifies a subset of environment behaviors that might lead to a system-level failure while the latter identifie...

Compositionally and petrologically, Dhofar 961, a glassy-matrix regolith breccia, is unique among lunar meteorites (Fig. 1) and distinct from any Apollo sample. In a recent paper [1], we make two observations. (1) If the ~65 known lunar meteorites represent even as few as only 30 source craters on the Moon, then there is still an 80% chance that at least one is from the South PoleAitken basin. ...

Using kernel density estimation and mixture models, household size-adjusted income distributions in Italy are cross-sectionally examined over the period 1987-2000. Nonparametric tests assess the shape time invariance and the presence of modes in the distributions. Evidence shows that income tend to cluster around more than one point, giving good reasons to model the shapes by a finite mixture d...

This account gives new data on the composition of gold from various lodes and placers in southwestern British Columbia. This research is a continuation of work reported in a 1986 paper (Knight and McTaggart, 1986). This account repeats some of the introductory material of the earlier paper in order to clarify the present report. A main objective of this work is to characterize gold by its suite...

The microstructure of an in-situ reinforced silicon nitride, gas pressure sintered with La2O3, Y2O3, and SrO additives and then heat treated, is examined with X-ray diffraction, SEM, and high-resolution TEM. Two crystalline rare-earth apatite phases, La5Si3O12N and Y5Si3O12N, are identified at the grain pockets and at the two-grain boundaries. The thickness of the crystalline phases at the two-...

[1] In contrast to other terrestrial planets, Mercury does not possess a great variety of volcanic features, its history of volcanism instead largely manifest by expansive smooth plains. However, a set of landforms at high northern latitudes on Mercury resembles surface flow features documented on Earth, the Moon, Mars, and Venus. The most striking of such landforms are broad channels that host...

Evolving robot morphologies implies the need for lifetime learning so that newborn robots can learn to manipulate their bodies. An individual’s morphology will obviously combine traits of all its parents; it must adapt its own controller to suit its morphology, and cannot rely on the controller of any one parent to perform well without adaptation. This paper investigates the practicability and ...

We report compositional data for several foods that comprise the annual diet among Hadza foragers near Lake Eyasi in northern Tanzania. Samples collected during daily gathering trips over three "eldwork seasons were prepared according to Hadza methods. All three types of honey show moisture and starch levels similar to United States' honeys but higher levels of protein, fat, and ash. Several sa...