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.

Novel murine myeloid cell lines that exhibit a differentiation switch in response to IL-3 or GM-CSF, or to different constitutively active mutants of the CM-CSF receptor beta subunit

Several activating mutations have recently been described in the common beta subunit for the human interleukin(IL)-3, IL-5, and granulocyte-macrophage colony-stimulating factor (GM-CSF) receptors (h beta c), Two of these, FI Delta and 1374N, result, respectively, in a 37-amino acid duplication and an isoleucine-to-asparagine substitution in the extracellular domain. A third, V449E, leads to valine-to-glutamic acid substitution in the transmembrane domain. Previous studies have shown that when expressed in murine hemopoietic cells in vitro, the extracellular mutants can confer factor independence on only the granulocyte-macrophage lineage while the transmembrane mutant can do so to all cell types of the myeloid and erythroid compartments. To further study the signaling properties of the constitutively active hpc mutants, we have used novel murine hemopoietic cell lines, which we describe in this report. These lines, FDB1 and FDB2, proliferate in murine IL-3 and undergo granulocyte-macrophage differentiation in response to murine GM-CSF, We find that while the transmembrane mutant, V449E, confers factor-independent proliferation on these cell lines, the extracellular hpc mutants promote differentiation. Hence, in addition to their ability to confer factor independence on distinct cell types, transmembrane and extracellular activated h beta c mutants deliver distinct signals to the same cell type. Thus, the FDB cell lines, in combination with activated h beta c mutants, constitute a powerful new system to distinguish between signals that determine hemopoietic proliferation or differentiation. (C) 2000 by The American Society of Hematology.

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.

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.

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.

Prediction of promiscuous peptides that bind HLA class I molecules

Promiscuous T-cell epitopes make ideal targets for vaccine development. We report here a computational system, multipred, for the prediction of peptide binding to the HLA-A2 supertype. It combines a novel representation of peptide/MHC interactions with a hidden Markov model as the prediction algorithm. multipred is both sensitive and specific, and demonstrates high accuracy of peptide-binding predictions for HLA-A*0201, *0204, and *0205 alleles, good accuracy for *0206 allele, and marginal accuracy for *0203 allele. multipred replaces earlier requirements for individual prediction models for each HLA allelic variant and simplifies computational aspects of peptide-binding prediction. Preliminary testing indicates that multipred can predict peptide binding to HLA-A2 supertype molecules with high accuracy, including those allelic variants for which no experimental binding data are currently available.

Ultra-compact dwarf galaxies: a new class of compact stellar system discovered in the Fornax Cluster

We have used the 2dF spectrograph on the Anglo-Australian Telescope to obtain a complete spectroscopic sample of all objects in the magnitude range, 16.5 < bj < 19.8, regardless of morphology, in an area centred on the Fornax Cluster of galaxies. Among the unresolved targets are five objects which are members of the Fornax Cluster. They are extremely compact stellar systems with scale lengths less than 40 parsecs. These ultra-compact dwarfs are unlike any known type of stellar system, being more compact and significantly less luminous than other compact dwarf galaxies, yet much brighter than any globular cluster.

Function of CMV-encoded MHC class I homologues

Homologues of MHC class I proteins have been identified in the genomes of human, murine and rat cytomegaloviruses (CMVs). Given the pivotal role of the MHC class I protein in cellular immunity, it has been postulated that the viral homologues subvert the normal antiviral immune response of the host, thus promoting virus replication and dissemination in an otherwise hostile environment. This review focuses on recent studies of the CMV MHC class I homologues at the molecular, cellular and whole animal level and presents current hypotheses for their roles in the CMV life cycle.

Social class and cultural mobility - Reconfiguring the cultural omnivore thesis

