Mathematics

Sara Malvar, Rafael Gabler Gontijo

23rd ABCM International Congress of Mechanical Sciences and Engineering | September 2015

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya, Minwoo Jeong

Association for Computational Linguistics (ACL) | August 2015

Project Project

Young-Bum Kim, Karl Stratos, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

Project Project

Young-Bum Kim, Ruhi Sarikaya

Association for Computational Linguistics (ACL) | August 2015

Project Project

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211

Project Project

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