Publication Date | Article Title | Author(s) |
2019 | Robotic pick-and-place of novel objects in clutter with multi-affordance grasping and cross-domain image matching | Zeng, Andy; Song, Shuran; Yu, Kuan-Ting; Donlon, Elliott; Hogan, Francois R; et al |
2019 | Quantified Invariants via Syntax-Guided Synthesis | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types | Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti |
2019 | Steady-State Non-Line-Of-Sight Imaging | Chen, Wenzheng; Daneau, Simon; Brosseau, Colin; Heide, Felix |
2019 | Optimal Short-Circuit Resilient Formulas | Braverman, Mark; Efremenko, Klim; Gelles, Ran; Yitayew, Michael A |
2019 | How DNS over HTTPS is Reshaping Privacy, Performance, and Policy in the Internet Ecosystem | Borgolte, Kevin; Chattopadhyay, Tithi; Feamster, Nick; Kshirsagar, Mihir; Holland, Jordan; et al |
2019 | Interaction-dependent anisotropy of fractional quantum Hall states | Krishna, A; Chen, F; Ippoliti, M; Bhatt, Ravindra N |
2019 | Localization and interactions in topological and nontopological bands in two dimensions | Krishna, A; Ippoliti, M; Bhatt, Ravindra N |
2019 | Quantum Lightning Never Strikes the Same State Twice | Zhandry, Mark |
2019 | Abstraction and Subsumption in Modular Verification of C Programs | Beringer, Lennart; Appel, Andrew W |
2019 | Revisiting Post-quantum Fiat-Shamir | Liu, Qipeng; Zhandry, Mark |
2019 | NSTX/NSTX-U theory, modeling and analysis results | Kaye, SM; Battaglia, DJ; Baver, D; Belova, E; Berkery, JW; et al |
2019 | Spanoids - An Abstraction of Spanning Structures, and a Barrier for LCCs | Dvir, Zeev; Gopi, Sivakanth; Gu, Yuzhou; Wigderson, Avi |
2019 | The Distinction Between Fixed and Random Generators in Group-Based Assumptions | Bartusek, James; Ma, Fermi; Zhandry, Mark |
2019 | The Magic of ELFs | Zhandry, Mark |
2019 | On the Number of Ordinary Lines Determined by Sets in Complex Space | Basit, Abdul; Dvir, Zeev; Saraf, Shubhangi; Wolf, Charles |
2019 | Matrix Rigidity and the Croot-Lev-Pach Lemma | Dvir, Zeev; Edelman, Benjamin L |
2019 | Implicit Regularization in Deep Matrix Factorization | Arora, Sanjeev; Cohen, Nadav; Hu, Wei; Luo, Yuping |
2019 | Learning Metric Graphs for Neuron Segmentation in Electron Microscopy Images | Luther, Kyle; Seung, H Sebastian |
2019 | Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries | Kothari, Pravesh; Singla, Sahil; Mohan, Divyarthi; Schvartzman, Ariel; Weinberg, S Matthew |