Temporal and spatial transcriptional programs in murine kidney development

We have performed a systematic temporal and spatial expression profiling of the developing mouse kidney using Compugen long-oligonucleotide microarrays. The activity of 18,000 genes was monitored at 24-h intervals from 10.5-day-postcoitum (dpc) metanephric mesenchyme (MM) through to neonatal kidney, and a cohort of 3,600 dynamically expressed genes was identified. Early metanephric development was further surveyed by directly comparing RNA from 10.5 vs. 11.5 vs. 13.5dpc kidneys. These data showed high concordance with the previously published dynamic profile of rat kidney development (Stuart RO, Bush KT, and Nigam SK. Proc Natl Acad Sci USA 98: 5649-5654, 2001) and our own temporal data. Cluster analyses were used to identify gene ontological terms, functional annotations, and pathways associated with temporal expression profiles. Genetic network analysis was also used to identify biological networks that have maximal transcriptional activity during early metanephric development, highlighting the involvement of proliferation and differentiation. Differential gene expression was validated using whole mount and section in situ hybridization of staged embryonic kidneys. Two spatial profiling experiments were also undertaken. MM (10.5dpc) was compared with adjacent intermediate mesenchyme to further define metanephric commitment. To define the genes involved in branching and in the induction of nephrogenesis, expression profiling was performed on ureteric bud (GFP+) FACS sorted from HoxB7-GFP transgenic mice at 15.5dpc vs. the GFP- mesenchymal derivatives. Comparisons between temporal and spatial data enhanced the ability to predict function for genes and networks. This study provides the most comprehensive temporal and spatial survey of kidney development to date, and the compilation of these transcriptional surveys provides important insights into metanephric development that can now be functionally tested.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Financial aspects of heart failure programs of care

As suggested by studies that have examined the economic burden imposed by heart failure and, more specifically where the greatest expenditure occurs, the key to cost-effectively minimising the impact of a sustained heart failure epidemic is to minimise recurrent hospital use-even at the expense of increasing levels of community-based care and prescribed pharmacotherapy [Mark DB. Economics of treating heart failure. Am J Cardiol 1997;80:33H-38H; Weintraub WS, Cole J, Tooley JF. Cost and cost-effectiveness studies in heart failure research. Am Heart J 2002;143:565-76]. This paper examines the potential cost-benefits of applying specialist heart failure programs of care and the range of financial issues that need to be considered when establishing a formal heart failure service. (C) 2005 European Society of Cardiology. Published by Elsevier B.V.

Community-based programs to promote care seat restraints in children 0-16 years - A systematic review

Study Objective: Community-based models for injury prevention have become an accepted part of the overall injury control strategy. This systematic review of the scientific literature examines the evidence for their effectiveness in reducing injury due to inadequate car seat restraint use in children 0-16 years of age. Methods: A comprehensive search of the literature was performed using the following study selection criteria: community-based intervention study: target population was children aged 0-16 years of age; outcome measure was either injury rates due to motor vehicle crashes or observed changes in child restraint use; and use of community control or historical control in the study design. Quality assessment and data abstraction was guided by a standardized procedure and performed independently by two authors. Data synthesis was in tabular and text form with meta-analysis not being possible due to the discrepancy in methods and measures between the studies. Results: This review found eight studies, that met all the inclusion criteria. In the studies that measured injury outcomes, significant reductions in risk of motor vehicle occupant injury (33-55%) were reported in the study communities. For those studies reporting observed car seat restraint use the community-based programs were successful in increasing toddler restraint use in 1-5 year aged children by up to 11%; child booster seat use in 4-8 year aged children by up to 13%; rear restraint use in children aged 0-15 years by 8%; a 50% increase in restraint use in pre-school aged children in a high-risk community; and a 44% increase in children aged 5-11 years. Conclusion: While this review highlights that there is some evidence to support the effectiveness of community-based programs to promote car restraint use and/or motor vehicle occupant injury, limitations in the evaluation methodologies of the studies requires the results to be interpreted with caution. There is clearly a need for further high quality program evaluation research to develop an evidence base. (C) 2004 Elsevier Ltd. All rights reserved.

