Mathematics

Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev

August 2015

Brendan Lucier, Joel Oren, Yaron Singer

Knowledge Discovery and Data Mining 2015 | August 2015

ISBN: 978-1-4503-3664-2/15/08

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

2015 Conference on Automated Deduction | July 2015

Github Project

Hu Fu, Nicole Immorlica, Brendan Lucier, Philipp Strack

ACM Conference on Electronic Commerce 2015 | July 2015

Andreas Blass, Yuri Gurevich

Springer series on Outstanding Contributions to Logic | July 2015

Annie Raymond, Mohit Singh, Rekha R. Thomas

July 2015

Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

ACS Synthetic Biology | June 2015, Vol 4: pp. 898-913

Project Project

Sourav Chakraborty, Raghav Kulkarni, Satya Lokam, Nitin Saurabh

Lecture Notes in Computer Science | June 2015

Christian Borgs, Jennifer Chayes, Adam Smith

June 2015

Chia-Jung Lee, Satya Lokam, Shi-Chun Tsai, Ming-Chuan Yang

2015 IEEE International Symposium on Information Theory (ISIT) | June 2015

ISBN: Electronic ISBN: 978-1-4673-7704-1 USB ISBN: 978-1-4673-7703-4