Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.

Low level expression of human papillomavirus type 16 (HPV16) E6 in squamous epithelium does not elicit E6 specific B- or T-helper immunological responses, or influence the outcome of immunisation with E6 protein

Mice transgenic for E6/E7 oncogenes of Human Papillomavirus type 16 display life-long expression of E6 in lens and skin epithelium, and develop inflammatory skin disease late in life, which progresses to papillomata and squamous carcinoma in some mice. We asked whether endogenous expression of E6 induced a specific immunological outcome, i.e. immunity or tolerance, or whether the mice remained immunologically naive to E6. We show that prior to the onset of skin disease, E6 transgenic mice did not develop a spontaneous E6-directed antibody response, nor did they display T-cell proliferative responses to dominant T-helper epitope peptides within E6. In contrast, old mice in which skin disease had arisen, developed antibodies to E6. We also show that following immunisation with E6, specific antibody responses did not differ significantly among groups of EB-transgenic mice of different ages (and therefore of different durations and amounts of exposure to endogenous E6), and non-transgenic controls. Additionally, E6 immunisation-induced T-cell proliferative responses were similar in E6-transgenic and non-transgenic mice. These data are consistent with the interpretation that unimmunised Eb-transgenic mice that have not developed inflammatory skin disease remain immunologically naive to E6 at the B- and Th levels. There are implications for E6-mediated tumorigenesis in humans, and for the development of putative E6 therapeutic vaccines. (C) 2001 Elsevier Science B.V. All rights reserved.

Peripheral T-Cell tolerance defined through transgenic mouse studies

Selection in the thymus restricted by MHC and self-peptide shapes the diverse reactivities of the T-cell population which subsequently seeds into the peripheral tissues, in anticipation of the universe of pathogen antigens to which the organism may be exposed. A necessary corollary is the potential for T-cell self-reactivity (autoimmunity) in the periphery. Transgenic mouse models in which transgene expression in the thymus is prevented or excluded, have been particularly useful for determining the immunological outcome when T-cells encounter transgene-encoded 'self' antigen in peripheral tissues. Data suggest that non-mutually exclusive mechanisms of T-cells 'ignoring' self-antigen, T-cell deletion, T-cell anergy and T-cell immunoregulation have evolved to prevent self-reactivity while maintaining T-cell diversity. The peripheral T-cell repertoire, far from being static following maturation through the thymus, is in a dynamic stated determined by these peripheral selective and immunoregulatory influences. This article reviews the evidence with particular reference to CD8+ive T-cells.

Development and characterisation of recombinant hepatitis delta virus-like particles

Injection of particulate hepatitis B virus surface antigen (HBsAg) in mice leads to the induction of a HBsAg-specific class-I-restricted cytotoxic T lymphocyte (CTL) response. It is proposed that any protein internal to HBsAg will also be able to elicit a specific CTL response. In this study, several carboxy-terminal truncations of hepatitis C virus (HCV) core protein were fused to varying lengths of amino-terminal truncated large hepatitis delta antigen (L-HDAg). These constructs were analysed for their ability to be expressed and the particles secreted in the presence of HBsAg after transfection into HuH-7 cells. The secretion efficiency of the various HCV core-HDAg chimeric proteins was generally poor. Constructs containing full length HDAg appeared to be more stable than truncated versions and the length of the inserted protein was restricted to around 40 amino acids. Thus, the use of L-HDAg as a chimera to package foreign proteins is limited. Consequently, a polyepitope (polytope) containing a B-cell epitope from human papillomavirus (HPV 16) and multiple T-cell epitopes from the HCV polyprotein was used to create the construct, L-HDAg-polyB. This chimeric protein was shown to be reliant on the co-expression of HBsAg for secretion into the cell culture fluid and was secreted more efficiently than the previous HCV core-HDAg constructs. These L-HDAg-polyB virus-like particles (VLPs) had a buoyant density of similar to 1.2 g/cm(3) in caesium chloride and similar to 1.15 g/cm(3) in sucrose. The VLPs were also immunoprecipitated using an anti-HBs but not an anti-HD antibody. Thus, these recombinant VLPs have similar biophysical properties to L-HDAg VLPs.

Analysis of the study design and manuscript deficiencies in research articles submitted to Emergency Medicine

Objective: To describe and analyse the study design and manuscript deficiencies in original research articles submitted to Emergency Medicine. Methods: This was a retrospective, analytical study. Articles were enrolled if the reports of the Section Editor and two reviewers were available. Data were extracted from these reports only. Outcome measures were the mean number and nature of the deficiencies and the mean reviewers’ assessment score. Results: Fifty-seven articles were evaluated (28 accepted for publication, 19 rejected, 10 pending revision). The mean (± SD) number of deficiencies was 18.1 ± 6.9, 16.4 ± 6.5 and 18.4 ± 6.7 for all articles, articles accepted for publication and articles rejected, respectively (P = 0.31 between accepted and rejected articles). The mean assessment scores (0–10) were 5.5 ± 1.5, 5.9 ± 1.5 and 4.7 ± 1.4 for all articles, articles accepted for publication and articles rejected, respectively. Accepted articles had a significantly higher assessment score than rejected articles (P = 0.006). For each group, there was a negative correlation between the number of deficiencies and the mean assessment score (P > 0.05). Significantly more rejected articles ‘… did not further our knowledge’ (P = 0.0014) and ‘… did not describe background information adequately’ (P = 0.049). Many rejected articles had ‘… findings that were not clinically or socially significant’ (P = 0.07). Common deficiencies among all articles included ambiguity of the methods (77%) and results (68%), conclusions not warranted by the data (72%), poor referencing (56%), inadequate study design description (51%), unclear tables (49%), an overly long discussion (49%), limitations of the study not described (51%), inadequate definition of terms (49%) and subject selection bias (40%). Conclusions: Researchers should undertake studies that are likely to further our knowledge and be clinically or socially significant. Deficiencies in manuscript preparation are more frequent than mistakes in study design and execution. Specific training or assistance in manuscript preparation is indicated.

