Skip to main content

All

Publication DateArticle TitleAuthor(s)
2019A Theoretical Analysis of Contrastive Unsupervised Representation LearningSaunshi, Nikunj; Plevrakis, Orestis; Arora, Sanjeev; Khodak, Mikhail; Khandeparkar, Hrishikesh
2019A Framework for Time-Consistent, Risk-Sensitive Model Predictive Control: Theory and AlgorithmsSingh, S; Chow, Y; Majumdar, Anirudha; Pavone, M
2019Task-Driven Estimation and Control via Information BottlenecksPacelli, V; Majumdar, Anirudha
2019A scalable real-time framework for Thomson scattering analysis: Application to NSTX-ULaggner, FM; Diallo, A; Leblanc, BP; Rozenblat, R; Tchilinguirian, G; et al
2019The effects of a horizontal magnetic field on the Rayleigh–Taylor instabilityYang, F; Khodak, A; Stone, Howard A
2019Design and simulation of the snowflake divertor control for NSTX-UVail, PJ; Boyer, MD; Welander, AS; Kolemen, Egemen
2019Fast and pervasive heat transport induced by multiple locked modes in DIII-DHu, Q; Du, X; Yu, Q; Logan, NC; Kolemen, Egemen; et al
2019Functional Synthesis with ExamplesFedyukovich, Grigory; Gupta, Aarti
2019ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level AbstractionsHuang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad
2019Quantified Invariants via Syntax-Guided SynthesisFedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti
2019Lemma Synthesis for Automating Induction over Algebraic Data TypesYang, Weikun; Fedyukovich, Grigory; Gupta, Aarti
2019Persuasion and Incentives Through the Lens of DualityDughmi, Shaddin; Niazadeh, Rad; Psomas, Alexandros; Weinberg, S Matthew
2019Steady-State Non-Line-Of-Sight ImagingChen, Wenzheng; Daneau, Simon; Brosseau, Colin; Heide, Felix
2019Approximation Schemes for a Unit-Demand Buyer with Independent Items via SymmetriesKothari, Pravesh; Singla, Sahil; Mohan, Divyarthi; Schvartzman, Ariel; Weinberg, S Matthew
2019Learning A Stroke‐Based Representation for FontsBalashova, Elena; Bermano, Amit H; Kim, Vladimir G; DiVerdi, Stephen; Hertzmann, Aaron; et al
2019Optimal Short-Circuit Resilient FormulasBraverman, Mark; Efremenko, Klim; Gelles, Ran; Yitayew, Michael A
2019How DNS over HTTPS is Reshaping Privacy, Performance, and Policy in the Internet EcosystemBorgolte, Kevin; Chattopadhyay, Tithi; Feamster, Nick; Kshirsagar, Mihir; Holland, Jordan; et al
2019Programmable terahertz chip-scale sensing interface with direct digital reconfiguration at sub-wavelength scalesWu, X; Lu, H; Sengupta, Kaushik
2019SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation RecognitionYang, Kaiyu; Russakovsky, Olga; Deng, Jia
2019Human uncertainty makes classification more robustPeterson, Joshua; Battleday, Ruairidh; Griffiths, Thomas; Russakovsky, Olga