The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Stratigraphy, facies architecture and tectonic implications of the Upper Devonian to Lower Carboniferous Campwyn Volcanics of the northern New England Fold Belt

Upper Devonian to Lower Carboniferous strata of the Campwyn Volcanics of east central Queensland preserve a substantial sequence of first-cycle volcaniclastic sedimentary and coeval volcanic rocks that record prolonged volcanic activity along the northern New England Fold Belt. The style and scale of volcanism varied with time, producing an Upper Devonian sequence of mafic volcano-sedimentary rocks overlain by a rhyolitic ignimbrite-dominated sequence that passes upward into a Lower Carboniferous limestone-bearing sedimentary sequence. We define two facies associations for the Campwyn Volcanics. A lower facies association is dominated by mafic volcanic-derived sedimentary breccias with subordinate primary mafic volcanic rocks comprising predominantly hyaloclastite and peperite. Sedimentary breccias record episodic and high energy, subaqueous depositional events with clastic material sourced from a mafic lava-dominated terrain. Some breccias contain a high proportion of attenuated dense, glassy mafic juvenile clasts, suggesting a syn-eruptive origin. The lower facies association coarsens upwards from a lithic sand-dominated sequence through a thick interval of pebble- to boulder-grade polymict volcaniclastic breccias, culminating in facies that demonstrate subaerial exposure. The silicic upper facies association marks a significant change in eruptive style, magma composition and the nature of eruptive sources, as well as the widespread development of subaerial depositional conditions. Crystal-rich, high-grade, low- to high-silica rhyolite ignimbrites dominate the base of this facies association. Biostratigraphic age controls indicate that the ignimbrite-bearing sequences are Famennian to lower-mid Tournaisian in age. The ignimbrites represent extra-caldera facies with individual units up to 40 m thick and mostly lacking coarse lithic breccias. Thick deposits of pyroclastic material interbedded with fine-grained siliceous sandstone and mudstone (locally radiolarian-bearing) were deposited from pyroclastic flows that crossed palaeoshorelines or represent syn-eruptive, resedimented pyroclastic material. Some block-bearing lithic-pumice-crystal breccias may also reflect more proximal subaqueous silicic explosive eruptions. Crystal-lithic sandstones interbedded with, and overlying the ignimbrites, contain abundant detrital volcanic quartz and feldspar derived from the pyroclastic deposits. Limestone is common in the upper part of the upper facies association, and several beds are oolitic (cf. Rockhampton Group of the Yarrol terrane). Overall, the upper facies association fines upward and is transgressive, recording a return to shallow-marine conditions. Palaeocurrent data from all stratigraphic levels in the Campwyn Volcanics indicate that the regional sediment-dispersal direction was to the northwest, and opposed to the generally accepted notion of easterly sediment dispersal from a volcanic arc source. The silicic upper facies association correlates in age and lithology to Early Carboniferous silicic volcanism in the Drummond (Cycle 1) and Burdekin Basins, Connors Arch, and in the Yarrol terranes of eastern Queensland. The widespread development of silicic volcanism in the Early Carboniferous indicates that silicic (rift-related) magmatism was not restricted to the Drummond Basin, but was part of a more substantial silicic igneous province.

Description of Paeon asymboli n. sp. (Copepoda : Sphyriidae), parasitic on Asymbolus spp. (catsharks) and a new host record for P-australis Kabata, 1993.

Paeon asymboli n. sp. ( Copepoda: Sphyriidae) is described and illustrated from two female specimens taken from the gills of a grey spotted catshark Asymbolus analis ( Ogilby) and an orange spotted catshark A. rubiginosus ( Last, Gomon & Gledhill) ( Scyliorhinidae) from off southeastern Queensland, Australia. The key features for identification are: a pear- shaped trunk, longer than it is wide, along with a cephalothorax characterised by two large ventral papillae, projecting laterally and supporting a number of secondary lobes; a single mid- line, subconical papilla located antero- dorsal to the ventral papillae; an anterior surface bearing two prominent stalked papillae; and an absence of posterolateral lobular processes. P. australis Kabata, 1993 is recorded for the first time from the eastern shovelnose ray Aptychotrema rostrata ( Shaw & Nodder) ( Rhinobatidae).

