Comparative phylogeographic summary statistics for testing simultaneous vicariance

Testing for simultaneous vicariance across comparative phylogeographic data sets is a notoriously difficult problem hindered by mutational variance, the coalescent variance, and variability across pairs of sister taxa in parameters that affect genetic divergence. We simulate vicariance to characterize the behaviour of several commonly used summary statistics across a range of divergence times, and to characterize this behaviour in comparative phylogeographic datasets having multiple taxon-pairs. We found Tajima's D to be relatively uncorrelated with other summary statistics across divergence times, and using simple hypothesis testing of simultaneous vicariance given variable population sizes, we counter-intuitively found that the variance across taxon pairs in Nei and Li's net nucleotide divergence (pi(net)), a common measure of population divergence, is often inferior to using the variance in Tajima's D across taxon pairs as a test statistic to distinguish ancient simultaneous vicariance from variable vicariance histories. The opposite and more intuitive pattern is found for testing more recent simultaneous vicariance, and overall we found that depending on the timing of vicariance, one of these two test statistics can achieve high statistical power for rejecting simultaneous vicariance, given a reasonable number of intron loci (> 5 loci, 400 bp) and a range of conditions. These results suggest that components of these two composite summary statistics should be used in future simulation-based methods which can simultaneously use a pool of summary statistics to test comparative the phylogeographic hypotheses we consider here.

Effect of thermal acclimation on female resistance to forced matings in the eastern mosquitofish

All copulations in the eastern mosquitofish, Gambusia holbrooki, are coercive-and-achieved by force. Female G. holbrooki never appear to cooperate with males, but vigorously resist matings at all times. We examined the role of females within a sexually coercive mating system by investigating the ability of female G. holbrooki to resist forced copulations after acclimation to 16 degrees C and 32 degrees C for 4-5 weeks. We also examined burst swimming performance of female G. holbrooki after acclimation, as this trait is likely to underlie a female's ability to resist forced matings. We predicted that if female G. holbrooki indiscriminately resist matings from all males, acclimation would enhance female resistance at their acclimation temperature. However, we found that it did not. We also predicted that if females are able to influence the outcome of mating interactions, acclimation to an optimal thermal environment may induce females to reduce resistance. In support of this prediction, females acclimated at 32 degrees C were able to modify their resistance behaviour between exposure to 16 degrees C and 32 degrees C. The rate of copulations experienced by 32 inverted perpendicular C-acclimated females was 2.5 times greater at 32 degrees C than at 16 degrees C. In addition, acclimation at 32 degrees C significantly enhanced burst swimming performance at 32 degrees C but no effect of acclimation was observed at 16 degrees C. Our results suggest that female G. holbrooki are able to play a greater role in determining the outcome of sexual coercive mating interactions than previously thought. (c) 2006 The Association for the Shidy of Animal Behavioor. Published by Elsevier Ltd. All rights reserved.

Explaining point variability in the eastern Victoria river region, northern territory

This paper constructs a reduction sequence model for north Australian points from the eastern Victoria River region, and identifies a single continuum linking unifacial and bifacial point forms, with some divergence from this single reduction trajectory dependent upon artefact size. Chronological changes in reduction intensity between 5,000BP and the present are found to coincide with typological variation in points as well as changing emphasis on the extendibility of point reduction. It is suggested that changes in the extendibility of point reduction can be linked to intensified ENSO-driven climatic variability in the late Holocene that likely increased economic risk and warranted a substantial technological response, including the use of retouched toolkits with potential for longer use-lives.

Introduction: Arguments for a more grounded approach in management education

The article mentions the aims and objectives of the "Academy of Management Learning & Education" and introduces four essays in this issue. Milton R. Blood focuses on the role of business schools in generating actionable knowledge. Peter Navarro asserts that macroeconomics is necessary in MBA programs. Scott Julian and Joseph C. Ofori-Dankwa comment on business school accreditation and competition status. Michael Harmon offers an argument that competition status is negatively affecting research, teaching, and social objectives.

Isolation of polymorphic tetranucleotide microsatellite markers for the green-eyed tree frog (Litoria genimaculata)

We have isolated 16 polymorphic microsatellite markers for the green-eyed tree frog, Litoria genimaculata, from genomic libraries enriched for (AAGG)(n) and (AAAG)(n) repetitive elements. The number of alleles ranges from four to 14 per locus with the observed heterozygosity ranging from 0.36 to 1.00. These markers will be useful for analysis of questions concerning population genetic structure and speciation.

Isolation of polymorphic tetranucleotide microsatellite markers for the ornate nursery frog Cophixalus ornatus

