illustration of mathematical symbols, a plus sign, and a calculator on a green gradient background

Mathematics

Advancing the mathematical foundations that drive breakthroughs across computing, AI, and the sciences.

Current selections

Sort by: Most recent

Clear selections

Publication

How range shifts induced by climate change affect neutral evolution

Greg McInerny, J.R.G Turner, H.Y Wong, J.M.J Travis, T.G Benton

Proceedings of the Royal Society B. | January 2009

http://rspb.royalsocietypublishing.org/content/early/2009/02/25/rspb.2008.1567.abstract

Publication

Probabilistically Checkable Arguments

Yael Tauman Kalai, Ran Raz

Advances in Cryptology – CRYPTO 2009; Lecture Notes in Computer Science, 2009 | January 2009

Publication

High & Far: How the World’s Protected Areas Have Avoided Threat

Lucas Joppa, Alexander Pfaff

PLoS ONE | January 2009, Vol 4: pp. e8273

Publication

Settling the Complexity of Arrow-Debreu Equilibria in Markets with Additively Separable Utilities

Xi Chen, Decheng Dai, Ye Du, Shang-Hua Teng

MSR-TR-2009-49 | January 2009

Publication

The complexity of the annihilating polynomial

Conference on Computational Complexity (CCC) | January 2009

Publication

An Abstract Machine for the Stochastic Bioambient Calculus

Andrew Phillips

Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159

Project Project

Publication

A Visual Process Calculus for Biology

Andrew Phillips

Symbolic Systems Biology: Theory and Methods | Published by Jones and Bartlett Publishers | 2009

Project Project

Publication

Considering protected area categories in conservation analyses

C. Jenkins, L.N. Joppa, Lucas Joppa

Biological Conservation | January 2009, Vol 143: pp. 7-8

Publication

Active Learning and Semi-supervised Learning for Speech Recognition: A Unified Framework using the Global Entropy Reduction Maximization Criterion

Dong Yu, Balakrishnan Varadarajan, Li Deng, Alex Acero

Computer Speech and Language – Special Issue on Emergent Artificial Intelligence Approaches for Pattern Recognition in Speech and Language Processing | January 2009

Project Project

Publication

Trees and Markov convexity

James R. Lee, Assaf Naor, Yuval Peres

Geometric and Functional Analysis | December 2008, Vol 18: pp. 1609-1659

Your Privacy Choices