Quadriceps activation in closed and in open kinetic chain exercise

Purpose: For treatment of various knee disorders, muscles are trained in open or closed kinetic chain tasks. Coordination between the heads of the quadriceps muscle is important for stability and optimal joint loading for both the tibiofemoral and the patellofemoral joint. The aim of this study was to examine whether the quadriceps femoris muscles are activated differently in open versus closed kinetic chain tasks. Methods: Ten healthy men and women (mean age 28.5 +/- 0.7) extended the knees isometrically in open and closed kinetic chain tasks in a reaction time paradigm using moderate force. Surface electromyography (EMG) recordings were made from four different parts of the quadriceps muscle. The onset and amplitude of EMG and force data were measured. Results: In closed chain knee extension, the onset of EMG activity of the four different muscle portions of the quadriceps was more simultaneous than in the open chain. In open chain, rectus femoris (RF) had the earliest EMG onset while vastus medialis obliquus was activated last (7 +/- 13 ms after RF EMG onset) and with smaller amplitude (40 +/- 30% of maximal voluntary contraction (MVC)) than in closed chain (46 +/- 43% MVC). Conclusions: Exercise in closed kinetic chain promotes more balanced initial quadriceps activation than does exercise in open kinetic chain. This may be of importance in designing training programs aimed toward control of the patellofemoral joint.

The ultrastructure and function of the silk-producing basitarsus in the Hilarini (Diptera : Ernpididae)

The tribe Hilarini (Diptera: Empididae), commonly known as dance flies, can be recognised by their swollen silk-producing prothoracic basitarsus, a male secondary sexual characteristic. The ultrastructure and function of the silk-producing basitarsus from one undescribed morphospecies of Hilarini, 'Hilarempis 20', is presented. Male H. 20 collect small parcels of diatomaceous algae from the surface of freshwater creeks that they bind with silk produced by the gland in the basitarsus. The gift is then presented to females in a nearby swarm, composed predominately of females. The basitarsus houses approximately 12 pairs of class III dermal glandular units that congregate on the ventral side of the cavity. Each gland cell has a large extracellular lumen where secretion accumulates. The lumen drains to the outside via a conducting canal encompassed by a canal cell and a duct extending through the shaft of a specialised secretory spine. The secretory spines lie in pairs in a ventral groove that runs the length of the basitarsus. A comparison of the basitarsal secretory spines with sensilla on the basitarsi of non gland-bearing legs of males, and with non gland-bearing prothoracic. basitarsi of females, suggests that the glandular units are derived from contact chemosensory sensilla. (C) 2003 Elsevier Ltd. All rights reserved.

Physical Activity and Bone Mineral Accrual During Childhood and Adolescence

The epidemic that is osteoporosis has led to an increasing interest in bone mineral, and the factors that influence the levels of bone mineral, in recent years. While it is unrealistic to try and turn back the clock, a return to an increased level of physical activity may be an important consideration in terms of skeletal health. Peak bone mass is largely determined by heredity, but lifestyle and dietary patterns also influence the level of bone mineral accrued during the growing years. In this review, we summarize the evidence that vigorous weight-bearing physical activity and adequate calcium intake represent the best possibility for enhancing the attainment of an optimal level of bone mineral, within genetic limits.

Synthesis and complexation properties of some novel lariat-crown ethers

