Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Class attainment among British men - A multivariate extension of the CASMIN model of intergenerational class mobility

The CASMIN Project is arguably the most influential contemporary study of class mobility in the world. However, CASMIN results with respect to weak vertical status effects on class mobility have been extensively criticized. Drawing on arguments about how to model vertical mobility, Hout and Hauser (1992) show that class mobility is strongly determined by vertical socioeconomic differences. This paper extends these arguments by estimating the CASMIN model while explicitly controlling for individual determinants of socioeconomic attainment. Using the 1972 Oxford Mobility Data and the 1979 and 1983 British Election Studies, the paper employs mixed legit models to show how individual socioeconomic factors and categorical differences between classes shape intergenerational mobility. The findings highlight the multidimensionality of class mobility and its irreducibility to vertical movement up and down a stratification hierarchy.

First record in Australia of Myriogenospora atramentosa on lemongrass and sugarcane

Myriogenospora atramentosa has been found on lemongrass (Cymbopogon citratus) and sugarcane (Saccharum interspecific hybrids) in Queensland. These are the first records of this fungus outside of the Americas.

Gender and age-at-first-admission for schizophrenia: Data from Australia and Brazil

In order to examine whether different populations show the same pattern of onset in the Southern Hemisphere, we examined the age-at-first-admission distribution for schizophrenia based on mental health registers from Australia and Brazil. Data on age-at-first-admission for individuals with schizophrenia were extracted from two names-linked registers, (1) the Queensland Mental Health Statistics System, Australia (N=7651, F= 3293, M=4358), and (2) a psychiatric hospital register in Pelotas, Brazil (N=4428, F=2220, M=2208). Age distributions were derived for males and females for both datasets. The general population structure tbr both countries was also obtained. There were significantly more males in the Queensland dataset (gz = 56.9, df3, p < 0.0001 ). Both dataset distributions were skewed to the right. Onset rose steeply after puberty to reach a modal age group of 20-29 for men and women, with a more gradual tail toward the older age groups. In Queensland 68% of women with schizophrenia had their first admissions after age 30, while the proportion from Brazil was 58%. Compared to the Australian dataset, the Brazilian dataset had a slightly greater proportion of first admissions under the age 30 and a slightly smaller proportion over the age of 60 years. This reflects the underlying age distributions of the two populations. This study confirms the wide age range and gender differences in age-at-first-admission distributions for schizophrenia and identified a significant difference in the gender ratio between the two datasets. Given widely differing health services, cultural practices, ethic variability, and the different underlying population distributions, the age-at-first-admission in Queensland and Brazil showed more similarities than differences. Acknowledgments: The Stanley Foundation supported this project.

Age-at-first-admission of schizophrenia, bipolar disorder and major depression: Implications of heterogeneity

Age of onset is an important variable when considering the cause and course of mental illnesses. Given the debate about the relationship between psychotic disorders it would be useful to compare age-at-first-admission for ICD schizophrenia and for affective psychoses when the latter is differentiated into 'major depression' and 'bipolar disorder'. Data on age-at-first-admission for Australian-born individuals diagnosed with schizophrenia (ICD 295) or affective psychosis (ICD 296) were extracted from the Queensland Mental Health Statistics System -- a comprehensive, namelinked mental health register. Because the ICD 9 category 296.1 was used to code what is now called "major depressive episode', this group was differentiated from other 296 categorieswhich were considered bipolar disorders. Those receiving more than one diagnoses within these categories were excluded. All distributions show a wide age range of onset from early adolescence into the seventies and eighties. However the modal age-group for major depression ('60-69' for both sexes) is clearly different from bipolar disorder ('20-29' for males; '30- 39' for females), the latter distribution being more similar to the SCZ distribution (which had a model age-group of '20-29' for both sexes). While these distributions were similar for males and females, there were sex differences in the proportions within each diagnostic group: more males with schizophrenia, and more females with bipolar disorder and with major depression. Our results suggest heterogeneity within the affective psychoses as categorised by ICD 9, with bipolar disorder having an age-at-first-admission distribution more similar to schizophrenia than major depression. The Stanley Foundation supported this project.

