Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.

Gray's Reinforcement Sensitivity Theory: a psychometric critique

This study identifies valid orthogonal scales of Gray's animal learning paradigms, upon which his Reinforcement Sensitivity Theory (RST) is based, by determining a revised structure to the Gray-Wilson Personality Questionnaire (GWPQ) (Wilson, Gray, & Barrett, 1990). It is also determined how well Gray's RST scales predict the surface scales of personality, which were measured in terms of Eysenck Personality Profiler (EPP) scales, the EPQ-R and the learning styles questionnaire (LSQ) scales. First, results suggest that independent pathways of RST scales may exist in humans. Second, Fight seems related to Anxiety and not the Fight/Flight system as proposed by RST. Third. a remarkably consistent story emerges in that Extraversion scales are predicted by Fight, Psychoticism scales are predicted by Active-avoidance, Fight and/or Flight, and Neuroticism scales tend not to be predicted at all (except for Anxiety). Fourth, Gray's revised scales are Unrelated to gender and age effects and show a predictable overlap with the LSQ and original GWPQ scales. It is concluded that Gray's model of personality might provide a stable biological basis of many surface scales of personality, but that there must also be other influences on personality. These results question the finer structure of Gray's RST whilst also showing that RST has greater range of applicability than a strict interpretation of theory implies. (C) 2002 Elsevier Science Ltd. All rights reserved.

Gray's model of personality and aggregate level factor analysis

Previous research shows that correlations tend to increase in magnitude when individuals are aggregated across groups. This suggests that uncorrelated constellations of personality variables (such as the primary scales of Extraversion and Neuroticism) may display much higher correlations in aggregate factor analysis. We hypothesize and report that individual level factor analysis can be explained in terms of Giant Three (or Big Five) descriptions of personality, whereas aggregate level factor analysis can be explained in terms of Gray's physiological based model. Although alternative interpretations exist, aggregate level factor analysis may correctly identify the basis of an individual's personality as a result of better reliability of measures due to aggregation. We discuss the implications of this form of analysis in terms of construct validity, personality theory, and its applicability in general. Copyright (C) 2003 John Wiley Sons, Ltd.

The personality profile of female Anglican clergy in Britain and Ireland: A study employing the Eysenck Personality Profiler

A sample of 523 newly ordained female Anglican clergy in England, Ireland, Scotland and Wales completed the Eysenck Personality Profiler (EPP). The data demonstrated that the female clergy tended to be less extravert than women in general, less neurotic than women in general, and less toughminded than women in general. These findings help to clarify the way in which women clergy tend to project a characteristically masculine personality profile in respect of one major dimension of personality (neuroticism), but a characteristically feminine personality profile in respect of the other two major dimensions of personality (psychoticism and extraversion).

Strategic interventions in intellectual asset flows

The rise of the knowledge economy brings to the foreground questions of how firms might best capture the value of their intellectual assets. In this article I introduce the notion of strategic interventions in intellectual asset flows designed to influence the level and composition of intellectual asset scarcity, with implications for firm performance. I also present propositions that explain and predict how contingencies at differing levels of analysis influence the choice of strategic intervention.

Transgenic mice that express Cre recombinase in osteoclasts

To study the physiological control of osteoclasts, the bone resorbing cells, we generated transgenic mice carrying the Cre recombinase gene driven by either the tartrate-resistant acid phosphatase (TRAP) or cathepsin K (Ctsk) promoters. TRAP-Cre and Ctsk-Cre transgenic mouse lines were characterized by breeding with LacZ ROSA 26 (R26R) reporter mice and immunohistochemistry for Cre recombinase. The Cre transgene was functional in all lines, with Cre-mediated recombination occurring primarily in the long bones, vertebrae, ribs, and calvaria. Histological analyses of the bones demonstrated that functional Cre protein was present in 1) osteoclasts (Ctsk-Cre); 2) osteoclasts, columnar proliferating, and hypertrophic chondrocytes (TRAP-Cre line 4); and 3) round proliferating chondrocytes (TRAP-Cre line 3). In conclusion, we generated transgenic mouse lines that will enable the deletion of floxed target genes in osteoclasts, which will be valuable tools for studying the regulation of osteoclast function. (C) 2004 Wiley-Liss, Inc.

Book Review of: The Prehistoric Archaeology of Norfolk Island, Southwest Pacific

Records of the Australian Museum Supplement [extra title information]

Seeing red: the use of Congo Red dye to identify cooked and damaged starch grains in archaeological residues

Starchy plant foods are significant in the diet of almost all peoples. Archaeologically, however, preservation of such plants is limited, and direct evidence of plant use by past people is also rare. Although starch grains can be preserved on artefacts used to process starchy plants, it is very difficult to identify grains damaged by processing methods such as milling or cooking. We present a method for identifying such damaged starch grains using Congo Red staining to identify cooking or milling activities in the past subsistence behaviour of Aboriginal people of southeast Queensland, Australia. (c) 2005 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.

A modified particle filter for simultaneous robot localization and landmark tracking in an indoor environment

This paper presents the implementation of a modified particle filter for vision-based simultaneous localization and mapping of an autonomous robot in a structured indoor environment. Through this method, artificial landmarks such as multi-coloured cylinders can be tracked with a camera mounted on the robot, and the position of the robot can be estimated at the same time. Experimental results in simulation and in real environments show that this approach has advantages over the extended Kalman filter with ambiguous data association and various levels of odometric noise.