Learn More
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. <i>Differential privacy</i> offers a strong statistical guarantee that the effect of the presence of any individual in a database will be negligible, even when an adversary has auxiliary knowledge. Much of the prior work in this area(More)
CD8(+) T cell responses focus on a small fraction of pathogen- or vaccine-encoded peptides, and for some pathogens, these restricted recognition hierarchies limit the effectiveness of antipathogen immunity. We found that simian immunodeficiency virus (SIV) protein-expressing rhesus cytomegalovirus (RhCMV) vectors elicit SIV-specific CD8(+) T cells that(More)
The goal of an AIDS vaccine regimen designed to induce cellular immune responses should be to reduce the viral set point and preserve memory CD4 lymphocytes. Here we investigated whether vaccine-induced cellular immunity in the absence of any Env-specific antibodies can control viral replication following multiple low-dose challenges with the highly(More)
Certain major histocompatibility complex (MHC) class I alleles are strongly associated with control of human immunodeficiency virus and simian immunodeficiency virus (SIV). CD8(+) T cells specific for epitopes restricted by these molecules may be particularly effective. Understanding how CD8(+) T cells contribute to control of viral replication should yield(More)
All human immunodeficiency virus (HIV) vaccine efficacy trials to date have ended in failure. Structural features of the Env glycoprotein and its enormous variability have frustrated efforts to induce broadly reactive neutralizing antibodies. To explore the extent to which vaccine-induced cellular immune responses, in the absence of neutralizing antibodies,(More)
Major histocompatibility complex E (MHC-E) is a highly conserved, ubiquitously expressed, nonclassical MHC class Ib molecule with limited polymorphism that is primarily involved in the regulation of natural killer (NK) cells. We found that vaccinating rhesus macaques with rhesus cytomegalovirus vectors in which genes Rh157.5 and Rh157.4 are deleted results(More)
The expression of endogenous retrotransposable elements, including long interspersed nuclear element 1 (LINE-1 or L1) and human endogenous retrovirus, accompanies neoplastic transformation and infection with viruses such as HIV. The ability to engender immunity safely against such self-antigens would facilitate the development of novel vaccines and(More)
Cryptic major histocompatibility complex class I epitopes have been detected in several pathogens, but their importance in the immune response to AIDS viruses remains unknown. Here, we show that Mamu-B*17(+) simian immunodeficiency virus (SIV)mac239-infected rhesus macaques that spontaneously controlled viral replication consistently made strong CD8(+) T(More)
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out to be an attractively simple one, and maintains all the usual theoretical and algorithmic properties, for example decidability of type-checking. Moreover it results in a rich(More)