Several new lariat-crown ethers bearing either bridged bisdioxine or tetraoxaadamantane units as chiral substituents are prepared by reacting the corresponding amino-crown ether derivatives with the dimeric alpha-oxoketene, the latter obtained by flash vacuum pyrolysis of a furan-2,3-dione precursor. Complexation properties towards differently charged metal ions are investigated by H-1 NMR titration to obtain complexation constants (K-c-values for potassium/ sodium rhodanides: 480-1100 mol dm(-3)), as well as extraction experiments to explore the metal ion transportation abilities of the new lariat crown derivatives. In particular, a significantly increased ability to transport metal ions from water into chloroform was found with spherical tetraoxaadamantyl derivatives when compared with the free amino-benzocrown ethers.

A role for pectin in the control of cell expansion

Uptake of nutrients and water depends on the growth of roots through elongation of individual cells near the. root tip. Many of the numerous components of Type I primary cell walls, those of dicotyledons and monocotyledons other than grasses (Poaceae), have been determined, and many hypotheses have been proposed for the control of cell expansion. This important aspect of plant growth still needs elucidation, however. A model is proposed in which pectin, which occurs as a calcium (Ca) pectate gel between the load-bearing cellulose microfibrils and xyloglucan (XG) chains, controls the rate at which cells expand. It is considered that the increasing tension generated by the expanding cell is transmitted to interlocked XG chains and cellulose microfibrils. The resulting deformation of the embedded Ca pectate gel elicits the excretion of protons from the cytoplasm, possibly via compounds such as cell wall-associated kinases, that weakens the Ca pectate gel, permitting slippage of XG molecules through the action of expansin. Further slippage is prevented by deformation of the pectic gel, proton diffusion, and the transfer of residual tension to adjacent XG chains. Evidence for this model is based on the effects of pH, Ca, and aluminum (Al) on root elongation and on the reactions of these cations with Ca pectate. This model allows for genetic selection of plants and adaptation of individual plants to root environmental conditions.

Role of HuR in skeletal myogenesis through coordinate regulation of muscle differentiation genes

In this report, we investigate the role of the RNA-binding protein HuR during skeletal myogenesis. At the onset of myogenesis in differentiating C2C12 myocytes and in vivo in regenerating mouse muscle, HuR cytoplasmic abundance increased dramatically, returning to a predominantly nuclear presence upon completion of myogenesis. mRNAs encoding key regulators of myogenesis-specific transcription (myogenin and MyoD) and cell cycle withdrawal (p21), bearing AU-rich regions, were found to be targets of HuR in a differentiation-dependent manner. Accordingly, mRNA half-lives were highest during differentiation, declining when differentiation was completed. Importantly, HuR-overexpressing C2C12 cells displayed increased target mRNA expression and half-life and underwent precocious differentiation. Our findings underscore a critical function for HuR during skeletal myogenesis linked to HuR's coordinate regulation of muscle differentiation genes.

A global health problem caused by arsenic from natural sources

Arsenic is a carcinogen to both humans and animals. Arsenicals have been associated with cancers of the skin, lung, and bladder. Clinical manifestations of chronic arsenic poisoning include non-cancer end point of hyper- and hypo-pigmentation, keratosis, hypertension, cardiovascular diseases and diabetes. Epidemiological evidence indicates that arsenic concentration exceeding 50 mug l(-1) in the drinking water is not public health protective. The current WHO recommended guideline value for arsenic in drinking water is 10 mug l(-1), whereas many developing countries are still having a value of 50 mug 1(-1). It has been estimated that tens of millions of people are. at risk exposing to excessive levels of arsenic from both contaminated water and arsenic-bearing coal from natural sources. The global health implication and possible intervention strategies were also discussed in this review article. (C) 2003 Elsevier Ltd. All rights reserved.

Photon-added detection

The production of conditional quantum states and quantum operations based on the result of measurement is now seen as a key tool in quantum information and metrology. We propose a different type of photon number detector. It functions nondeterministically, but when successful, it has high fidelity. The detector, which makes use of an n-photon auxiliary Fock state and high efficiency homodyne detection, allows a tunable trade-off between fidelity and probability. By sacrificing probability of operation, an excellent approximation to a photon-number detector is achieved.