Showing results 801 to 820 of 9263
< previous
next >
Publication Date | Article Title | Author(s) |
2020 | New Techniques for Traitor Tracing: Size ð1/3 and More from Pairings | Zhandry, Mark |
2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
2020 | New Query Lower Bounds for Submodular Function Minimization | Graur, Andrei; Pollner, Tristan; Ramaswamy, Vidhya; Weinberg, S Matthew |
2020 | Finite Temperature Phase Behavior of Viral Capsids as Oriented Particle Shells | Singh, AR; Košmrlj, Andrej; Bruinsma, R |
2020 | Connecting Higher-Order Separation Logic to a First-Order Outside World | Mansky, William; Honoré, Wolf; Appel, Andrew W |
2020 | The Random-Query Model and the Memory-Bounded Coupon Collector | Raz, Ran; Zhan, Wei |
2020 | A Guided Network Propagation Approach to Identify Disease Genes that Combines Prior and New Information | Hristov, Borislav H; Chazelle, Bernard; Singh, Mona |
2020 | RAFT: Recurrent All-Pairs Field Transforms for Optical Flow | Teed, Zachary; Deng, Jia |
2020 | Multiparty Non-Interactive Key Exchange and More From Isogenies on Elliptic Curves | Boneh, Dan; Glass, Darren; Krashen, Daniel; Lauter, Kristin; Sharif, Shahed; et al |
2020 | How Useful Is Self-Supervised Pretraining for Visual Tasks? | Newell, Alejandro; Deng, Jia |
2020 | Learning to Generate 3D Training Data Through Hybrid Gradient | Yang, Dawei; Deng, Jia |
2020 | OASIS: A Large-Scale Dataset for Single Image 3D in the Wild | Chen, Weifang; Qian, Shengyi; Fan, David; Kojima, Noriyuki; Hamilton, Max; et al |
2020 | Synthesizing Environment Invariants for Modular Hardware Verification | Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
2020 | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis | Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; 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 |
2020 | Towards Unique and Informative Captioning of Images | Wang, Zeyu; Feng, Berthy; Narasimhan, Karthik; Russakovsky, Olga |
2020 | Single-Shot Monocular RGB-D Imaging Using Uneven Double Refraction | Meuleman, Andreas; Baek, Seung-Hwan; Heide, Felix; Kim, Min H |
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 | 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 |