A. Rosenbusch

Learn More
Blockade of colony-stimulating factor-1 (CSF-1) limits macrophage infiltration and improves response of mammary carcinomas to chemotherapy. Herein we identify interleukin (IL)-10 expression by macrophages as the critical mediator of this phenotype. Infiltrating macrophages were the primary source of IL-10 within tumors, and therapeutic blockade of IL-10(More)
where b ranges over a set BExp of boolean expressions, a ranges over a set Act of basic actions and p is a real number with 0 < p < 1. The aim of the current paper is to perform this task for the partial correctness case where the direct semantics of a program P is given by a function from the set S of states to PLV(S), the convex lower powerdomain of(More)
where b ranges over a set BExp of boolean expressions, a ranges over a set Act of basic actions and p is a real number with 0 < p < 1. We write cond(b, P,Q) for the conditional usually denoted as if b then P else Q fi and while(b, P ) for the while loop usually denoted as while b do P od The program P8Q nondeterministically executes either P or Q. The(More)
  • 1