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.

Localization of a novel melanoma susceptibility locus to 1p22

Over the past 20 years, the incidence of cutaneous malignant melanoma (CMM) has increased dramatically worldwide. A positive family history of the disease is among the most established risk factors for CMM; it is estimated that 10% of CMM cases result from an inherited predisposition. Although mutations in two genes, CDKN2A and CDK4, have been shown to confer an increased risk of CMM, they account for only 20%-25% of families with multiple cases of CMM. Therefore, to localize additional loci involved in melanoma susceptibility, we have performed a genomewide scan for linkage in 49 Australian pedigrees containing at least three CMM cases, in which CDKN2A and CDK4 involvement has been excluded. The highest two-point parametric LOD score (1.82; recombination fraction [theta] 0.2) was obtained at D1S2726, which maps to the short arm of chromosome 1 (1p22). A parametric LOD score of 4.65 (theta = 0) and a nonparametric LOD score of 4.19 were found at D1S2779 in nine families selected for early age at onset. Additional typing yielded seven adjacent markers with LOD scores 13 in this subset, with the highest parametric LOD score, 4.95 (theta = 0) ( nonparametric LOD score 5.37), at D1S2776. Analysis of 33 additional multiplex families with CMM from several continents provided further evidence for linkage to the 1p22 region, again strongest in families with the earliest mean age at diagnosis. A nonparametric ordered sequential analysis was used, based on the average age at diagnosis in each family. The highest LOD score, 6.43, was obtained at D1S2779 and occurred when the 15 families with the earliest ages at onset were included. These data provide significant evidence of a novel susceptibility gene for CMM located within chromosome band 1p22.

Influence of ageing, heat shock treatment and in vivo total antioxidant status on gene-expression profile and protein synthesis in human peripheral lymphocytes

Ageing results in a progressive, intrinsic and generalised imbalance of the control of regulatory systems. A key manifestation of this complex biological process includes the attenuation of the universal stress response. Here we provide the first global assessment of the ageing process as it affects the heat shock response, utilising human peripheral lymphocytes and cDNA microarray analysis. The genomic approach employed in our preliminary study was supplemented with a proteomic approach. In addition, the current study correlates the in vivo total antioxidant status with the age-related differential gene expression as well as the translational kinetics of heat shock proteins (hsps). Most of the genes encoding stress response proteins on the 4224 element microarray used in this study were significantly elevated after heat shock treatment of lymphocytes obtained from both young and old individuals albeit to a greater extent in the young. Cell signaling and signal transduction genes as well as some oxidoreductases showed varied response. Results from translational kinetics of induction of major hsps, from 0 to 24 It recovery period were broadly consistent with the differential expression of HSC 70 and HSP 40 genes. Total antioxidant levels in plasma from old individuals were found to be significantly lower by comparison with young, in agreement with the widely acknowledged role of oxidant homeostasis in the ageing process. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

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.

A longitudinal analysis of sex differences in bone mineral accrual in healthy 8-19-year-old boys and girls

Background: Although early in life there is little discernible difference in bone mass between boys and girls, at puberty sex differences are observed. It is uncertain if these differences represent differences in bone mass or just differences in anthropometric dimensions. Aim: The study aimed to identify whether sex independently affects bone mineral content (BMC) accrual in growing boys and girls. Three sites are investigated: total body (TB), femoral neck (FN) and lumbar spine (LS). Subjects and methods: 85 boys and 67 girls were assessed annually for seven consecutive years. BMC was assessed by dual energy X-ray absorptiometry (DXA). Biological age was defined as years from age at peak height velocity (PHV). Data were analysed using a hierarchical (random effects) modelling approach. Results: When biological age, body size and body composition were controlled, boys had statistically significantly higher TB and FN BMC at all maturity levels (p < 0.05). No independent sex differences were found at the LS (p > 0.05). Conclusion: Although a statistical significant sex effect is observed, it is less than the error of the measurement, and thus sex difference are debatable. In general, sex difference are explained by anthropometric difference

Human melanoblasts in culture: Expression of BRN2 and synergistic regulation by fibroblast growth factor-2, stem cell factor, and endothelin-3

The BRN2 transcription factor (POU3F2, N-Oct-3) has been implicated in development of the melanocytic lineage and in melanoma. Using a low calcium medium supplemented with stem cell factor, fibroblast growth factor-2, endothelin-3 and cholera toxin, we have established and partially characterised human melanocyte precursor cells, which are unpigmented, contain immature melanosomes and lack L-dihydroxyphenylalanine reactivity. Melanoblast cultures expressed high levels of BRN2 compared to melanocytes, which decreased to a level similar to that of melanocytes when cultured in medium that contained phorbol ester but lacked endothelin-3, stem cell factor and fibroblast growth factor-2. This decrease in BRN2 accompanied a positive L-dihydroxyphenylalanine reaction and induction of melanosome maturation consistent with melanoblast differentiation seen during development. Culture of primary melanocytes in low calcium medium supplemented with stem cell factor, fibroblast growth factor-2 and endothelin-3 caused an increase in BRN2 protein levels with a concomitant change to a melanoblast-like morphology. Synergism between any two of these growth factors was required for BRN2 protein induction, whereas all three factors were required to alter melanocyte morphology and for maximal BRN2 protein expression. These finding implicate BRN2 as an early marker of melanoblasts that may contribute to the hierarchy of melanocytic gene control.

Dietary interactions influence the effects of bovine folate-binding protein on the bioavailability of tetrahydrofolates in rats

The newborns of mammals have a high folate demand, yet obtain adequate folate nutrition solely from their mothers' milk despite its low folate content. Milk folate is entirely bound by an excess of folate-binding protein (FBP), prompting speculation that FBP may affect the bioavailability of the limited folate supply. Previous research has shown that FBP-bound folic acid is more gradually absorbed, thereby reducing the peak plasma folate concentration and preventing loss into the urine. Natural folates are reduced derivatives of folic acid, with milk predominantly containing 5-methyltetrahydrofolate, yet little research has been carried out to determine the role of FBP in the bioavailability of reduced folates. We studied the effect of FBP on folate nutrition of rats in both single-dose and 4-wk feeding experiments. The effect of FBP was influenced by the presence of other milk components. FBP increased bioavailability of dietary folate when it was consumed with other whey proteins or with soluble casein. However, in the presence of acid-precipitated casein or a whey preparation enriched in lipids, bioavailability was decreased. These results highlight the difficulties of extrapolating from experimental results obtained using purified diets alone and of studying interactions among dietary components. They suggest that the addition of FBP-rich foods to folate-rich foods could enhance the bioavailability of natural folates, but that the outcome of such a combination would depend on interactions with other components of the diet.