Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

Renal and hepatic accumulation of cadmium and lead in the expression of CYP4F2 and CYP2E1

The present study examined accumulation of the metal toxins cadmium (Cd) and lead (Pb) in relation to the abundance of cytochrome P450 4F2 (CYP4F2), CYP2E1 and concentrations of zinc and copper in liver and kidney samples using immunoblotting coupled with metal analysis. The post mortem liver and kidney cortex samples were from 23 males and 8 females aged 3-89 years. All were Caucasians who had not been exposed to metals in the workplace. Average kidney cortex Cd load of 17.4 mu g/g w.w. was 17 times greater than average liver Cd load (1.1 mu g/g w.w.). In contrast, average kidney cortex Ph load of 0.09 mu g/g w.w. was two times lower than liver Pb load of 0.19 mu g/g w.w. Average Zn and Cu concentrations in the kidney cortex samples were 67% and 33% lower than those in the liver. Liver and kidney Cd loads, but not liver or kidney Ph loads, correlated positively with donors' age. After controlling for liver Cd load, an inverse correlation was seen between Zn and age (partial r = -0.39, P = 0.02), suggesting reduction in liver Zn levels in old age. Liver CYP2E1 protein abundance correlated with age-adjusted Cd load (partial r = 0.37, P = 0.02) whereas kidney CYP4172 protein abundance showed a positive correlation with age-adjusted Cd loads (partial r = 0.40, P = 0.02). These findings suggest that Cd may be an inducer of renal CYP4172 and hepatic CYP2E1 and that increased renal CYP4172 expression may implicate in Cd-linked renal tubular dysfunction and high blood pressure, involving CYP4F2-dependent arachidonic acid metabolism. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Cadmium-induced nephropathy in the development of high blood pressure

In recognition of a central role of the kidney in long-term blood pressure control, we undertook an in-depth analysis of the relationship between blood pressure and kidney damage caused by environmental exposure to the common pollutants cadmium and lead. The subjects were 200 healthy Thais, 16 and 60 years of age (100 female non-smokers, 53 male non-smokers, and 47 male smokers). None of these subjects had been exposed to Cd or Pb in the workplace and their urinary Cd concentrations ranged from 0.4 to 37 nM, whereas their urinary Pb concentrations ranged from 0.1 to 30 nM. The prevalence of high blood pressure was 2%, 8% and 19%, respectively in subjects with low, average and high Cd-burden (linear trend chi(2) = 6.4, P = 0.01). Multiple regression analysis revealed a significant positive association between Cd-burden and blood pressure in male nonsmokers (adjusted beta = 0.31, P = 0.02) and an inverse association between blood pressure and urinary Pb excretion rate in male smokers (adjusted beta = -0.38, P = 0.005). Associations between Cd-burden and nephropathies were evidenced by increases in urinary excretion of beta 2-microglobutin (P = 0.02) and N-acetyl-beta-D-glucosaminidase (P = 0.005) in subjects with high Cd-burden, compared with the subjects with average Cd-burden. In addition, an association between Cd-related nephropathy and high blood pressure was evidenced by a 20% increase in the prevalence of high blood pressure in people with NAG-uria (linear trend chi(2) = 4.3, P = 0.04). Our present study provides first evidence for a possible link between renal tubular damage and dysfunction caused by environmental Cd exposure and increased risk of high blood pressure. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Proteins in the saliva of the Ixodida (ticks): Pharmacological features and biological significance

The saliva of ticks (Suborder Ixodida) is critical to their survival as parasites. A tick bite should result in strong responses from the host defence systems (haemostatic, immune and inflammatory) but tick saliva appears to have evolved to counter these responses. We review current knowledge of tick saliva components, with emphasis on those molecules confirmed to be present in the secreted saliva but including some that have only been confirmed to be present in salivary glands. About 50 tick saliva proteins that are well described in the literature are discussed. These saliva components include enzymes, enzyme inhibitors, amine-binding proteins and cytokine homologues that act as anti-haemostatic, anti-inflammatory or immuno-modulatory agents. Sequence comparisons are illustrated. The importance of tick saliva and the significance of the findings to date are also discussed. (C) 2006 Elsevier Ltd. All rights reserved.

Salicylic acid mediates resistance to the vascular wilt pathogen Fusarium oxysporum in the model host Arabidopsis thaliana