This article explores the idea of 'cultural mobility' both as a way of thinking about the polarizing logic of class relations and practices in contemporary society and as a means by which the debate over the cultural omnivore might be advanced. The concept of cultural mobility refers to the differential capacity to engage with or consume cultural goods and services across the entire spectrum of cultural life, an ability which is itself premised upon an unequal, class-related distribution in cultural competence. Cultural mobility, then, is the ability to move at will between cultural realms, a freedom to choose where one is positioned in the cultural landscape. I argue that the concept provides fertile ground for exploring possible interconnections between a number of divergent strands in current social theory which have largely developed independently of each other. At the same time much of this theoretical effort remains divorced from concrete research agendas. Using data collected as part of a major study of Australian cultural consumption, the article provides a case study of cultural mobility and its class moorings which serves to clarify some of the existing confusions concerning the cultural omnivore.

alpha-conotoxins EpI and AuIB switch subtype selectivity and activity in native versus recombinant nicotinic acetylcholine receptors

The Xenopus laevis oocyte expression system was used to determine the activities of alpha-conotoxins EpI and the ribbon isomer of AuIB, on defined nicotinic acetylcholine receptors (nAChRs). In contrast to previous findings on intracardiac ganglion neurones, alpha-EpI showed no significant activity on oocyte-expressed alpha3beta4 and alpha3beta2 nAChRs but blocked the alpha7 nAChR with an IC50 value of 30 nM. A similar IC50 value (103 nM) was obtained on the alpha7/5HT(3) chimeric receptor stably expressed in mammalian cells. Ribbon AuIB maintained its selectivity on oocyte-expressed alpha3beta4 receptors but unlike in native cells, where it was 10-fold more potent than native alpha-AuIB, had 25-fold lower activity. These results indicate that as yet unidentified factors influence alpha-conotoxin pharmacology at native versus oocyte-expressed nAChRs. (C) 2003 Published by Elsevier B.V. on behalf of the Federation of European Biochemical Societies.

Virtual models of the HLA class I antigen processing pathway

Antigen recognition by cytotoxic CD8 T cells is dependent upon a number of critical steps in MHC class I antigen processing including proteosomal cleavage, TAP transport into the endoplasmic reticulum, and MHC class 1 binding. Based on extensive experimental data relating to each of these steps there is now the capacity to model individual antigen processing steps with a high degree of accuracy. This paper demonstrates the potential to bring together models of individual antigen processing steps, for example proteosome cleavage, TAP transport, and MHC binding, to build highly informative models of functional pathways. In particular, we demonstrate how an artificial neural network model of TAP transport was used to mine a HLA-binding database so as to identify H LA-binding peptides transported by TAP. This integrated model of antigen processing provided the unique insight that HLA class I alleles apparently constitute two separate classes: those that are TAP-efficient for peptide loading (HLA-B27, -A3, and -A24) and those that are TAP-inefficient (HLA-A2, -B7, and -B8). Hence, using this integrated model we were able to generate novel hypotheses regarding antigen processing, and these hypotheses are now capable of being tested experimentally. This model confirms the feasibility of constructing a virtual immune system, whereby each additional step in antigen processing is incorporated into a single modular model. Accurate models of antigen processing have implications for the study of basic immunology as well as for the design of peptide-based vaccines and other immunotherapies. (C) 2004 Elsevier Inc. All rights reserved.

On the loss of regularity for a class of weakly hyperbolic operators

In this paper we determine bounds for the optimal loss of regularity in the Sobolev scale for a class of weakly hyperbolic operators. (C) 2009 Elsevier Inc. All rights reserved.

The influence of oscillations on global existence for a class of semi-linear wave equations

The goal of this paper is to study the global existence of small data solutions to the Cauchy problem for the nonlinear wave equation u(tt) - a(t)(2) Delta u = u(t)(2) - a(t)(2)vertical bar del u vertical bar(2). In particular we are interested in statements for the 1D case. We will explain how the interplay between the increasing and oscillating behavior of the coefficient will influence global existence of small data solutions. Copyright c 2011 John Wiley & Sons, Ltd.