A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A technique for preserving pigmentation in some capsalid monogeneans for taxonomic purposes

A technique is described to preserve the pigment found in the bodies and the intestine of some brightly coloured and darkly pigmented benedeniine capsalid monogeneans. Previous studies of these pigmented capsalids have proven difficult because the pigmentation usually disappears when the worms are fixed using preservatives containing concentrations of formalin over 5% and/or ethanol, acetic acid, chromic acid, picric acid and mercuric chloride. The technique developed here uses a fixative comprising glycerol, acetone and formalin (GAF). After fixation under light coverslip compression for three minutes, specimens are transferred to absolute acetone for three minutes and cleared in a mixture of nine parts cedar wood oil and one part absolute acetone before mounting in Canada balsam. Processing must be carried out quickly, as these chemicals will cause the pigments to fade if the specimens are exposed to them for too long. Pigmented benedeniines processed using this technique retain the distribution, intensity and colour observed in live worms. The colour and distribution of pigmentation in monogeneans may be of taxonomic importance and this technique aids preparation of whole-mounts suitable for registration as type-material.

Riddling and invariance for discontinuous maps preserving Lebesgue measure

In this paper we use the mixture of topological and measure-theoretic dynamical approaches to consider riddling of invariant sets for some discontinuous maps of compact regions of the plane that preserve two-dimensional Lebesgue measure. We consider maps that are piecewise continuous and with invertible except on a closed zero measure set. We show that riddling is an invariant property that can be used to characterize invariant sets, and prove results that give a non-trivial decomposion of what we call partially riddled invariant sets into smaller invariant sets. For a particular example, a piecewise isometry that arises in signal processing (the overflow oscillation map), we present evidence that the closure of the set of trajectories that accumulate on the discontinuity is fully riddled. This supports a conjecture that there are typically an infinite number of periodic orbits for this system.

A test of the hypothesis of ecological equivalence in an Australian subtropical rain forest

We tested the hypothesis that tree species in a subtropical rain forest in south-east Queensland are ecologically equivalent and therefore have identical environmental requirements for their regeneration. We assessed the evidence that juveniles of species differed in their distributions in treefall gap microsites and along gradients of light availability, soil pH, soil PO4-P availability and soil NO3-N availability. Pairwise comparisons were made on a subset of the common species selected on the basis that they showed a relatively high level of positive association, and would therefore, a priori, be expected to have similar regeneration requirements. Detailed comparisons between the species failed to demonstrate evidence for species differentiation with respect to their tolerance of the disturbance associated with gap microsites or to the gradient of NO3-N availability. However, species differed markedly in their distributions along the soil pH gradient and along the gradients of light availability and soil PO4-P availability. The overall level of ecological differentiation between the species is high: seven out of the 10 possible species pairings showed evidence for ecological differentiation. Such niche differentiation amongst the juveniles of tree species may play an important role in maintaining the species richness of rain-forest communities.

Recording and preserving legal history

The lack of a systematic approach in Australia to recording and preserving legal history was highlighted in the article by Catherine Hutchins in the August 2002 issue of the Australian Bar Review. This article describes the modest, albeit continuing, efforts on the part of the Supreme Court Library to meet this need in the State of Queensland. The efforts began in 1983 and have recently escalated with a series of exhibitions, talks, displays, interviews and preservations of documents (from online publication).

Testing the energetic equivalence rule with helminth endoparasites of vertebrates

As a general test of the energetic equivalence rule, we examined macroecological relationships among abundance, density and host body mass in a comparative analysis of the assemblages of trophically transmitted endoparasitic helminths of 131 species of vertebrate hosts. Both the numbers and total volume of parasites per gram of host decreased allometrically with host body mass, with slopes roughly consistent with those expected from the allometric relationship between host basal metabolic rate and body mass. From an evolutionary perspective, large body size may therefore allow hosts to escape from the deleterious effects of parasitism.

Equivalence between two-mode spin squeezed states and pure entangled states with equal spin

We prove that a pure entangled state of two subsystems with equal spin is equivalent to a two-mode spin-squeezed state under local operations except for a set of bipartite states with measure zero, and provide a counterexample to the generalization of this result to two subsystems of unequal spin.

Comments on edge-to-edge matching and the equivalence of the invariant line, Delta g and Moire fringe approaches to the crystallographic features of precipitates

Three apparently distinct and different approaches have been proposed to account for the crystallographic features of diffusion-controlled precipitation. These three models are based on (a) an invariant line in the habit plane, (b) the parallelism of a pair of Deltags that are perpendicular to the habit plane and (c) the parallelism of a pair of Moire fringes that are in turn parallel to the habit plane. The purpose of the present paper is to show that these approaches are in fact absolutely equivalent and that when certain conditions are satisfied they are essentially the same as the recent edge-to-edge matching model put forward by the authors. (C) 2004 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

On the equivalence of weighted Country-Product-Dummy (CPD) Method and the Rao-System for multilateral price comparisons

The country-product-dummy (CPD) method, originally proposed in Summers (1973), has recently been revisited in its weighted formulation to handle a variety of data related situations (Rao and Timmer, 2000, 2003; Heravi et al., 2001; Rao, 2001; Aten and Menezes, 2002; Heston and Aten, 2002; Deaton et al., 2004). The CPD method is also increasingly being used in the context of hedonic modelling instead of its original purpose of filling holes in Summers (1973). However, the CPD method is seen, among practitioners, as a black box due to its regression formulation. The main objective of the paper is to establish equivalence of purchasing power parities and international prices derived from the application of the weighted-CPD method with those arising out of the Rao-system for multilateral comparisons. A major implication of this result is that the weighted-CPD method would then be a natural method of aggregation at all levels of aggregation within the context of international comparisons.

The metaphysical equivalence of three and four dimensionalism

I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are inter-translatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of special relativity lead me to conclude that the two theories are equally explanatory, and thus finally that they are metaphysically equivalent.

Equivalence of the Peleg, Pilosof and Singh-Kulshrestha models for water absorption in food

The similarity between the Peleg, Pilosof –Boquet–Batholomai and Singh–Kulshrestha models was investigated using the hydration behaviours of whey protein concentrate, wheat starch and whey protein isolate at 30 °C in 100% relative humidity. The three models were shown to be mathematically the same within experimental variations, and they yielded parameters that are related. The models, in their linear and original forms, were suitable (r2 > 0.98) in describing the sorption behaviours of the samples, and are sensitive to the length of the sorption segment used in the computation. The whey proteins absorbed more moisture than the wheat starch, and the isolate exhibited a higher sorptive ability than the concentrate.