These pages contain selected publications which serve as examples of the contributions by the researchers at Oxford and the ATI.

Publications by Oxford researchers funded by the Alan Turing Institute are included.

Spectral gaps for a Metropolis–Hastings algorithm in infinite dimensions

Date: 2014

Categories:

Reference

Hairer, M., Stuart, A.M. and Vollmer, S.J. (2014) ‘Spectral gaps for a Metropolis–Hastings algorithm in infinite dimensions’, The Annals of Applied Probability, 24(6), pp. 2455–2490. doi: 10.1214/13-aap982.

Full text available at arxiv.org

Author

Dr. Sebastian Vollmer

The ecology in the hematopoietic stem cell niche determines the clinical outcome in chronic myeloid leukemia

Date: 2014

Categories:

Reference

MacLean, A.L., Filippi, S. and Stumpf, M.P.H. (2014) ‘The ecology in the hematopoietic stem cell niche determines the clinical outcome in chronic myeloid leukemia’, Proceedings of the National Academy of Sciences, 111(10), pp. 3883–3888.

Full text available at www.pnas.org

Author

Dr. Sarah Filippi

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems

Date: 2014

Categories:

Reference

Motik, B., Nenov, Y., Piro, R., Horrocks, I. and Olteanu, D. (2014) ‘Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems’, 28th Nat. Conference on Artificial Intelligence (AAAI 14), pp. 129-137.

Full text available at www.cs.ox.ac.uk

Author

Prof. Ian Horrocks

Virtual economies: Design and analysis

Date: 2014

Categories:

Reference

Lehdonvirta, V. and Castronova, E. (2014) Virtual economies: Design and analysis. United States: MIT Press.

Full text available at mitpress.mit.edu

Author

Prof. Vili Lehdonvirta

Bounds of restricted isometry constants in extreme asymptotics: Formulae for Gaussian matrices

Date: 2014

Categories:

Reference

Bah, B. and Tanner, J. (2014) ‘Bounds of restricted isometry constants in extreme asymptotics: Formulae for Gaussian matrices’, Linear Algebra and its Applications, 441(1), pp. 88–109. doi: 10.1016/j.laa.2012.11.024.

Full text available at people.maths.ox.ac.uk

Author

Prof. Jared Tanner

On optimality of kernels for approximate Bayesian computation using sequential Monte Carlo

Date: 2013

Categories:

Reference

Filippi, S., Barnes, C.P., Cornebise, J. and Stumpf, M.P.H. (2013) ‘On optimality of kernels for approximate Bayesian computation using sequential Monte Carlo’, Statistical Applications in Genetics and Molecular Biology, 12(1), pp. 87–107. doi: 10.1515/sagmb-2012-0069.

Full text available at arxiv.org

Author

Dr. Sarah Filippi

Local network patterns in protein-protein interfaces

Date: 2013

Categories:

Reference

Luo, Q., Hamer, R., Reinert, G. and Deane, C.M. (2013) ‘Local network patterns in protein-protein interfaces’, PLoS ONE, 8(3), p. e57031. doi: 10.1371/journal.pone.0057031.

Full text available at journals.plos.org

Authors

Prof. Gesine Reinert
Prof. Charlotte Deane

Maximizing the information content of experiments in systems biology

Date: 2013

Categories:

Reference

Liepe, J., Filippi, S., Komorowski, M. and Stumpf, M.P.H. (2013) ‘Maximizing the information content of experiments in systems biology’, PLoS Computational Biology, 9(1), pp. 1–13. doi: 10.1371/journal.pcbi.1002888.

Full text available at journals.plos.org

Author

Dr. Sarah Filippi

Query answering under probabilistic uncertainty in Datalog+ / − ontologies

Date: 2013

Categories:

Reference

Gottlob, G., Lukasiewicz, T., Martinez, M.V. and Simari, G.I. (2013) ‘Query answering under probabilistic uncertainty in Datalog+ / − ontologies’, Annals of Mathematics and Artificial Intelligence, 69(1), pp. 37–72. doi: 10.1007/s10472-013-9342-1.

Full text available at link.springer.com

Author

Prof. Thomas Lukasiewicz