Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Genetic variation in the recognition of Porphyromonas gingivalis antigens in mice

T-cell cytokine profiles, anti Porphyromonas gingivalis antibodies and Western blot analysis of antibody responses were examined in BALB/c, CBA/CaH, C57BL6 and DBA/2J mice immunized intraperitoneally with different doses of P. gingivalis outer membrane antigens, Splenic CD4 and CD8 cells were examined for intracytoplasmic interleukin (IL)-4, interferon (IFN)-gamma and IL-LD by FAGS analysis and levels of anti-P. gingivalis antibodies in the serum samples determined by enzyme-linked immunosorbent assay. Western blot analysis was performed on the sera from mice immunized with 100 mug of P. gingivalis antigens. The four strains of mice demonstrated varying degrees of T-cell immunity although the T-cell cytokine profiles exhibited by each strain were not affected by different immunizing doses. While BALB/c and DBA/2J mice exhibited responses that peaked at immunizing doses of 100-200 mug of P. gingivalis antigens, CBA/CaH and C57BL6 demonstrated weak T-cell responsiveness compared with control mice. Like the T-cell responses, serum antibody levels were not dose dependent. DBA/23 exhibited the lowest levels of anti-P. gingivalis antibodies followed by BALB/c with CBA/CaH and C57BL6 mice demonstrating the highest levels. Western blot analysis showed that there were differences in reactivity between the strains to a group of 13 antigens ranging in molecular weight from 15 to 43 kDa. Antibody responses to a number of these bands in BALB/c mice were of low density, whereas CBA/CaH and C57BL6 mice demonstrated high-density bands and DBA/2J mice showed medium to high responses. In conclusion, different immunizing doses of P. gingivalis outer membrane antigens had little effect on the T-cell cytokine responses and serum anti-P. gingivalis antibody levels. Western blot analysis, however, indicated that the four strains of mice exhibited different reactivity to some lower-molecular-weight antigens. Future studies are required to determine the significance of these differences, which may affect the outcome of P. gingivalis infection.

Robust parameter settings of evolutionary algorithms for the optimisation of agricultural systems models

Numerical optimisation methods are being more commonly applied to agricultural systems models, to identify the most profitable management strategies. The available optimisation algorithms are reviewed and compared, with literature and our studies identifying evolutionary algorithms (including genetic algorithms) as superior in this regard to simulated annealing, tabu search, hill-climbing, and direct-search methods. Results of a complex beef property optimisation, using a real-value genetic algorithm, are presented. The relative contributions of the range of operational options and parameters of this method are discussed, and general recommendations listed to assist practitioners applying evolutionary algorithms to the solution of agricultural systems. (C) 2001 Elsevier Science Ltd. All rights reserved.

The leucine-rich repeat as a protein recognition motif

Leucine-rich repeats (LRRs) are 20-29-residue sequence motifs present in a number of proteins with diverse functions. The primary function of these motifs appears to be to provide a versatile structural framework for the formation of protein-protein interactions. The past two years have seen an explosion of new structural information on proteins with LRRs. The new structures represent different LRR subfamilies and proteins with diverse functions, including GTPase-activating protein rna 1 p from the ribonuclease-inhibitor-like subfamily; spliceosomal protein U2A', Rab geranylgeranyltransferase, internalin B, dynein light chain 1 and nuclear export protein TAP from the SDS22-like subfamily; Skp2 from the cysteine-containing subfamily; and YopM from the bacterial subfamily. The new structural information has increased our understanding of the structural determinants of LRR proteins and our ability to model such proteins with unknown structures, and has shed new light on how these proteins participate in protein-protein interactions.

A revision of Benedenia Diesing, 1858 including a redescription of B-sciaenae (van Beneden, 1856) Odhner, 1905 and recognition of Menziesia Gibson, 1976 (Monogenea : Capsalidae)

