Multiple Conclusion Rules in Logics with the Disjunction Property

We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics

Classification of HIV-1 Sequences Using Profile Hidden Markov Models

Accurate classification of HIV-1 subtypes is essential for studying the dynamic spatial distribution pattern of HIV-1 subtypes and also for developing effective methods of treatment that can be targeted to attack specific subtypes. We propose a classification method based on profile Hidden Markov Model that can accurately identify an unknown strain. We show that a standard method that relies on the construction of a positive training set only, to capture unique features associated with a particular subtype, can accurately classify sequences belonging to all subtypes except B and D. We point out the drawbacks of the standard method; namely, an arbitrary choice of threshold to distinguish between true positives and true negatives, and the inability to discriminate between closely related subtypes. We then propose an improved classification method based on construction of a positive as well as a negative training set to improve discriminating ability between closely related subtypes like B and D. Finally, we show how the improved method can be used to accurately determine the subtype composition of Common Recombinant Forms of the virus that are made up of two or more subtypes. Our method provides a simple and highly accurate alternative to other classification methods and will be useful in accurately annotating newly sequenced HIV-1 strains

Development of real-time NASBA assays with molecular beacon detection to quantify mRNA coding for HHV-8 lytic and latent genes

BACKGROUND: Human herpesvirus-8 (HHV-8) is linked to the pathogenesis of Kaposi's sarcoma (KS), and the HHV-8 DNA load in peripheral blood mononuclear cells (PBMC) is associated with the clinical stage of KS. To examine the expression of HHV-8 in PBMC, four HHV-8 mRNA specific NASBA assays were developed METHODS: We have developed four quantitative nucleic acid sequence-based amplification assays (NASBA-QT) specifically to detect mRNA coding for ORF 73 (latency-associated nuclear antigen, LANA), vGCR (a membrane receptor), vBcl-2 (a viral inhibitor of apoptosis) and vIL-6 (a viral growth factor). The NASBA technique amplifies nucleic acids without thermocycling and mRNA can be amplified in a dsDNA background. A molecular beacon is used during amplification to enable real-time detection of the product. The assays were tested on PBMC samples of two AIDS-KS patients from the Amsterdam Cohort. RESULTS: For all four assays, the limit of detection (LOD) of 50 molecules and the limit of quantification (LOQ) of 100 molecules were determined using in vitro transcribed RNA. The linear dynamic range was 50 to 10(7) molecules of HHV-8 mRNA. We found HHV-8 mRNA expression in 9 out of the 10 tested samples. CONCLUSION: These real-time NASBA assays with beacon detection provide tools for further study of HHV-8 expression in patient material

A Low T Regulatory Cell Response May Contribute to Both Viral Control and Generalized Immune Activation in HIV Controllers

HIV-infected individuals maintaining undetectable viremia in the absence of therapy (HIV controllers) often maintain high HIV-specific T cell responses, which has spurred the development of vaccines eliciting HIV-specific T cell responses. However, controllers also often have abnormally high T cell activation levels, potentially contributing to T cell dysfunction, CD4+ T cell depletion, and non-AIDS morbidity. We hypothesized that a weak T regulatory cell (Treg) response might contribute to the control of viral replication in HIV controllers, but might also contribute to generalized immune activation, contributing to CD4+ T cell loss. To address these hypotheses, we measured frequencies of activated (CD38+ HLA-DR+), regulatory (CD4+CD25+CD127dim), HIV-specific, and CMV-specific T cells among HIV controllers and 3 control populations: HIV-infected individuals with treatment-mediated viral suppression (ART-suppressed), untreated HIV-infected “non-controllers” with high levels of viremia, and HIV-uninfected individuals. Despite abnormally high T cell activation levels, controllers had lower Treg frequencies than HIV-uninfected controls (P = 0.014). Supporting the propensity for an unusually low Treg response to viral infection in HIV controllers, we observed unusually high CMV-specific CD4+ T cell frequencies and a strong correlation between HIV-specific CD4+ T cell responses and generalized CD8+ T cell activation levels in HIV controllers (P≤0.001). These data support a model in which low frequencies of Tregs in HIV controllers may contribute to an effective adaptive immune response, but may also contribute to generalized immune activation, potentially contributing to CD4 depletion

Quantization of an interacting spin-3/2 field and the Delta isobar