Adolescents' reactions to universal and indicated prevention programs for depression: Perceived stigma and consumer satisfaction

There is a common view that one of the major considerations in selecting between universal and indicated interventions is the marked stigma produced by the latter. However, to date there has been no empirical examination of this assumption. The current study examined reported stigma and program satisfaction following two school-based interventions aimed at preventing depression in 532 middle adolescents. The interventions were conducted either across entire classes by classroom teachers (universal delivery) or in small high risk groups by mental health professionals (indicated delivery). The indicated delivery was associated with significantly greater levels of perceived stigma, but effect sizes were small and neither program was associated with marked stigma in absolute terms. Perceived stigma was more strongly associated with aspects of the individual including being male and showing greater externalizing symptomatology. In contrast, the indicated program was evaluated more positively by both participants and program leaders and effect sizes for these measures of satisfaction were moderate to large. The results point to the need for further empirical evaluation of both perceived stigma and program satisfaction in providing balanced considerations of the value of indicated and universal programs.

Retention, adherence and compliance: Important considerations for home- and group-based resistance training programs for older adults

Reports on the efficacy of physical activity intervention trials usually only include discussion of the primary outcomes. However, assessing factors such as participant retention, adherence and compliance can assist in the accurate interpretation of the overall impact of a program in terms of reach and appeal. A quasi-randomised trial was carried out to assess and compare retention and adherence rates, and compliance with, a twice weekly resistance training program provided either individually at home or in a group format. Retirement villages (n=6) were assigned to either 'Have A Try' (HAT, home-based) or 'Come Have A Try' (CHAT, group-based); both programs included nine strength and two balance exercises. The program involved a 20-week Intervention Phase a 24-week Maintenance Phase and a 20-week On-going Maintenance Phase. One hundred and nineteen participants (mean age 80 +/- 6 years) were recruited (HAT = 38, CHAT = 81). There was no difference in retention rates at the end of the Intervention Phase, but significantly more HAT than CHAT participants had dropped out of the study (p < 0.01) after the Maintenance Phase and the On-going Maintenance Phase. During the Intervention Phase, over half the HAT and CHAT participants completed >= 75% of the prescribed activity sessions, but adherence was significantly greater in CHAT than HAT during the Maintenance Phase (p < 0.01). Participants in CHAT were significantly more compliant than HAT participants (p < 0.05). Both home- and group-based formats were successful over the short-term, but, in retirement villages, the group program had better adherence and compliance in the longer-term. (c) 2006 Sports Medicine Australia. Published by Elsevier Ltd. All rights reserved.

Distillability of Werner states using entanglement witnesses and robust semidefinite programs

We use robust semidefinite programs and entanglement witnesses to study the distillability of Werner states. We perform exact numerical calculations that show two-undistillability in a region of the state space, which was previously conjectured to be undistillable. We also introduce bases that yield interesting expressions for the distillability witnesses and for a tensor product of Werner states with an arbitrary number of copies.

Student expectations of TESOL programs: Student and teacher perspectives

Most practitioners teaching English to speakers of other languages (TESOL) will agree that students come with some expectations about course content and teaching methodology and that these expectations play a vital role in student motivation and learning. However, the study of student expectations has been a surprising omission from Second Language Acquisition research. In the studies reported here, the authors develop a model of student expectations by adapting the Expectation Disconfirmation paradigm, widely used in consumer psychology. Student and teacher perspectives on student expectations were gathered by interviews. Responses shed light on the nature of expectations, factors causing expectations and effects of expectation fulfilment (or lack of it). The findings provide new avenues for research on affective factors as well as clarify some ambiguities in motivational research in second language acquisition. The model presented here can be used by teachers or institutions to conduct classroom-based research, thus optimising students' learning and performance, and enhancing student morale.

Progress in deriving concurrent programs: Emphasizing the role of stable guards

We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.