FACMAC: Factored multi−agent centralised policy gradients by Peng, B, Rashid, T, Schroeder de Witt, CA, Kamienny, P-A, Torr, PHS, Böhmer, W, Whiteson, S

A poly-functional gene delivery system for cystic fibrosis by Montier, T, Mottais, A, Berchel, M, Le Gall, T, Sibiril, Y, Laurent, V, Davies, L, Gill, D, Hyde, S, Jaffres, P-A

Mechanisms of electrochemical recognition of cations, anions and neutral guest species by redox-active receptor molecules by Beer, P, Gale, P, Chen, G

“…This short review highlights the mechanisms involved in electrochemically sensing cationic, anionic and neutral guest species by redox-active receptors and is an update to a previously published review article (P.D. Beer, P.A. Gale, Z. Chen, Adv. Phys. Org. Chem. 31 (1998) 1). …”

On the Monniaux Problem in abstract interpretation by Fijalkow, N, Lefaucheux, E, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J

“…The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: given a program P, a safety (e.g., non-reachability) specification ϕ, and an abstract domain of invariants D, does there exist an inductive invariant I in D guaranteeing that program P meets its specification ϕ. …”

ANALYSIS OF PRODUCT DOPPLER-BROADENED PROFILES GENERATED FROM PHOTOINITIATED BIMOLECULAR REACTIONS by Aoiz, F, Brouard, M, Enriquez, P, Sayos, R

“…Brouard, S. P. Duxon, P. A. Enriquez and J. P. Simons, J. Chem. Soc., Faraday Trans., 1993, 89, 1435) in this issue, is divided into two parts. …”

Strategies for MDP bisimilarity equivalence and inequivalence by Kiefer, S, Tang, Q

“…<p>A labelled Markov decision process (MDP) is a labelled Markov chain with nondeterminism; i.e., together with a strategy a labelled MDP induces a labelled Markov chain. …”

Teaching Formal Methods

“…The organizers gathered lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. </p> <p> <a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/tfm2009.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/tfm2009.jpg\"' width='\"15\"'> </img></a> </p>…”

Imaging the proteins pseudoazurin and apo-pseudoazurin on gold by STM in air: effect of the bias voltage. by Contera, SA, Iwasaki, H

“…Both proteins adsorbed onto a Au (1 1 1) surface are visible to STM individually, forming into layers and multilayers, with currents from about 55 to 600 pA. The images reproduce well the expected dimensions laterally but not in the z direction. …”

Spring School on Datatype−Generic Programming

“…This volume is a contribution towards improving the state of the art. <p> <a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp-thumb.jpg\"' width='\"15\"'/> </a> </p>…”

Design of a very low energy beamline for NA61/SHINE by Mussolini, CA, Charitonidis, N, Nagai, Y, Zimmerman, ED

“…<p>A new, low-energy branch is being designed for the H2 beamline at the CERN North Experimental Area. …”

Dirichlet Bayesian network scores and the maximum entropy principle by Scutari, M

“…<p>A classic approach for learning Bayesian networks from data is to select the maximum a posteriori (MAP) network. …”

Generic Programming

“…This book contains revised versions of the papers that were presented at the conference.</p> <p><a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/wcgp.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/wcgp-thumb.jpg\"' width='\"15\"'/> </a></p>…”

Efficient parametrization of multi-domain deep neural networks by Rebuffi, S, Bilen, H, Vedaldi, A

“…<p>A practical limitation of deep neural networks is their high degree of specialization to a single task and visual domain. …”

Net2Vec: Quantifying and explaining how concepts are encoded by filters in deep neural networks by Fong, R, Vedaldi, A

“…In this paper, we show that this approach can favor easy-to-interpret cases that are not necessarily representative of the average behavior of a representation.</p> <br/> <p>A more realistic but harder-to-study hypothesis is that semantic representations are distributed, and thus filters must be studied in conjunction. …”

A Bayesian approach to magnetic moment determination using μSR by Blundell, S, Steele, A, Lancaster, T, Wright, J, Pratt, F

“…<p>A significant challenge in zero-field μSR experiments arises from the uncertainty in the muon site. …”

Tablet app for child cognitive assessment in low and middle income countries by Francis-Lyon, P, Attiga, P, Manjunath, Y, Ramasubramanian, R, Chaudhuri, U, Nguyen, V, Xu, T, Zeng, S, Abubakar, A, Newton, C

“…However, early identification of developmental delay enables early intervention, often resulting in developmental gains and a lifetime of improved capacity and fulfillment.</p> <br/> <p>A team from the Neuroscience research unit at Kenya Medical Research Institute (KEMRI) has been actively engaged in developing and adapting measures of child development for use in Low Income Countries. …”

Demonstration of voltage-dependent and TTX-sensitive Na(+)-channels in human melanocytes. by Ekmehag, B, Persson, B, Rorsman, P, Rorsman, H

“…The maximum peak current was observed at +10 mV and reached an average amplitude of about 270 pA. During the depolarizations, the current inactivated with a time constant of about 2 ms. …”

Bayesian model selection of lithium-ion battery models via Bayesian quadrature by Adachi, M, Kuhn, Y, Horstmann, B, Latz, A, Osborne, MA, Howey, DA

“…<p>A wide variety of battery models are available, and it is not always obvious which model ‘best’ describes a dataset. …”

Specification and Complexity of Collaborative Text Editing by Hagit, A, Sebastian, B, Alexey, G, Adam, M, Yang, H, Marek, Z

“…This paper provides a precise specification of a replicated list object, which models the core functionality of replicated systems for collaborative text editing.We define a strong list specification, which we prove is implemented by an existing protocol, as well as a weak list specification, which admits additional protocol behaviors.</p> <p>A major factor determining the efficiency and practical feasibility of a collaborative text editing protocol is the space overhead of the metadata that the protocol must maintain to ensure correctness. …”

Integrated Formal Methods

“…The success of the series reflects the enthusiasm and efforts of the IFM community, and the organisers would like to thank the speakers, the committee, and the reviewers for their contributions. <p> <a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ifm2007.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ifm2007-thumb.jpg\"' width='\"15\"'/> </a> </p>…”