Real-time PCR in the microbiology laboratory

Use of PCR in the field of molecular diagnostics has increased to the point where it is now accepted as the standard method for detecting nucleic acids from a number of sample and microbial types. However, conventional PCR was already an essential tool in the research laboratory. Real-time PCR has catalysed wider acceptance of PCR because it is more rapid, sensitive and reproducible, while the risk of carryover contamination is minimised. There is an increasing number of chemistries which are used to detect PCR products as they accumulate within a closed reaction vessel during real-time PCR. These include the non-specific DNA-binding fluorophores and the specific, fluorophore-labelled oligonucleotide probes, some of which will be discussed in detail. It is not only the technology that has changed with the introduction of real-time PCR. Accompanying changes have occurred in the traditional terminology of PCR, and these changes will be highlighted as they occur. Factors that have restricted the development of multiplex real-time PCR, as well as the role of real-time PCR in the quantitation and genotyping of the microbial causes of infectious disease, will also be discussed. Because the amplification hardware and the fluorogenic detection chemistries have evolved rapidly, this review aims to update the scientist on the current state of the art. Additionally, the advantages, limitations and general background of real-time PCR technology will be reviewed in the context of the microbiology laboratory.

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.

Using circular statistics to analyse time patterns in crime incidence

A set of techniques referred to as circular statistics has been developed for the analysis of directional and orientational data. The unit of measure for such data is angular (usually in either degrees or radians), and the statistical distributions underlying the techniques are characterised by their cyclic nature-for example, angles of 359.9 degrees are considered close to angles of 0 degrees. In this paper, we assert that such approaches can be easily adapted to analyse time-of-day and time-of-week data, and in particular daily cycles in the numbers of incidents reported to the police. We begin the paper by describing circular statistics. We then discuss how these may be modified, and demonstrate the approach with some examples for reported incidents in the Cardiff area of Wales. (c) 2005 Elsevier Ltd. All rights reserved.

Caregiver burden, time spent caring and health status in the first 12 months following stroke

Objective: To quantify time caring, burden and health status in carers of stroke patients after discharge from rehabilitation; to identify the potentially modifiable sociodemographic and clinical characteristics associated with these outcomes. Methods: Patients and carers prospectively interviewed 6 (n = 71) and 12 (n = 57) months after discharge. Relationships of carer and patient variables with burden, health status and time analysed by Gaussian and Poisson regression. Results: Carers showed considerable burden at 6 and 12 months. Carers spent 4.6 and 3.6 hours per day assisting patients with daily activities at 6 and 12 months, respectively. Improved patient motor and cognitive function were associated with reductions of up to 20 minutes per day in time spent in daily activities. Better patient mental health and cognitive function were associated with better carer mental health. Conclusions: Potentially modifiable factors such as these may be able to be targeted by caregiver training, support and education programmes and outpatient therapy for patients.

Making decisions with the future in mind: Developmental and comparative identification of mental time travel

Mechanisms that produce behavior which increase future survival chances provide an adaptive advantage. The flexibility of human behavior is at least partly the result of one such mechanism, our ability to travel mentally in time and entertain potential future scenarios. We can study mental time travel in children using language. Current results suggest that key developments occur between the ages of three to five. However, linguistic performance can be misleading as language itself is developing. We therefore advocate the use of methodologies that focus on future-oriented action. Mental time travel required profound changes in humans' motivational system, so that current behavior could be directed to secure not just present, but individually anticipated future needs. Such behavior should be distinguishable from behavior based on current drives, or on other mechanisms. We propose an experimental paradigm that provides subjects with an opportunity to act now to satisfy a need not currently experienced. This approach may be used to assess mental time travel in nonhuman animals. We conclude by describing a preliminary study employing an adaptation of this paradigm for children. (c) 2005 Elsevier Inc. All rights reserved.

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.

A stochastic metapopulation model accounting for habitat dynamics

A stochastic metapopulation model accounting for habitat dynamics is presented. This is the stochastic SIS logistic model with the novel aspect that it incorporates varying carrying capacity. We present results of Kurtz and Barbour, that provide deterministic and diffusion approximations for a wide class of stochastic models, in a form that most easily allows their direct application to population models. These results are used to show that a suitably scaled version of the metapopulation model converges, uniformly in probability over finite time intervals, to a deterministic model previously studied in the ecological literature. Additionally, they allow us to establish a bivariate normal approximation to the quasi-stationary distribution of the process. This allows us to consider the effects of habitat dynamics on metapopulation modelling through a comparison with the stochastic SIS logistic model and provides an effective means for modelling metapopulations inhabiting dynamic landscapes.

Dark periods and revivals of entanglement in a two-qubit system

In a recent paper Yu and Eberly [Phys. Rev. Lett. 93, 140404 (2004)] have shown that two initially entangled and afterward not interacting qubits can become completely disentangled in a finite time. We study transient entanglement between two qubits coupled collectively to a multimode vacuum field, assuming that the two-qubit system is initially prepared in an entangled state produced by the two-photon coherences, and find the unusual feature that the irreversible spontaneous decay can lead to a revival of the entanglement that has already been destroyed. The results show that this feature is independent of the coherent dipole-dipole interaction between the atoms but it depends critically on whether or not collective damping is present.

Gender, computing and the organisation of working time: public/private comparisons in the Australian context

Professional computing employment in Australia, as in most advanced economies, is highly sex segregated, reflecting well-rehearsed ideas about the masculinity of technology and computing culture. In this paper we are concerned with the processes of work organisation that sustain and reproduce this gendered occupational distribution, focusing in particular on differences and similarities in working-time arrangements between public and private sectors in the Australian context. While information technology companies are often highly competitive workplaces with individualised working arrangements, computing professionals work in a wide range of organisations with different regulatory histories and practices. Our goal is to investigate the implications of these variations for gender equity outcomes, using the public/private divide as indicative of different regulatory frameworks. We draw on Australian census data and a series of organisational case studies to compare working-time arrangements in professional computing employment across sectors, and to examine the various ways employees adapt and respond. Our analysis identifies a stronger ‘long hours culture’ in the private sector, but also underlines the rarity of part-time work in both sectors, and suggests that men and women tend to respond in different ways to these constraints. Although the findings highlight the importance of regulatory frameworks, the organisation of working time across sectors appears to be sustaining rather than challenging gender inequalities in computing employment.