Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

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.