We have isolated 18 polymorphic microsatellite loci for Cophixalus ornatus from genomic libraries enriched for (AAAG)(n), (AACC)(n) and (AAGG)(n) repetitive elements. The number of alleles ranges from five to 22 per locus with the observed heterozygosity ranging from 0.10 to 0.92. These markers will be useful for the analysis of population structure in C. ornatus and testing alternative models of speciation.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Reversible active switching of the mechanical properties of a peptide film at a fluid-fluid interface

Designer peptides have recently been developed as building blocks for novel self-assembled materials with stimuli-responsive properties. To date, such materials have been based on self-assembly in bulk aqueous solution or at solid-fluid interfaces. We have designed a 21-residue peptide, AM1, as a stimuli-responsive surfactant that switches molecular architectures at a fluid-fluid interface in response to changes in bulk aqueous solution composition. In the presence of divalent zinc at neutral pH, the peptide forms a mechanically strong 'film state'. In the absence of metal ions or at acid pH, the peptide adsorbs to form a mobile 'detergent state'. The two interfacial states can be actively and reversibly switched. Switching between the two states by a change in pH or the addition of a chelating agent leads to rapid emulsion coalescence or foam collapse. This work introduces a new class of surfactants that offer an environmentally friendly approach to control the stability of interfaces in foams, emulsions and fluid-fluid interfaces more generally.

Temporal variation in arthropod sampling effectiveness: the case for using the beat sheet method in cotton

Predatory insects and spiders are key elements of integrated pest management (IPM) programmes in agricultural crops such as cotton. Management decisions in IPM programmes should to be based on a reliable and efficient method for counting both predators and pests. Knowledge of the temporal constraints that influence sampling is required because arthropod abundance estimates are likely to vary over a growing season and within a day. Few studies have adequately quantified this effect using the beat sheet, a potentially important sampling method. We compared the commonly used methods of suction and visual sampling to the beat sheet, with reference to an absolute cage clamp method for determining the abundance of various arthropod taxa over 5 weeks. There were significantly more entomophagous arthropods recorded using the beat sheet and cage clamp methods than by using suction or visual sampling, and these differences were more pronounced as the plants grew. In a second trial, relative estimates of entomophagous and phytophagous arthropod abundance were made using beat sheet samples collected over a day. Beat sheet estimates of the abundance of only eight of the 43 taxa examined were found to vary significantly over a day. Beat sheet sampling is recommended in further studies of arthropod abundance in cotton, but researchers and pest management advisors should bear in mind the time of season and time of day effects.

The economics of inclusion body processing

Many recombinant proteins are often over-expressed in host cells, such as Escherichia coli, and are found as insoluble and inactive protein aggregates known as inclusion bodies (IBs). Recently, a novel process for IB extraction and solubilisation, based on chemical extraction, has been reported. While this method has the potential to radically intensify traditional IB processing, the process economics of the new technique have yet to be reported. This study focuses on the evaluation of process economics for several IB processing schemes based on chemical extraction and/or traditional techniques. Simulations and economic analysis were conducted at various processing conditions using granulocyte macrophage-colony stimulating factor, expressed as IBs in E. coli, as a model protein. In most cases, IB processing schemes based on chemical extraction having a shorter downstream cascade demonstrated a competitive economic edge over the conventional route, validating the new process as an economically more viable alternative for IB processing.

Verifying data refinements using a model checker

In this paper, we consider how refinements between state-based specifications (e.g., written in Z) can be checked by use of a model checker. Specifically, we are interested in the verification of downward and upward simulations which are the standard approach to verifying refinements in state-based notations. We show how downward and upward simulations can be checked using existing temporal logic model checkers. In particular, we show how the branching time temporal logic CTL can be used to encode the standard simulation conditions. We do this for both a blocking, or guarded, interpretation of operations (often used when specifying reactive systems) as well as the more common non-blocking interpretation of operations used in many state-based specification languages (for modelling sequential systems). The approach is general enough to use with any state-based specification language, and we illustrate how refinements between Z specifications can be checked using the SAL CTL model checker using a small example.

Risk reduction: Recontexualizing health as a physical education curriculum

While there is sufficient evidence to suggest that physical activity is inversely related to lifestyle diseases, researchers are far from being certain that this evidence extends to children. Nevertheless, the school physical education curriculum has been targeted as an institutional agency that could have a significant impact on health during childhood and later during adulthood if individuals could be habituated to assume a physically active lifestyle. The purpose of this article is to examine the recontextualization of biomedical knowledge into an ideology of healthism in which health is conceived as a controllable certainty and used as a pedagogical construction to transform school physical education. Using a Foucauldian perspective, we explore how the atomized biomedical model of chemical and physical relationships is constructed, reproduced, and perpetuated to service and empower the discourse and the practices of researchers and scholars. In this process the sociological or cultural aspects of public health are marginalized or ignored. As a result of this examination, alternative approaches are proposed that engage the limitations of the biomedical model and openly consider the insights that are available from the social sciences regarding what participation in physical activity means to individuals.