Mathematics

Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai

To appear in In Proceedings of the 11th Theory of Cryptography Conference (TCC), 2014 | January 2014

Matthew R Lakin, Andrew Phillips

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

Project Project

Alexandr Andoni, Rina Panigrahy, Gregory Valiant, Li Zhang

SODA | January 2014

Project

Janko Gravner, Alexander E. Holroyd

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

Joel Oren, Brendan Lucier

Association for the Advancement of Artificial Intelligence 2014 | January 2014

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

IJCAR | January 2014

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

Sanjeev Khanna, Brendan Lucier

Symposium on Discrete Algorithms 2014 | January 2014

Yuri Gurevich

January 2014

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