On these elements, clause (1.b) is immediate: if C[Ṽ ] is a value, then also C[W̃ ] is a value and they are in E. This is sufficient, because E∈ X . Clause (1.a) is proved by an induction on C. The details are easy: the only possible case is C = C1C2; we use the fact that if λx.P E λx.Q, and V E W , and E ∈ Y , then (P{V/x}, Q{W/x}) ∈ XE′ for some E ′ with E ⊆ E ′, which follows from the definit...

The brine shrimp Artemia has three extracellular hemoglobins (Hbs) that are developmentally expressed and exhibit distinct oxygen-binding characteristics (Heip, Moens, and Kondo 1978; Heip et al. 1978 ). These Hbs are composed of two polymers, each of which comprises nine covalently linked globin domains. Although the cDNA sequences of two nine-domain globins from Artemia have been published, t...

Expression of non-self antigens by tumors can induce activation of T cells in vivo, although this activation can lead to either immunity or tolerance. CD8+ T-cell activation can be direct (if the tumor expresses MHC class I molecules) or indirect (after the capture and cross-presentation of tumor antigens by dendritic cells). The modes of tumor antigen capture by dendritic cells in vivo remain ...

BACKGROUND Phosphatidylserine (PS) normally confined to the cytoplasmic leaflet of plasma membrane (PM) is externalized to the exoplasmic leaflet (exPS) during apoptosis, where it serves as an "eat-me" signal to phagocytes. In addition, some living cells such as macrophages also express exPS. RESULTS A secreted Annexin V (sAnxV::GFP) PS sensor reveals that exPS appears early on apoptotic cell...

Numerous studies have suggested a role for natural killer (NK) cells in attenuation of HIV-1 disease progression via recognition by killer-cell immunoglobulin-like receptors (KIRs) of specific HLA class I molecules. The role of KIR and HLA class I has not been addressed in the context of maternal-infant HIV-1 transmission. KIR and HLA class I B and C genes from 224 HIV-1-infected mothers and 22...

Objective Studies investigating the contribution of Cytochrome P4502E1 (CYP2E1) polymorphisms to the etiology of urinary cancer draw inconsistent conclusions. Thus, we performed a meta-analysis to evaluate the association between CYP2E1 Rsa I/Pst I and Dra I polymorphisms and urinary cancer susceptibility. Materials and Methods Meta-analysis based on the eligible case-control studies that ass...

Killer immunoglobulin-like receptors (KIRs) are related to the activation and inhibition of NK cells and may play an important role in the innate response against infection with viruses such as hepatitis C virus (HCV). We examined whether the different combinations of KIRs with their HLA class I ligands influenced the response to combined treatment (pegylated alpha interferon and ribavirin) of ...

background: protein-protein interactions do not provide any direct information re­garding the domains within the proteins that mediate the interactions. the majority of proteins are multi domain proteins and the interaction between them is often defined by the pairs of their domains. most of the former studies focus only on interacting do­main pairs. however they do not consider the interaction...