In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109–127)] we presented a general framework for verification of infinite-state transition systems, where the transition relation is monotonic with respect to a well quasi-ordering on the set of states. In this article, we investigate extending the framework from the context of transition systems to that of games with inf...

This paper considers anew the simultaneity problem that arises when observations of transactions are used to study the demand behavior of pricetaking consumers. Simultaneity is shown to be a problem of censored outcomes. This fact is used to obtain a basic negative finding on identification in the absence of prior information on the structure of demand or the process of price determination. The...

Experiments were conducted to measure downward flame spread over PMMA spheres, and an underpinning theoretical basis was developed explain the relevant mechanisms governing spherical geometries. Flame a sphere classified into two distinct regimes, that being upper lower hemispheres. using cast spheres 40 50 mm in diameter. Samples ignited at top of progression front determined video analysis. T...

It is experimentally demonstrated that an arbitrary quantum state of a single spin 1/2, a| upward arrow+b| downward arrow, can be converted into a superposition of the two ferromagnetic states of a spin cluster: a| upward arrow upward arrow... upward arrow upward arrow+b| downward arrow downward arrow... downward arrow downward arrow. The physical system is a cluster of seven dipolar-coupled nu...