Benedenia Diesing, 1858, a genus of capsalid (benedeniine) monogeneans, is redefined. The generic diagnosis is amended to include: the path of tendons in the haptor from extrinsic muscles in the body; presence and form of the marginal valve; a penis occupying a penis canal with weakly muscular wall; a weakly muscular accessory gland reservoir proximal to the penis and enclosed by a proximal extension of the wall of the penis canal; male and female genital apertures usually common, rarely separate; vagina with pore usually close to the common genital pore but may open in mid body between the germarium and the common genital pore, or anterior to the common genital pore. A conservative approach is adopted and the generic diagnosis is clarified and broadened to accommodate species that display some variation in reproductive anatomy, especially of the female system. We argue against potential alternative actions such as defining Benedenia strictly to contain species with separate male and female genital apertures and against recognition of a separate genus, Tareenia Hussey, 1986, for species with a vaginal pore anterior to the common genital pore. Under our conception, Benedenia comprises 21 species: B. sciaenae (van Beneden, 1856) Odhner, 1905 (type species); B. acanthopagri (Hussey, 1986) comb. nov.; B. anticavaginata Byrnes, 1986; B. bodiani Yamaguti, 1968; B. elongata (Yamaguti, 1968) Egorova, 1997; B. epinepheli (Yamaguti, 1937) Meserve, 1938; B. hawaiiensis Yamaguti, 1968; B. hendorffi(von Linstow, 1889) Odhner, 1905; B. hoshinai Ogawa, 1984; B. innobilitata Burhnheim Gomes and Varela, 1973: B. jaliscana Bravo-Hollis, 1952; B. lolo Yamaguti, 1968; B. lutjani Whittington and Kearn, 1993: B. monticellii (Parona and Perugia, 1895) Johnston, 1929; B. ovata (Goto, 1894) Johnston. 1929: B. pompatica Burhnheim, Gomes and Varela, 1973; B. rohdei Whittington, Kearn and Beverley-Burton, 1994; B. scari Yamaguti, 1968; B. sekii (Yamaguti, 1937) Meserve, 1938; B, seriolae (Yamaguti, 1934) Meserve, 1938; and B. synagris Yamaguti, 1953. The type species, B. sciaenae, is redescribed based on new material from Australia. No types for this taxon were designated and we have assigned a series of voucher specimens. Tareenia acanthopagri Hussey, 1986 becomes B. acanthopagri (Hussey, 1986) comb. nov. and T. anticavaginata (Byrnes, 1986) Egorova, 1997 and T. lutjani (Whittington and Kearn, 1993) Egorova, 1997 are returned to Benedenia as B. anticavaginata and B. lutjani Benedenia akaisaki Iwata, 1990 is considered a synonym of B. ovata and B. kintoki Iwata, 1990 is considered a synonym of B. elongata. Two species, B, madai Ishii and Sawada, 1938 and B. pagrosomi Ishii and Sawada, 1938, are considered species inquirendae. Based on the redefinition of Benedenia, the diagnosis for the Benedeniinae is amended. Tareenia is synonymized with Benedenia but Menziesia Gibson, 1976 is recognized and its generic diagnosis amended to include: anterior attachment organs tending to form a 'hooded' appearance; prominent anterior gland cells between the pharynx and the anterior margin of the body: long penis, tapering proximally, occupying a penis canal with weakly muscular wall: penis canal and penis describe a sigmoid; accessory gland reservoir dorsal and alongside, or posterior and lateral to, proximal end of the penis and enclosed by a proximal extension of the wall of the penis canal. Under this conception. Menziesia comprises: M. noblei (Menzies. 1946) Gibson, 1976 (type species); M. malaboni (Velasquez. 1982) comb. nov.: M. merinthe (Yamaguti, 1968) Gibson. 1976: M. ovalis (Yamaguti, 1968) Gibson, 1976: and M. sebastodis (Yamaguti, 1934) comb, nov. A key to valid species of Benedenia and Menziesia is provided and a list is presented of published records of undescribed or unattributed species of Benedenia. Some protocols are suggested for preparation of benedeniine material to enhance future taxonomic studies and comparisons. The host-specificity and geographic distribution of species in these revised genera are discussed. The composition of the Capsalidae is discussed and some difficulties in defining and distinguishing between its different subfamilies are considered.

Phylogenetic analysis of the Monocotylidae (Monogenea) inferred from 28S rDNA sequences

The current classification of the Monocotylidae (Monogenea) is based on a phylogeny generated from morphological characters. The present study tests the morphological phylogenetic hypothesis using molecular methods. Sequences from domains C2 and D1 and the partial domains C1 and D2 from the 28S rDNA gene for 26 species of monocotylids from six of the seven subfamilies were used. Trees were generated using maximum parsimony, neighbour joining and maximum likelihood algorithms. The maximum parsimony tree, with branches showing less than 70% bootstrap support collapsed, had a topology identical to that obtained using the maximum likelihood analysis. The neighbour joining tree, with branches showing less than 70% support collapsed. differed only in its placement of Heterocotyle capricornensis as the sister group to the Decacotylinae clade. The molecular tree largely supports the subfamilies established using morphological characters. Differences are primarily how the subfamilies are related to each other. The monophyly of the Calicotylinae and Merizocotylinae and their sister group relationship is supported by high bootstrap values in all three methods, but relationships within the Merizocotylinae are unclear. Merizocotyle is paraphyletic and our data suggest that Mycteronastes and Thaumatocotyle, which were synonymized with Merizocotyle after the morphological cladistic analysis, should perhaps be resurrected as valid genera. The monophyly of the Monocotylinae and Decacotylinae is also supported by high bootstrap values. The Decacotylinae, which was considered previously to be the sister group to the Calicotylinae plus Merizocotylinae, is grouped in an unresolved polychotomy with the Monocotylinae and members of the Heterocotylinae. According to our molecular data, the Heterocotylinae is paraphyletic. Molecular data support a sister group relationship between Troglocephalus rhinobatidis and Neoheterocotyle rhinobatidis to the exclusion of the other species of Neoheterocotyle and recognition of Troglocephalus renders Neoheterocotyle,le paraphyletic. We propose Troglocephalus incertae sedis. An updated classification and full species list of the Monocotylidae is provided. (C) 2001 Australian Society for Parasitology Inc. Published by Elsevier Science Ltd. All rights reserved.

Targeting of EBNA1 for rapid intracellular degradation overrides the inhibitory effects of the Gly-Ala repeat domain and restores CD8+T cell recognition

Epstein-Barr virus (EBV)-encoded nuclear antigen 1 (EBNA1) includes a unique glycine-alanine repeat domain that inhibits the endogenous presentation of cytotoxic T lymphocyte (CTL) epitopes through the class I pathway by blocking proteasome-dependent degradation of this antigen. This immune evasion mechanism has been implicated in the pathogenesis of EBV-associated diseases. Here, we show that cotranslational ubiquitination combined with N-end rule targeting enhances the intracellular degradation of EBNA1, thus resulting in a dramatic reduction in the half-life of the antigen. Using DNA expression vectors encoding different forms of ubiquitinated EBNA1 for in vivo studies revealed that this rapid degradation, remarkably, leads to induction of a very strong CTL response to an EBNA1-specific CTL epitope. Furthermore, this targeting also restored the endogenous processing of HLA class I-restricted CTL epitopes within EBNA1 for immune recognition by human EBV-specific CTLs. These observations provide, for the first time, evidence that the glycine-alanine repeat-mediated proteasomal block on EBNA1 can be reversed by specifically targeting this antigen for rapid degradation resulting in enhanced CD8+ T cell-mediated recognition in vitro and in vivo.