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.

Genetic analysis of complex demographic scenarios: Spatially expanding populations of the cane toad, Bufo marinus

Inferring the spatial expansion dynamics of invading species from molecular data is notoriously difficult due to the complexity of the processes involved. For these demographic scenarios, genetic data obtained from highly variable markers may be profitably combined with specific sampling schemes and information from other sources using a Bayesian approach. The geographic range of the introduced toad Bufo marinus is still expanding in eastern and northern Australia, in each case from isolates established around 1960. A large amount of demographic and historical information is available on both expansion areas. In each area, samples were collected along a transect representing populations of different ages and genotyped at 10 microsatellite loci. Five demographic models of expansion, differing in the dispersal pattern for migrants and founders and in the number of founders, were considered. Because the demographic history is complex, we used an approximate Bayesian method, based on a rejection-regression algorithm. to formally test the relative likelihoods of the five models of expansion and to infer demographic parameters. A stepwise migration-foundation model with founder events was statistically better supported than other four models in both expansion areas. Posterior distributions supported different dynamics of expansion in the studied areas. Populations in the eastern expansion area have a lower stable effective population size and have been founded by a smaller number of individuals than those in the northern expansion area. Once demographically stabilized, populations exchange a substantial number of effective migrants per generation in both expansion areas, and such exchanges are larger in northern than in eastern Australia. The effective number of migrants appears to be considerably lower than that of founders in both expansion areas. We found our inferences to be relatively robust to various assumptions on marker. demographic, and historical features. The method presented here is the only robust, model-based method available so far, which allows inferring complex population dynamics over a short time scale. It also provides the basis for investigating the interplay between population dynamics, drift, and selection in invasive species.

The concurrent validity and test-retest reliability of a visuospatial working memory task

To determine whether the visuospatial n-back working memory task is a reliable and valid measure of cognitive processes believed to underlie intelligence, this study compared the reaction times and accuracy of perforniance of 70 participants, with performance on the Multidimensional Aptitude Battery (MAB). Testing was conducted over two sessions separated by 1 week. Participants completed the MAB during the second test session. Moderate testretest reliability for percentage accuracy scores was found across the four levels of the n-back task, whilst reaction times were highly reliable. Furthermore, participants' performance on the MAB was negatively correlated with accuracy of performance at the easier levels of the n-back task and positively correlated with accuracy of performance at the harder task levels. These findings confirm previous research examining the cognitive basis of intelligence, and suggest that intelligence is the product of faster speed of information processing, as well as superior working memory capacity. (C) 2004 Elsevier Inc. All rights reserved.

Geogenic sources and sinks of trace metals in the Larsemann Hills, East Antarctica: Natural processes and human impact

To evaluate the extent of human impact on a pristine Antarctic environment, natural baseline levels of trace metals have been established in the basement rocks of the Larsemann Hills, East Antarctica. From a mineralogical and geochemical point of view the Larsemann Hills basement is relatively homogeneous, and contains high levels of Pb, Th and U. These may become soluble during the relatively mild Antarctic summer and be transported to lake waters by surface and subsurface melt water. Melt waters may also be locally enriched in V, Cr, Co, Ni, Zn and Sri derived from weathering of metabasite pods. With a few notable exceptions, the trace metal concentrations measured in the Larsemann Hills lake waters can be entirely accounted for by natural processes such as sea spray and surface melt water input. Thus, the amount of trace metals released by weathering of basement lithologies and dispersed into the Larsemann Hills environment, and presumably in similar Antarctic environments, is, in general, not negligible, and may locally be substantial. The Larsemann Hills sediments are coarse-grained and contain minute amounts of clay-size particles, although human activities have contributed to the generation of fine-grained material at the most impacted sites. Irrespective of their origin, these small amounts of fine-grained clastic sediments have a relatively small surface area and charge, and are not as effective metal sinks as the abundant, thick cyanobacterial algal mats that cover the lake floors. Thus, the concentration of trace metals in the Larsemann Hills lake waters is regulated by biological activity and thawing-freezing cycles, rather than by the type and amount of clastic sediment supply. (c) 2005 Elsevier Ltd. All rights reserved.