Conspicuous males suffer higher predation risk: visual modelling and experimental evidence from lizards

Colour pattern variation is a striking and widespread phenomenon. Differential predation risk between individuals is often invoked to explain colour variation, but empirical support for this hypothesis is equivocal. We investigated differential conspicuousness and predation risk in two species of Australian rock dragons, Ctenophorus decresii and C. vadnappa. To humans, the coloration of males of these species varies between 'bright' and 'dull'. Visual modelling based on objective colour measurements and the spectral sensitivities of avian visual pigments showed that dragon colour variants are differentially conspicuous to the visual system of avian predators when viewed against the natural background. We conducted field experiments to test for differential predation risk, using plaster models of 'bright' and 'dull' males. 'Bright' models were attacked significantly more often than 'dull' models suggesting that differential conspicuousness translates to differential predation risk in the wild. We also examined the influence of natural geographical range on predation risk. Results from 22 localities suggest that predation rates vary according to whether predators are familiar with the prey species. This study is among the first to demonstrate both differential conspicuousness and differential predation risk in the wild using an experimental protocol. (C) 2003 Published by Elsevier Ltd on behalf of The Association for the Study of Animal Behaviour.

Morphological shifts in island-dwelling birds: The roles of generalist foraging and niche expansion

Passerine birds living on islands are usually larger than their mainland counterparts, in terms of both body size and bill size. One explanation for this island rule is that shifts in morphology are an adaptation to facilitate ecological niche expansion. In insular passerines, for instance, increased bill size may facilitate generalist foraging because it allows access to a broader range of feeding niches. Here we use morphologically and ecologically divergent races of white-eyes (Zosteropidae) to test three predictions of this explanation: (1) island populations show a wider feeding niche than mainland populations; (2) island-dwelling populations are made up of individual generalists; and (3) within insular populations there is a positive association between size and degree of foraging generalism. Our results provide only partial support for the traditional explanation. In agreement with the core prediction, island populations of white-eye do consistently display a wider feeding niche than comparative mainland populations. However, observations of individually marked birds reveal that island-dwelling individuals are actually more specialized than expected by chance. Additionally, neither large body size nor large bill size are associated with generalist foraging behavior per se. These latter results remained consistent whether we base our tests on natural foraging behavior or on observations at an experimental tree, and whether we use data from single or multiple cohorts. Taken together, our results suggest that generalist foraging and niche expansion are not the full explanation for morphological shifts in island-dwelling white-eyes. Hence, we review briefly five alternative explanations for morphological divergence in insular populations: environmental determination of morphology, reduced predation pressure, physiological optimization, limited dispersal, and intraspecific dominance.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Surface stickiness of drops of carbohydrate and organic acid solutions during convective drying: Experiments and modeling

Drying kinetics of low molecular weight sugars such as fructose, glucose, sucrose and organic acid such as citric acid and high molecular weight carbohydrate such as maltodextrin (DE 6) were determined experimentally using single drop drying experiments as well as predicted numerically by solving the mass and heat transfer equations. The predicted moisture and temperature histories agreed with the experimental ones within 6% average relative (absolute) error and average difference of +/- 1degreesC, respectively. The stickiness histories of these drops were determined experimentally and predicted numerically based on the glass transition temperature (T-g) of surface layer. The model predicted the experimental observations with good accuracy. A nonsticky regime for these materials during spray drying is proposed by simulating a drop, initially 120 mum in diameter, in a spray drying environment.

Constructing and reconstructing teaching roles: A focus on generative metaphors and dichotomies

Over the last several decades, a shift in thinking has brought to the fore the power of language as more than simply a method of expression. Indeed, language is a constituent part of social practices and social identity. For teachers, both pre-service and in-service, teaching roles are often represented through surface and generative metaphors, the latter of which are tacit. In order to study the way in which language, and in particular metaphor, influences thinking about teaching roles, the authors of this article combined their data to examine the metaphoric discourse of both pre-service and in-service teachers. Contextualizing two separate studies in their respective teacher education programs, this article highlights the obstacle of unexposed generative metaphors and the value of ongoing professional development. In addition, it emphasizes the importance of deconstructing traditional dichotomies as central to teacher education reform.

'Localizing the national' - The rediscovery and reshaping of local campaigning in Australia

Pippa Norris provides a schematic account of the evolution of campaigning through premodern, modern and postmodern stages. In particular she points to an emerging postmodern phase of electioneering characterized by a renewed emphasis upon direct forms of engagement which resonate with an earlier period in which campaigns were locally fought and largely dependent upon the canvassing efforts of party workers and volunteers. Norris's analysis offers a useful prism with which to view recent developments in electioneering in Australia. In the past several elections the rival Labor and Liberal parties have attempted to achieve a synergy between their centrally conducted and constituency-level campaigns by ensuring that their national campaigns are locally relevant and address local concerns. Their efforts to 'localize the national' meld the use of sophisticated software with elements of a traditional 'meet and greet' politics and suggest that local campaigning may now have a new shape and importance.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.