Publication Date | Article Title | Author(s) |
2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
2020 | Asynchronous Majority Dynamics in Preferential Attachment Trees | Bahrani, Maryam; Immorlica, Nicole; Mohan, Divyarthi; Weinberg, S Matthew |
2020 | Approximately Strategyproof Tournament Rules: On Large Manipulating Sets and Cover-Consistence | Schvartzman, Ariel; Weinberg, S Matthew; Zlatin, Eitan; Zuo, Albert |
2020 | ACE inhibition and cardiometabolic risk factors, lung ACE2 and TMPRSS2 gene expression, and plasma ACE2 levels: a Mendelian randomization study | Gill, Dipender; Arvanitis, Marios; Carter, Paul; Hernández Cordero, Ana I; Jo, Brian; et al |
2020 | A Unified Framework of Surrogate Loss by Refactoring and Interpolation | Liu, Lanlan; Wang, Mingzhe; Deng, Jia |
2020 | A Differentiable Perceptual Audio Metric Learned from Just Noticeable Differences | Manocha, Pranay; Finkelstein, Adam; Zhang, Richard; Bryan, Nicholas J; Mysore, Gautham J; et al |
2020 | Affine Determinant Programs: A Framework for Obfuscation and Witness Encryption | Bartusek, James; Ishai, Yuval; Jain, Aayush; Ma, Fermi; Sahai, Amit; et al |
2020 | C floating-point proofs layered with VST and Flocq | Appel, Andrew W; Bertot, Yves |
2020 | The Coin Problem with Applications to Data Streams | Braverman, Mark; Garg, Sumegha; Woodruff, David P |
2020 | Gryff: Unifying Consensus and Shared Registers | Burke, Matthew; Cheng, Audrey; Lloyd, Wyatt |
2020 | Strongly Incremental Constituency Parsing with Graph Neural Networks | Yang, Kaiyu; Deng, Jia |
2020 | A Sample Complexity Separation between Non-Convex and Convex Meta-Learning | Saunshi, Nikunj; Zhang, Yi; Khodak, Mikhail; Arora, Sanjeev |
2020 | InstaHide: Instance-hiding Schemes for Private Distributed Learning | Huang, Yangsibo; Song, Zhao; Li, Kai; Arora, Sanjeev |
2020 | Towards Unique and Informative Captioning of Images | Wang, Zeyu; Feng, Berthy; Narasimhan, Karthik; Russakovsky, Olga |
2020 | Mapping the physiological and molecular markers of stress and SSRI antidepressant treatment in S100a10 corticostriatal neurons | Sargin, Derya; Chottekalapanda, Revathy U; Perit, Kristina E; Yao, Victoria; Chu, Duong; et al |
2020 | Presenilin 1 phosphorylation regulates amyloid-β degradation by microglia | Ledo, Jose Henrique; Liebmann, Thomas; Zhang, Ran; Chang, Jerry C; Azevedo, Estefania P; et al |
2020 | SARS-CoV-2 receptor networks in diabetic and COVID-19–associated kidney disease | Menon, Rajasree; Otto, Edgar A; Sealfon, Rachel; Nair, Viji; Wong, Aaron K; et al |
2020 | Defending Against Universal Attacks Through Selective Feature Regeneration | Borkar, Tejas; Heide, Felix; Karam, Lina |
2020 | Hardware-in-the-Loop End-to-End Optimization of Camera Image Processing Pipelines | Mosleh, Ali; Sharma, Avinash; Onzon, Emmanuel; Mannan, Fahim; Robidoux, Nicolas; et al |
2020 | Learning Rank-1 Diffractive Optics for Single-Shot High Dynamic Range Imaging | Sun, Qilin; Tseng, Ethan; Fu, Qiang; Heidrich, Wolfgang; Heide, Felix |