Fusarium oxysporum is a soilborne fungal pathogen that causes major economic losses by inducing necrosis and wilting symptoms in many crop plants. In this study, the interaction between F. oxysporum and the model plant Arabidopsis thaliana has been investigated to better understand the nature of host defences that are effective against the Fusarium wilt pathogen. The expression of salicylate- and jasmonate-responsive defence genes in F. oxysporum-challenged roots of A. thaliana plants as well as in the roots of plants whose leaves were treated with salicylate or jasmonate was analysed. Unexpectedly, genes (e.g. PR1, PDF1.2, and CHIB) encoding proteins with defensive functions or transcription factors (e.g. ERF1, AtERF2, AtERF4 and AtMYC2) known to positively or negatively regulate defences against F. oxysporum were not activated in F. oxysporum-inoculated roots. In contrast, the jasmonate-responsive defence gene PDF1.2 was induced in the leaves of plants whose roots were challenged with F. oxysporum, but the salicylate- responsive PR1 gene was not induced in the leaves of inoculated plants. Exogenous salicylic acid treatment prior to inoculation, however, activated PR1 and BGL2 defence gene expression in leaves and provided increased F. oxysporum resistance as evidenced by reduced foliar necrosis and plant death. Exogenous salicylic acid treatment of the foliar tissue did not activate defence gene expression in the roots of plants. This suggests that salicylate- dependent defences may function in foliar tissue to reduce the development of pathogen-induced wilting and necrosis. Despite the induction of defence gene expression in the leaves by jasmonate, this treatment did not lead to increased resistance to F. oxysporum. Overall, the results presented here suggest that the genetic manipulation of plant defence signalling pathways is a useful strategy to provide increased Fusarium wilt resistance.

Work at hand: an exploration of gesture in the context of work and everyday life to inform the design of gestural input devices

This research explores gestures used in the context of activities in the workplace and in everyday life in order to understand requirements and devise concepts for the design of gestural information appliances. A collaborative method of video interaction analysis devised to suit design explorations, the Video Card Game, was used to capture and analyse how gesture is used in the context of six different domains: the dentist's office; PDA and mobile phone use; the experimental biologist's laboratory; a city ferry service; a video cassette player repair shop; and a factory flowmeter assembly station. Findings are presented in the form of gestural themes, derived from the tradition of qualitative analysis but bearing some similarity to Alexandrian patterns. Implications for the design of gestural devices are discussed.

Personality disorders in the community: Results from the Australian National Survey of Mental Health and Well-Being Part III - Relationships between specific type of personality disorder, Axis 1 mental disorders and physical conditions with disability and health consultations

Background The aims of this study were threefold. First, to ascertain whether personality disorder (PD) was a significant predictor of disability (as measured in a variety of ways) over and above that contributed by Axis I mental disorders and physical conditions. Second, whether the number of PD diagnoses given to an individual resulted in increasing severity of disability, and third, whether PD was a significant predictor of health and mental health consultations with GPs, psychiatrists, and psychologists, respectively, over the last 12 months. Method Data were obtained from the National Survey of Mental Health and Wellbeing, conducted between May and August 1997. A stratified random sample of households was generated, from which all those aged 18 and over were considered potential interviewees. There were 10 641 respondents to the survey, and this represented a response rate of 78%. Each interviewee was asked questions indexing specific ICD-10 PD criteria. Results Five measures of disability were examined. It was found that PD was a significant predictor of disability once Axis I and physical conditions were taken into account for four of the five disability measures. For three of the dichotomously-scored disability measures, odds ratios ranged from 1.88 to 6.32 for PD, whilst for the dimensionally-scored Mental Summary Subscale of the SF-12, a beta weight of -0.17 was recorded for PD. As regards number of PDs having a quasi-linear relationship to disability, there was some indication of this on the SF-12 Mental Summary Subscale and the two role functioning measures, and less so on the other two measures. As regards mental consultations, PD was a predictor of visits to GPs, psychiatrists and psychologists, over and above Axis I disorders and physical conditions. Conclusion The study reports findings from a nationwide survey conducted within Australia and as such the data are less influenced by the selection and setting bias inherent in other germane studies. However, it does support previous findings that PD is a significant predictor of disability and mental health consultations independent of Axis I disorders and physical conditions.

How does the health and well-being of young Australian vegetarian and semi-vegetarian women compare with non-vegetarians?

Objective: To compare the sociodemographic characteristics, health status and health service use of vegetarians, semi-vegetarians and non-vegetarians. Design: In cross-sectional data analyses of the Australian Longitudinal Study on Women's Health in 2000, 9113 women (aged 22-27 years) were defined as non-vegetarians if they reported including red meat in their diet., as semi-vegetarians if they excluded red meat and as vegetarians if they excluded meat, poultry and fish from their diet. Results: The estimated prevalence was 3% and 10% for vegetarian and semi-vegetarian young women. Compared with non-vegetarians, vegetarians and semi-vegetarians were more likely to live in urban areas and to not be married. Vegetarians and semi-vegetarians had lower body mass index (mean (95% confidence interval): 22.2 (21.7-22.7) and 23.0 (22.7-23.3) kg m(-2)) than non-vegetarians (23.7 (23.6-23.8) kg m(-2)) and tended to exercise more. Semi-vegetarians and vegetarians had poorer mental health, with 21-22% reporting depression compared with 15% of non-vegetarians (P < 0.001). Low iron levels and menstrual symptoms were also more common in both vegetarian groups. Vegetarian and semi-vegetarian women were more likely to consult alternative health practitioners and semi-vegetarians reported taking more prescription and non-prescription medications. Compared with non-vegetarians, semi-vegetarians were less likely and vegetarians much less likely to be taking the oral contraceptive pill. Conclusion: The levels of physical activity and body mass indices of the vegetarian and semi-vegetarian women suggest they are healthier than non-vegetarians. However, the greater reports of menstrual problems and the poorer mental health of these young women may be of clinical significance.