Differential tumor surveillance by natural killer (NK) and NKT cells

Natural tumor surveillance capabilities of the host were investigated in six different mouse tumor models where endogenous interleukin (IL)-12. does or does not dictate the efficiency of the innate immune response. Gene-targeted and lymphocyte subset-depleted mice were used to establish the relative importance of natural killer (NK) and NK1.1(+) T (NKT) cells in protection from tumor initiation and metastasis. In the models examined, CD3(-) NK cells were responsible for tumor rejection and protection from metastasis in models where control of major histocompatibility complex class I-deficient tumors was independent of IL-12, A protective role for NKT cells was only observed when tumor rejection required endogenous IL-12 activity. In particular, T cell receptor J alpha 281 gene-targeted mice confirmed a critical function for NKT cells in protection from spontaneous tumors initiated by the chemical carcinogen, methylcholanthrene. This is the first description of an antitumor function for NKT cells in the absence of exogenously administered potent stimulators such as IL-12 or alpha-galactosylceramide.

Who thinks what about capitalism? Class consciousness and attitudes to economic institutions

Attitudes to the fundamental economic institutions of capitalism, private ownership of productive property, markets as arenas for securing economic outcomes, and working class rights to associate and to strike, are key dimensions of class consciousness. This paper investigates how class location shapes these attitudes in combination with other factors like employment sector and trade union membership. Using data from the 1995 National Social Science Survey, the paper finds systematic class variation on attitudes to economic institutions that is consistent with respondents endorsing or rejecting class-specific strategies of interest realisation according to their own class circumstances. On some attitudes, class structural effects are additionally moderated by organisational norms associated with public sector employment and mediated by the impact of trade union membership.

Conformational selection of inhibitors and substrates by proteolytic enzymes: Implications for drug design and polypeptide processing

Inhibitors of proteolytic enzymes (proteases) are emerging as prospective treatments for diseases such as AIDS and viral infections, cancers, inflammatory disorders, and Alzheimer's disease. Generic approaches to the design of protease inhibitors are limited by the unpredictability of interactions between, and structural changes to, inhibitor and protease during binding. A computer analysis of superimposed crystal structures for 266 small molecule inhibitors bound to 48 proteases (16 aspartic, 17 serine, 8 cysteine, and 7 metallo) provides the first conclusive proof that inhibitors, including substrate analogues, commonly bind in an extended beta-strand conformation at the active sites of all these proteases. Representative superimposed structures are shown for (a) multiple inhibitors bound to a protease of each class, (b) single inhibitors each bound to multiple proteases, and (c) conformationally constrained inhibitors bound to proteases. Thus inhibitor/substrate conformation, rather than sequence/composition alone, influences protease recognition, and this has profound implications for inhibitor design. This conclusion is supported by NMR, CD, and binding studies for HIV-1 protease inhibitors/ substrates which, when preorganized in an extended conformation, have significantly higher protease affinity. Recognition is dependent upon conformational equilibria since helical and turn peptide conformations are not processed by proteases. Conformational selection explains the resistance of folded/structured regions of proteins to proteolytic degradation, the susceptibility of denatured proteins to processing, and the higher affinity of conformationally constrained 'extended' inhibitors/substrates for proteases. Other approaches to extended inhibitor conformations should similarly lead to high-affinity binding to a protease.

First-instar morphology and sexual dimorphism in the gall-inducing scale insect Apiomorpha Rubsaamen (Hemiptera : Coccoidea : Eriococcidae)

Sexual dimorphism among crawlers of the scale insect family Eriococcidae is reported for the first time. The general morphology of crawlers of the gall-inducing genus Apiomorpha (Eriococcidae) is presented and sexual dimorphism described. Sexual dimorphism appears to be associated with differential dispersal and settling-site preference of the sexes during the crawler stage. First-instar males of the A. pharetrata and A. munita species-groups settle only on the galls induced by their mothers or, in the case of A. munita, also galls of nearby females, whereas female crawlers disperse. Female crawlers of all species of Apiomorpha, and male crawlers of most species, are well suited for air-borne dispersal. It is suggested that sexual dimorphism among crawlers of Apiomorpha, and some other scale insects, is the result of loss or reduction of those morphological features associated with dispersal. In addition, male crawlers of some species of Apiomorpha have sensory structures which may assist in the detection of sex-specific settling sites.