Finding gold in our shadow: psychotherapy and the shadow syndrome

Drawing on the work of Carl Jung and Robert Bly, Yaro Starak explores how 'shadow work' can be used within a Gestalt group therapy environment to uncover the 'gold in our shadow bags' - hidden inner strengths and resources that we were previously unaware of that may lead to healing and transformation. (editor abstract)

Limitations of HLA-transgenic mice in presentation of HLA-restricted cytotoxic T-cell epitopes from endogenously processed human papillomavirus type 16 E7 protein

We investigated the use of mice transgenic for human leucocyte antigen (HLA) A*0201 antigen-binding domains to test vaccines composed of defined HLA A*0201-restricted cytotoxic T-lymphocyte (CTL) epitopes of human papillomavirus (HPV) type 16 E7 oncoprotein. HPV is detected in >90% of cervical carcinomas. HPV16 E7 oncoprotein transforms cells of the uterine cervix and functions as a tumour-associated antigen to which immunotherapeutic strategies may be directed. We report that although the HLA A*0201 E7 epitope peptides function both to prime for E7 CTL responses, and to sensitize target cells for E7-directed CTL killing in situations where antigen processing is not required, the epitopes are not processed out of either endogenously expressed or immunization-introduced E7, by the mouse antigen-processing and presentation machinery. Thus (1) CTL induced by HLA A*0201 peptide immunization killed E7 peptide-pulsed target cells, but did not kill target cells expressing whole E7; (2) immunization with whole E7 protein did not elicit CTL directed to HLA A*0201-restricted E7 CTL epitopes; (3) HLA A*0201-restricted CTL epitopes expressed in the context of a DNA polytope vaccine did not activate E7-specific T cells either in 'conventional' HLA A*0201 transgenic (A2.1K(b) ) mice, or in HHD transgenic mice in which expression of endogenous H-2 class 1 is precluded; and (4) HLA A*0201 E7 peptide epitope immunization was incapable of preventing the growth of an HLA A*0201- and E7-expressing tumour. There are generic implications for the universal applicability of HLA-class 1 transgenic mice for studies of human CTL epitope presentation in murine models of human infectious disease where recognition of endogenously processed antigen is necessary. There are also specific implications for the use of HLA A2 transgenic mice for the development of E7-based therapeutic vaccines for cervical cancer.

Human immunodeficiency virus type 1 reverse transcription is stimulated by Tat from other lentiviruses

The tat gene is required by HIV-1 for efficient reverse transcription and this function of Tat can be distinguished from its role in transcription by RNA polymerase II using tat point mutations that abrogate each function independently The mechanism of Tat's role in reverse transcription, however, is not known, nor is it known whether this role is conserved among trans-activating factors in other retroviruses. Here we examine the abilities of heterologous viral trans-activating proteins from jembrana disease virus (jTat), HIV-2 (Tat2), and equine infectious anemia virus (eTat) to substitute for HIV-1 Tat (Tat1) and restore reverse transcription in HIV-1 carrying an inactivated tat gene. Natural endogenous reverse transcription assays showed that trans-activators from some retroviruses (Tat2 and jTat, but not eTat) could substitute for Tat1 in complementation of HIV-1 reverse transcription. Finally, we show that Y47 is critical for Tat1 to function in reverse transcription, but not HIV-1 gene expression. We mutated the homologous position in jTat to H62Y and found it did not improve its ability to stimulate reverse transcription, but an H62A mutation did inhibit jTat complementation. These data highlight the finding that the role of Tat in reverse transcription is not related to trans-activation and demonstrate that other tat genes conserve this function. (C) 2002 Elsevier Science (USA).

Inducible system in human hepatoma cell lines for hepatitis C virus production

We cloned the complete complementary DNA of an isolate of the hepatitis C virus, HCV-S1, into a tetra cycline-inducible expression vector and stably transfected it into two human hepatoma cell lines, Huh7 and HepG2. Twenty-six Huh7 and two HepG2-positive clones were obtained after preliminary screening. Two Huh7 (SH-7 and -9) and one HepG2 (G-19) clones were chosen for further characterisation. Expression of HCV proteins in these cells accumulated from 6 In to 4 days posttreatment. Full-length viral plus-strand RNA was detected by Northern analyses. Using RT-PCR and ribonuclease protection assay, we also detected the synthesis of minus-strand HCV RNA. Plus- and minus-strand viral RNA was still detected after treatment with actinomycin D. Indirect immunofluorescence staining with anti-E2, NS4B, and NS5A revealed that these proteins were mostly localised to the endoplasmic reticulum (ER). Culture media from tet-induced SH-9 cells was separated on sucrose density gradients and analysed for the presence of HCV RNA. Viral RNA levels peaked at two separate ranges, one with a buoyant density of 1.08 g/ml and another from 1.17 to 1.39 g/ml. Electron microscopy demonstrated the presence of subviral-like particles (approximately 20-25 nm in diameter) in the cytoplasm of SH-9 and G-19 cells, which were positively labelled by anti-HCV core antibodies. Anti-E2 antibodies strongly labelled cytoplasmic vesicular structures and some viral-like particles. Complete viral particles of about 50 nm which reacted with anti-E2 antibodies were observed in the culture media of tet-induced SH-9 cells following negative staining. Supernatant from tet-treated SH-9 cells was found to infect naive Huh7 and stable Huh7-human CD81 cells. (C) 2002 Elsevier Science (USA).