Publication Date | Article Title | Author(s) |
2019 | A Theoretical Analysis of Contrastive Unsupervised Representation Learning | Saunshi, Nikunj; Plevrakis, Orestis; Arora, Sanjeev; Khodak, Mikhail; Khandeparkar, Hrishikesh |
2019 | A Framework for Time-Consistent, Risk-Sensitive Model Predictive Control: Theory and Algorithms | Singh, S; Chow, Y; Majumdar, Anirudha; Pavone, M |
2019 | Task-Driven Estimation and Control via Information Bottlenecks | Pacelli, V; Majumdar, Anirudha |
2019 | A scalable real-time framework for Thomson scattering analysis: Application to NSTX-U | Laggner, FM; Diallo, A; Leblanc, BP; Rozenblat, R; Tchilinguirian, G; et al |
2019 | The effects of a horizontal magnetic field on the Rayleigh–Taylor instability | Yang, F; Khodak, A; Stone, Howard A |
2019 | Design and simulation of the snowflake divertor control for NSTX-U | Vail, PJ; Boyer, MD; Welander, AS; Kolemen, Egemen |
2019 | Fast and pervasive heat transport induced by multiple locked modes in DIII-D | Hu, Q; Du, X; Yu, Q; Logan, NC; Kolemen, Egemen; et al |
2019 | Functional Synthesis with Examples | Fedyukovich, Grigory; Gupta, Aarti |
2019 | ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions | Huang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
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 | Persuasion and Incentives Through the Lens of Duality | Dughmi, Shaddin; Niazadeh, Rad; Psomas, Alexandros; Weinberg, S Matthew |
2019 | Steady-State Non-Line-Of-Sight Imaging | Chen, Wenzheng; Daneau, Simon; Brosseau, Colin; Heide, Felix |
2019 | Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries | Kothari, Pravesh; Singla, Sahil; Mohan, Divyarthi; Schvartzman, Ariel; Weinberg, S Matthew |
2019 | Learning A Stroke‐Based Representation for Fonts | Balashova, Elena; Bermano, Amit H; Kim, Vladimir G; DiVerdi, Stephen; Hertzmann, Aaron; et al |
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 | Programmable terahertz chip-scale sensing interface with direct digital reconfiguration at sub-wavelength scales | Wu, X; Lu, H; Sengupta, Kaushik |
2019 | SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition | Yang, Kaiyu; Russakovsky, Olga; Deng, Jia |
2019 | Human uncertainty makes classification more robust | Peterson, Joshua; Battleday, Ruairidh; Griffiths, Thomas; Russakovsky, Olga |