The Library
Browse by Funders
Up a level |
Number of items: 2.
C
Chakrabarti, Amit, Cormode, Graham, McGregor, Andrew, Thaler, Justin and Venkatasubramanian, Suresh (2015) Verifiable stream computation and Arthur-Merlin communication. In: 30th Conference on Computational Complexity (CCC’15), Portland, Oregon, 17-19 Jun 2015. Published in: Leibniz international proceedings in informatics (LIPIcs) pp. 217-243. doi:10.4230/LIPIcs.CCC.2015.217 ISSN 1868-8969.
M
Mehta, Dhagash, Hauenstein, Jonathan D., Niemerg, Matthew, Simm, Nick and Stariolo, Daniel A. (2015) Energy landscape of the finite-size mean-field 2-spin spherical model and topology trivialization. Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), 91 (2). 022133. doi:10.1103/PhysRevE.91.022133 ISSN 1539-3755.