Quantization of the free and interacting Rarita-Schwinger field is considered using the Hamiltonian path-integral formulation. The particular interaction we study in detail is the \pi N \De coupling used in the phenomenology of the pion-nucleon and nucleon-nucleon systems. Within the Dirac constraint analysis, we show that there is an excess of degrees of freedom in the model, as well as the inconsistency related to the Johnson-Sudarshan-Velo-Zwanzinger problem. It is further suggested that couplings invariant under the gauge transformation of the Rarita-Schwinger field are generally free from these inconsistencies. We then construct and briefly analyse some lowest in derivatives gauge-invariant \pi N \De couplings.Comment: 20 pages, published versio

Molecular Evolution of HIV-1 CRF01_AE Env in Thai Patients

BACKGROUND: The envelope glycoproteins (Env), gp120 and gp41, are the most variable proteins of human immunodeficiency virus type 1 (HIV-1), and are the major targets of humoral immune responses against HIV-1. A circulating recombinant form of HIV-1, CRF01_AE, is prevalent throughout Southeast Asia; however, only limited information regarding the immunological characteristics of CRF01_AE Env is currently available. In this study, we attempted to examine the evolutionary pattern of CRF01_AE Env under the selection pressure of host immune responses. METHODOLOGY/PRINCIPAL FINDINGS: Peripheral blood samples were collected periodically over 3 years from 15 HIV-1-infected individuals residing in northern Thailand, and amplified env genes from the samples were subjected to computational analysis. The V5 region of gp120 showed highest variability in several samples over 3 years, whereas the V1/V2 and/or V4 regions of gp120 also showed high variability in many samples. In addition, the N-terminal part of the C3 region of gp120 showed highest amino acid diversity among the conserved regions of gp120. Chronological changes in the numbers of amino acid residues in gp120 variable regions and potential N-linked glycosylation (PNLG) sites are involved in increasing the variability of Env gp120. Furthermore, the C3 region contained several amino acid residues potentially under positive selection, and APOBEC3 family protein-mediated G to A mutations were frequently detected in such residues. CONCLUSIONS/SIGNIFICANCE: Several factors, including amino acid substitutions particularly in gp120 C3 and V5 regions as well as changes in the number of PNLG sites and in the length of gp120 variable regions, were revealed to be involved in the molecular evolution of CRF01_AE Env. In addition, a similar tendency was observed between CRF01_AE and subtype C Env with regard to the amino acid variation of gp120 V3 and C3 regions. These results may provide important information for understanding the immunological characteristics of CRF01_AE Env

International Network for Comparison of HIV Neutralization Assays: The NeutNet Report

BACKGROUND: Neutralizing antibody assessments play a central role in human immunodeficiency virus type-1 (HIV-1) vaccine development but it is unclear which assay, or combination of assays, will provide reliable measures of correlates of protection. To address this, an international collaboration (NeutNet) involving 18 independent participants was organized to compare different assays. METHODS: Each laboratory evaluated four neutralizing reagents (TriMab, 447-52D, 4E10, sCD4) at a given range of concentrations against a panel of 11 viruses representing a wide range of genetic subtypes and phenotypes. A total of 16 different assays were compared. The assays utilized either uncloned virus produced in peripheral blood mononuclear cells (PBMCs) (virus infectivity assays, VI assays), or their Env-pseudotyped (gp160) derivatives produced in 293T cells (PSV assays) from molecular clones or uncloned virus. Target cells included PBMC and genetically-engineered cell lines in either a single- or multiple-cycle infection format. Infection was quantified by using a range of assay read-outs that included extracellular or intracellular p24 antigen detection, RNA quantification and luciferase and beta-galactosidase reporter gene expression. FINDINGS: PSV assays were generally more sensitive than VI assays, but there were important differences according to the virus and inhibitor used. For example, for TriMab, the mean IC50 was always lower in PSV than in VI assays. However, with 4E10 or sCD4 some viruses were neutralized with a lower IC50 in VI assays than in the PSV assays. Inter-laboratory concordance was slightly better for PSV than for VI assays with some viruses, but for other viruses agreement between laboratories was limited and depended on both the virus and the neutralizing reagent. CONCLUSIONS: The NeutNet project demonstrated clear differences in assay sensitivity that were dependent on both the neutralizing reagent and the virus. No single assay was capable of detecting the entire spectrum of neutralizing activities. Since it is not known which in vitro assay correlates with in vivo protection, a range of neutralization assays is recommended for vaccine evaluation