Integration of an LP Solver into Interval Constraint Propagation
This paper describes the integration of an LP solver into iSAT, a Satisfiability Modulo Theories solver that can solve Boolean combinations of linear and nonlinear constraints. iSAT is a tight integration of the well-known DPLL algorithm and interval constraint propagation allowing it to reason about linear and nonlinear constraints. As interval arithmetic is known to be less efficient on solving linear programs, we will demonstrate how the integration of an LP solver can improve the overall solving performance of iSAT.
Blockade of PD-L1 (B7-H1) augments human tumor-specific T cell responsesin vitro
Human tumors frequently escape immune destruction, despite the presence of cytotoxic T cells (CTL) recognizing tumor-associated antigens (TAA). We have previously shown that programmed death ligand-1 (PD-L1), a recently identified ligand of the B7 superfamily, is expressed on murine tumors and can inhibit antitumor immune responses. To evaluate the clinical relevance of our animal model findings, we examined human tumors and tumor-specific T cells. We found PD-L1 to be constitutively expressed on human renal cell carcinoma (RCC) cell lines and upregulated on human melanoma cell lines upon exposure to interferon-gamma. Similarly, we found binding of anti-PD-L1 monoclonal antibody (mAb) on fr…