Mathematics

Robert H. Gilman, Yuri Gurevich, Alexei Miasnikov

MSR-TR-2007-63 | September 2009

Alexander E. Holroyd

Probability Theory and Related Fields | September 2009, 巻150: pp. 511-527

Alexander E. Holroyd, Russell Lyons, Terry Soo

The Annals of Probability | August 2009, pp. 1938-1982

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Theoretical Computer Science | August 2009, 巻410: pp. 3166-3185

プロジェクト プロジェクト

Andy Gordon, Hans Hüttel, René Rydhof Hansen

Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo 2008) | August 2009

Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb

Molecular Biosystems | August 2009, 巻5: pp. 1502-1511

プロジェクト

Nick Benton, Andrew Kennedy, Carsten Varming

Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs) | August 2009

Grant Olney Passmore, Leonardo de Moura

MSR-TR-2009-913 | July 2009

Jonathan A. Sherratt, Matthew Smith, Jens D.M. Rademacher

Proceedings of that National Academy of Sciences of the United States of America, 106(27), pp. 10890-10895 | July 2009

David Wipf, J.P. Owen, H.T. Attias, K. Sekihara, S. S. Nagarajan

Advances in Neural Information Processing Systems 21, MIT Press, 2009. | July 2009