Cytomegalovirus MHC class I homologues and natural killer

Viruses that establish a persistent infection with their host have evolved numerous strategies to evade the immune system. Consequently, they are useful tools to dissect the complex cellular processes that comprise the immune response. Rapid progress has been made in recent years in defining the role of cellular MHC class I molecules in regulating the response of natural killer (NK) cells. Concomitantly, the roles of the MHC class I homologues encoded by human and mouse cytomegaloviruses in evading or subverting NK cell responses has received considerable interest. This review discusses the results from a number of studies that have pursued the biological function of the viral MHC class I homologues. Based on the evidence from these studies, hypotheses for the possible role of these intriguing molecules are presented. (C) 2000 Editions scientifiques et medicales Elsevier SAS.

Five-year survival after first-ever stroke and related prognostic factors in the Perth Community Stroke Study

Background and Purpose-Few community-based studies have examined the long-term survival and prognostic factors for death within 5 years after an acute first-ever stroke. This study aimed to determine the absolute and relative survival and the independent baseline prognostic Factors for death over the next 5 years among all individuals and among 30-day survivors after a first-ever stroke in a population of Perth, Western Australia. Methods-Between February 1989 and August 1990, all individuals with a suspected acute stroke or transient ischemic attack of the brain who were resident in a geographically defined region of Perth, Western Australia, with a population of 138 708 people, were registered prospectively and assessed according to standardized diagnostic criteria. Patients were followed up prospectively at 4 months, 12 months, and 5 years after the index event. Results-Three hundred seventy patients with first-ever stroke were registered, and 362 (98%) were followed up at 5 years, by which time 210 (58%) had died. In the first year after stroke the risk of death was 36.5% (95% CI, 31.5% to 41.4%), which was 10-fold (95% CI, 8.3% to 11.7%) higher than that expected among the general population of the same age and sex. The most common cause of death was the index stroke (64%). Between 1 and 5 years after stroke, the annual risk of death was approximately 10% per year, which was approximately 2-fold greater than expected, and the most common cause of death was cardiovascular disease (41%). The independent baseline factors among 30-day survivors that predicted death over 5 years were intermittent clandication (hazard ratio [WR], 1.9; 95% CI, 1.2 to 2.9), urinary incontinence (HR, 2.0; 95% CI, 1.3 to 3.0), previous transient ischemic attack (HR, 2.4; 95% CT, 1.3 to 4.1), and prestroke Barthel Index <20/20 (HR, 2.0, 95% CI, 1.3 to 3.2). Conclusions-One-year survivors of first-ever stroke continue to die over the next 4 years at a rate of approximately 10% per year, which is twice the rate expected among the general population of the same age and sex. The most common cause of death is cardiovascular disease. Long-term survival after stroke may be improved by early, active, and sustained implementation of effective strategies for preventing subsequent cardiovascular events.

MHC class II expression is regulated in dendritic cells independently of invariant chain degradation

We have investigated the mechanisms that control MHC class II (MHC II) expression in immature and activated dendritic cells (DC) grown from spleen and bone marrow precursors. Degradation of the MHC II chaperone invariant chain (li), acquisition of peptide cargo by MHC II, and delivery of MHC II-peptide complexes to the cell surface proceeded similarly in both immature and activated DC. However, immature DC reendocytosed and then degraded the MHC II-peptide complexes much faster than the activated DC. MHC II expression in DC is therefore not controlled by the activity of the protease(s) that degrade Ii, but by the rate of endocytosis of peptide-loaded MHC II. Late after activation, DC downregulated MHC II synthesis both in vitro and in vivo.