Predictive correlates of response to the anti-PD-L1 antibody MPDL3280A in cancer patients

…, JC Soria, M Kowanetz, GD Fine, O Hamid, MS Gordon… - Nature, 2014 - nature.com
The development of human cancer is a multistep process characterized by the accumulation
of genetic and epigenetic alterations that drive or reflect tumour progression. These …

HOL: A proof generating system for higher-order logic

MJC Gordon - VLSI specification, verification and synthesis, 1988 - Springer
HOL is a version of Robin Milner’s LCF theorem proving system for higher-order logic. It is
currently being used to investigate (1) how various levels of hardware behaviour can be …

[HTML][HTML] Differentiation therapy of acute promyelocytic leukemia with tretinoin (all-trans-retinoic acid)

…, A Jakubowski, J Gabrilove, MS Gordon… - … England Journal of …, 1991 - Mass Medical Soc
Background and Methods. Patients with acute promyelocytic leukemia have a characteristic
(15;17) translocation, with a breakpoint on chromosome 17 in the region of the retinoic acid …

[BOOK][B] Introduction to HOL: A theorem proving environment for higher order logic

MJC Gordon, TF Melham - 1993 - dl.acm.org
Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that
can bind names in their arguments. It takes a semantics in (permissive-) nominal sets. In …

[HTML][HTML] Wnt signaling: multiple pathways, multiple receptors, and multiple transcription factors

MD Gordon, R Nusse - Journal of Biological Chemistry, 2006 - ASBMB
Signaling pathways are an ever present force in every animal’s life. During development,
these pathways provide critical cell-cell communication required to coordinate the activities of …

[BOOK][B] Edinburgh LCF: a mechanised logic of computation

MJ Gordon, AJ Milner, CP Wadsworth - 1979 - Springer
To give a first impression of the system, we reproduce below a session at a terminal in which
simple uses of various ML constructs are illustrated. To make the session easier to follow, it …

[BOOK][B] Antioxidants in food: practical applications

J Pokorny, N Yanishlieva, MH Gordon - 2001 - books.google.com
Antioxidants are an increasingly important ingredient in food processing. Their traditional
role is, as their name suggests, in inhibiting the development of oxidative rancidity in fat-based …

[BOOK][B] Cobra II: The inside story of the invasion and occupation of Iraq

MR Gordon, BE Trainor - 2006 - books.google.com
Written by the chief military correspondent of the New York Times and a prominent retired
Marine general, this is the definitive account of the invasion of Iraq. A stunning work of …

[PDF][PDF] Randomized phase III trial of high-dose interleukin-2 versus subcutaneous interleukin-2 and interferon in patients with metastatic renal cell carcinoma

…, TF Logan, JM Kirkwood, MS Gordon… - Journal of clinical …, 2004 - bjshsw.com.cn
Gordon, Jeffrey A. Sosman, Marc S. Ernstoff, Christopher PG Tretter, Walter J. … Dutcher,
and Michael B. Atkins … Margolin, Chiron, Schering; Michael B. Atkins, Chiron. Performed …

[BOOK][B] The denotational description of programming languages: an introduction

MJC Gordon - 2012 - books.google.com
This book explains how to formally describe programming languages using the techniques
of denotational semantics. The presentation is designed primarily for computer science …