Publication DNF Sparsification and a faster deterministic counting algorithm Parikshit Gopalan, Raghu Meka, Omer Reingold CCC’11 | June 2012
Publication On Unit-Refutation Complete Formulae with Existentially Quantified Variables Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis Principles of Knowledge Representation and Reasoning (KR 2012) | June 2012
Publication QuickDraw: Improving Drawing Experience for Geometric Diagrams Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr. CHI’12, May 5-10, 2012, Austin, Texas, USA | May 2012 Project
Publication Stochastic Simulation of Multiple Process Calculi for Biology Matthew R. Lakin, Loïc Paulevé, Andrew Phillips Theoretical Computer Science | May 2012, Vol 431: pp. 181-206 Project Project Project
Publication Mixing Time Of Near-Critical Random Graphs Jian Ding, Eyal Lubetzky, Yuval Peres The Annals of Probability | May 2012, Vol 40: pp. 979-1008
Publication Hitting Times For Random Walks With Restarts Svante Janson, Yuval Peres SIAM Journal on Discrete Mathematics | May 2012, Vol 26: pp. 537-547
Publication How The Initialization Affects The Stability Of The K-Means Algorithm Sébastien Bubeck, Marina Meilă, Ulrike Von Luxburg ESAIM: Probability and Statistics | May 2012
Publication Inferring Amazon leaf demography from satellite observations of leaf area index Drew Purves Biogeosciences | May 2012
Publication Cover Times, Blanket Times, And Majorizing Measures Jian Ding, James R. Lee, Yuval Peres Annals of Mathematics | May 2012, pp. 1409-1471
Publication Towards the rational design of synthetic cells with prescribed population dynamics Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew Phillips Journal of the Royal Society Interface | May 2012, Vol 9: pp. 2883-2898 Project Project
