Learn More
Functionally diverse T cell populations interact to maintain homeostasis of the immune system. We found that human and mouse antigen-activated T cells with high expression of the lymphocyte surface marker CD52 suppressed other T cells. CD52(hi)CD4(+) T cells were distinct from CD4(+)CD25(+)Foxp3(+) regulatory T cells. Their suppression was mediated by(More)
Regulatory T cells (Treg) prevent the emergence of autoimmune disease. Prototypic natural Treg (nTreg) can be reliably identified by demethylation at the Forkhead-box P3 (FOXP3) locus. To explore the methylation landscape of nTreg, we analyzed genome-wide methylation in human naive nTreg (rTreg) and conventional naive CD4(+) T cells (Naive). We detected(More)
Abstraction plays a fundamental role in combating state-space explosion in model checking. Firstly, we study how to abstract models of mu-calculus and derive abstractions that are sound, and apply them to abstracting Kripke structures. However, a lack of completeness in the abstract interpretation leads to spurious counterexamples in the abstract model(More)
OBJECTIVE This study aims to evaluate the survival of patients with systemic lupus erythematosus (SLE)-associated pulmonary arterial hypertension (PAH) by a systematic review and meta-analysis. METHODS Studies were searched from MEDLINE (OVID), EMBASE, Cochrane Central Register of Controlled Trial and Scopus databases, and were selected according to the(More)
Dr.VIS is a database of human disease-related viral integration sites (VIS). The number of VIS has grown rapidly since Dr.VIS was first released in 2011, and there is growing recognition of the important role that viral integration plays in the development of malignancies. The updated database version, Dr.VIS v2.0 (http://www.bioinfo.org/drvis or(More)
Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be(More)