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.

Evidence for a QTL on chromosome 19 influencing LDL cholesterol levels in the general population

The genetic basis of cardiovascular disease (CVD) with its complex etiology is still largely elusive. Plasma levels of lipids and apolipoproteins are among the major quantitative risk factors for CVD and are well-established intermediate traits that may be more accessible to genetic dissection than clinical CVD end points. Chromosome 19 harbors multiple genes that have been suggested to play a role in lipid metabolism and previous studies indicated the presence of a quantitative trait locus (QTL) for cholesterol levels in genetic isolates. To establish the relevance of genetic variation at chromosome 19 for plasma levels of lipids and apolipoproteins in the general, out-bred Caucasian population, we performed a linkage study in four independent samples, including adolescent Dutch twins and adult Dutch, Swedish and Australian twins totaling 493 dizygotic twin pairs. The average spacing of short-tandem-repeat markers was 6 - 8 cM. In the three adult twin samples, we found consistent evidence for linkage of chromosome 19 with LDL cholesterol levels ( maximum LOD scores of 4.5, 1.7 and 2.1 in the Dutch, Swedish and Australian sample, respectively); no indication for linkage was observed in the adolescent Dutch twin sample. The QTL effects in the three adult samples were not significantly different and a simultaneous analysis of the samples increased the maximum LOD score to 5.7 at 60 cM pter. Bivariate analyses indicated that the putative LDL-C QTL also contributed to the variance in ApoB levels, consistent with the high genetic correlation between these phenotypes. Our study provides strong evidence for the presence of a QTL on chromosome 19 with a major effect on LDL-C plasma levels in outbred Caucasian populations.

A comparison of model laws as a starting point for the development of an enforceable international consumer protection regime

This article is concerned primarily with an examination and comparison of select aspects of the model international consumer protection laws proposed by the United Nations (UN), the European Union (EU), and the Organisation for Economic Co-operation and Development (OECD), using the Trade Practices Act 1974 (Australia) as a basis for examination and comparison. As a secondary consideration, it also broadly examines the content of, and differences between, the model laws. The motive for this article is that any future enforceable international consumer protection regime (possibly in the form of an international treaty or convention) would need to take into account the UN, EU and OECD guidelines. A cross-comparison of those model laws, and a comparison of them with the consumer protection provisions of a well established national consumer protection law, should provide a useful starting point for the development of such a regime. The 'select aspects' of the model laws in question are the various provisions of those laws which could relate to situations involving the wrong delivery or non-delivery of goods.

Conformational changes in SP-B as a function of surface pressure

X-ray reflectivity of bovine and sheep surfactant-associated protein B (SP-B) monolayers is used in conjunction with pressure-area isotherms and protein models to suggest that the protein undergoes changes in its tertiary structure at the air/water interface under the influence of surface pressure, indicating the likely importance of such changes to the phenomena of protein squeeze out as well as lipid exchange between the air-water interface and subphase structures. We describe an algorithm based on the well-established box- or layer-models that greatly assists the fitting of such unknown scattering-length density profiles, and which takes the available instrumental resolution into account. Scattering-length density profiles from neutron reflectivity of bovine SP-B monolayers on aqueous subphases are shown to be consistent with the exchange of a large number of labile protons as well as the inclusion of a significant amount of water, which is partly squeezed out of the protein monolayer at elevated surface pressures.