#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2009

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Brian Ruffell, Debbie Chang-Strachan, +7 authors Lisa M Coussens
- Cancer cell
- 2014

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)

- Klaus Keimel, A. Rosenbusch, Thomas Streicher
- Theor. Comput. Sci.
- 2011

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)

- Klaus Keimel, A. Rosenbusch, Thomas Streicher
- Ann. Pure Appl. Logic
- 2009

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
- ›