Primary graft rejection after marrow transplantation occurs more frequently in patients receiving HLA-haploidentical compared with HLA-identical sibling transplants. Both human and experimental animal data suggest that the cells responsible for this phenomenon are either host natural killer (NK) cells, T cells, or both. To investigate the mechanisms of graft rejection, we have developed a canin...

We study logic programs under Gelfond’s translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T and S5 are equivalent. Furthermore, we also show that these logics are equivalent to a nonmonotonic logic that we construct using the well known...

We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. We also draw some consequences of this fact. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP -complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-ca...

Ribosomal protein S5 is critical for small ribosomal subunit (SSU) assembly and is indispensable for SSU function. Previously, we identified a point mutation in S5, (G28D) that alters both SSU formation and translational fidelity in vivo, which is unprecedented for other characterized S5 mutations. Surprisingly, additional copies of an extraribosomal assembly factor, RimJ, rescued all the pheno...

A key unresolved question regarding the basic function of voltage-gated ion channels is how movement of the voltage sensor is coupled to channel opening. We previously proposed that the S4-S5 linker couples voltage sensor movement to the S6 domain in the human ether-a'-go-go-related gene (hERG) K+ channel. The recently solved crystal structure of the voltage-gated Kv1.2 channel reveals that the...

Human ether-à-go-go-related gene (hERG) K(+) channels have unusual gating kinetics. Characterised by slow activation/deactivation but rapid inactivation/recovery from inactivation, the unique gating kinetics underlie the central role hERG channels play in cardiac repolarisation. The slow activation and deactivation kinetics are regulated in part by the S4-S5 linker, which couples movement of th...

OBJECTIVES Central serotonergic dysfunction is reported in major depressive disorder (MDD). Serotonin is primarily metabolized to 5-hydroxyindole acetic acid (5-HIAA) and its plasma, urinary or cerebrospinal fluid concentrations were extensively studied in depression. No data is available on salivary 5-HIAA (s5-HIAA) in MDD to date. METHODS The basal, non-stimulated s5-HIAA concentration was ...