API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

The regulation of complementary health: sacrificing integrity?

In response to the increasing use of complementary and alternative medicine (CAM), governments are exploring ways to ensure patients' safety and respond to complaints. One solution is to establish registration boards and procedures based on the model of existing health practitioner Acts. Registration will require defined minimum standards for competence, which will have to be based on scientific evidence. As scientific evidence accumulates, these modalities are likely to lose their identities as alternative and become assimilated into Western medicine.

SPAnDX: a process-based population dynamics model to explore management and climate change impacts on an invasive alien plant, Acacia nilotica

This paper describes a process-based metapopulation dynamics and phenology model of prickly acacia, Acacia nilotica, an invasive alien species in Australia. The model, SPAnDX, describes the interactions between riparian and upland sub-populations of A. nilotica within livestock paddocks, including the effects of extrinsic factors such as temperature, soil moisture availability and atmospheric concentrations of carbon dioxide. The model includes the effects of management events such as changing the livestock species or stocking rate, applying fire, and herbicide application. The predicted population behaviour of A. nilotica was sensitive to climate. Using 35 years daily weather datasets for five representative sites spanning the range of conditions that A. nilotica is found in Australia, the model predicted biomass levels that closely accord with expected values at each site. SPAnDX can be used as a decision-support tool in integrated weed management, and to explore the sensitivity of cultural management practices to climate change throughout the range of A. nilotica. The cohort-based DYMEX modelling package used to build and run SPAnDX provided several advantages over more traditional population modelling approaches (e.g. an appropriate specific formalism (discrete time, cohort-based, process-oriented), user-friendly graphical environment, extensible library of reusable components, and useful and flexible input/output support framework). (C) 2003 Published by Elsevier Science B.V.

Alterations of neocortical pyramidal cell phenotype in the Ts65Dn mouse model of Down syndrome: Effects of environmental enrichment

Mental retardation in individuals with Down syndrome (DS) is thought to result from anomalous development and function of the brain; however, the underlying neuropathological processes have yet to be determined. Early implementation of special care programs result in limited, and temporary, cognitive improvements in DS individuals. In the present study, we investigated the possible neural correlates of these limited improvements. More specifically, we studied cortical pyramidal cells in the frontal cortex of Ts65Dn mice, a partial trisomy of murine chromosome 16 (MMU16) model characterized by cognitive deficits, hyperactivity, behavioral disruption and reduced attention levels similar to those observed in DS, and their control littermates. Animals were raised either in a standard or in an enriched environment. Environmental enrichment had a marked effect on pyramidal cell structure in control animals. Pyramidal cells in environmentally enriched control animals were significantly more branched and more spinous than non-enriched controls. However, environmental enrichment had little effect on pyramidal cell structure in Ts65Dn mice. As each dendritic spine receives at least one excitatory input, differences in the number of spines found in the dendritic arbors of pyramidal cells in the two groups reflect differences in the number of excitatory inputs they receive and, consequently, complexity in cortical circuitry. The present results suggest that behavioral deficits demonstrated in the Ts65Dn model could be attributed to abnormal circuit development.

Opening windows into the mind: mothers' preferences for mental state explanations and children's theory of mind

A new questionnaire, the Maternal Mental State Input Inventory (MMSII) was created to measure mothers' preferences for introducing and elaborating on mental states in conversation with their young children. In two studies, the questionnaire was given to mothers of young children, and the children's theory of mind (ToM) development was assessed with standard tasks. In both studies, the questionnaire exhibited good internal reliability, and significant correlations emerged between mothers' self-reported preferences for elaborated, explanatory talk about the mental states and children's theory of mind performance. Further, mothers' conversational preferences, as measured by the MMSII, were the best predictors of children's theory of mind development when relevant control variables were included in the analyses. These results converge with naturalistic observational research that has demonstrated links between mothers' conversational styles and their children's theory of mind. They go further in suggesting that mothers' tendencies toward elaborated, explanatory talk about a range of mental states is particularly beneficial to children's theory of mind development. (C) 2003 Elsevier Inc. All rights reserved.

Quantum theory of the far-off-resonance continuous-wave Raman laser: Heisenberg-Langevin approach

We present the quantum theory of the far-off-resonance continuous-wave Raman laser using the Heisenberg-Langevin approach. We show that the simplified quantum Langevin equations for this system are mathematically identical to those of the nondegenerate optical parametric oscillator in the time domain with the following associations: pump pump, Stokes signal, and Raman coherence idler. We derive analytical results for both the steady-state behavior and the time-dependent noise spectra, using standard linearization procedures. In the semiclassical limit, these results match with previous purely semiclassical treatments, which yield excellent agreement with experimental observations. The analytical time-dependent results predict perfect photon statistics conversion from the pump to the Stokes and nonclassical behavior under certain operational conditions.