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

Mathematics

Current selections

Sort by: Most recent

Clear selections

Publication

Learning sparse polynomials

Alexandr Andoni, Rina Panigrahy, Gregory Valiant, Li Zhang

SODA | January 2014

Publication

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips

Practical Aspects of Declarative Languages – 16th International Symposium | January 2014

Project Project

Publication

Percolation and Disorder-Resistance in Cellular Automata

Janko Gravner, Alexander E. Holroyd

The Annals of Probability | January 2014, Vol 43: pp. 1731-1776

Publication

Online (Budgeted) Social Choice

Joel Oren, Brendan Lucier

Association for the Advancement of Artificial Intelligence 2014 | January 2014

Publication

Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

IJCAR | January 2014

Publication

The biodiversity of species and their rates of extinction, distribution, and protection

SL Pimm, CN Jenkins, R Abell, TM Brooks, JL Gittleman, Lucas Joppa, PH Raven, CM Roberts, JO Sexton

Science | January 2014, Vol 344(6187): pp. 1246752

Publication

What is an Algorithm? (Revised)

Yuri Gurevich

January 2014

In Church's Thesis: Logic, Mind and Nature (eds. A. Olszewski et al.) Copernicus Center Press 2014.

Publication

Influence Maximization in Undirected Networks

Sanjeev Khanna, Brendan Lucier

Symposium on Discrete Algorithms 2014 | January 2014

Video

Environmental Science on the Cloud with Microsoft Azure – Webinar

December 17, 2013 | Cristián Bonacic, Hugo Andres Neyem, Kenji Takeda, and Tanya Berger-Wolf

Scientific instruments, environmental sensors, and large-scale simulations are creating more scientific data than ever before. By using advanced, large-scale information processing facilities, scientists are now able to analyze massive volumes of data in ways that…

Publication

Semantics-To-Syntax Analyses of Algorithms

Yuri Gurevich

Turing’s Revolution – The Impact of His Ideas about Computability, Semantics-To-Syntax Analyses of Algorithms | Published by BirkhÃ¤user/Springer 2015 | 2013 | A chapter in G. Sommaruga and T. Strahm (eds.), Turing’s Revolution – The Impact of His Ideas about Computability edition