Connective tissue growth factor: Potential role in glomerulosclerosis and tubulointerstitial
fibrosis. Transforming growth factor beta (TGF-β) is a pivotal driver of glomerulosclerosis and …

A key factor driving the underlying pathyphysiology of “chronic rejection” in organ
transplantation is a persistent T cell-mediated alloimmune response. Members of both the …

Trace properties, which have long been used for reasoning about systems, are sets of
execution traces. Hyperproperties, introduced here, are sets of trace properties …

Civitas is the first electronic voting system that is coercion-resistant, universally and voter
verifiable, and suitable for remote voting. This paper describes the design and …

Polyglot is an extensible compiler framework that supports the easy creation of compilers for
languages similar to Java, while avoiding code duplication. The Polyglot framework is useful …

Background. Acute interstitial nephritis (AIN) is a recognized cause of reversible acute renal
failure characterized by the presence of an interstitial inflammatory cell infiltrate. Methods. In …

T cell–depleting agents are being tested as part of clinical tolerance strategies in humans
with autoimmunity and transplantation. The immunosuppressive activity of anti-thymocyte …

CD8+ T cell depletion renders CD28-deficient mice susceptible to experimental autoimmune
encephalomyelitis (EAE). In addition, CD8–/–CD28–/–double-knockout mice are susceptible …

T-bet plays a crucial role in Th1 development. We investigated the role of T-bet in the
development of allograft rejection in an established MHC class II–mismatched (bm12 into …

Two new logics for verification of hyperproperties are proposed. Hyperproperties
characterize security policies, such as noninterference, as a property of sets of computation …