Publication Date | Article Title | Author(s) |
2021 | CutQC: using small Quantum computers for large Quantum circuit evaluations | Tang, Wei; Tomesh, Teague; Suchara, Martin; Larson, Jeffrey; Martonosi, Margaret |
2021 | Occupational, industry, and geographic exposure to artificial intelligence: A novel dataset and its potential uses | Felten, Edward; Raj, Manav; Seamans, Robert |
2021 | Experience-driven research on programmable networks | Kim, Hyojoon; Chen, Xiaoqi; Brassil, Jack; Rexford, Jennifer |
2021 | New separations results for external information | Braverman, Mark; Minzer, Dor |
2021 | Logical abstractions for noisy variational Quantum algorithm simulation | Huang, Yipeng; Holtzen, Steven; Millstein, Todd; Van den Broeck, Guy; Martonosi, Margaret |
2021 | Joint analysis of expression levels and histological images identifies genes associated with tissue morphology | Ash, Jordan T; Darnell, Gregory; Munro, Daniel; Engelhardt, Barbara E |
2021 | Unbounded Procedure Summaries from Bounded Environments | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
2021 | Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking | Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
2021 | Abstraction and subsumption in modular verification of C programs | Beringer, Lennart; Appel, Andrew W |
2021 | Optimal marker gene selection for cell type discrimination in single cell analyses | Dumitrascu, Bianca; Villar, Soledad; Mixon, Dustin G; Engelhardt, Barbara E |
2021 | Almost optimal super-constant-pass streaming lower bounds for reachability | Chen, Lijie; Kol, Gillat; Paramonov, Dmitry; Saxena, Raghuvansh; Song, Zhao; et al |
2021 | A Simple and Approximately Optimal Mechanism for a Buyer with Complements | Eden, Alon; Feldman, Michal; Friedler, Ophir; Talgam-Cohen, Inbal; Weinberg, S Matthew |
2021 | Pushing the Physical Limits of IoT Devices with Programmable Metasurfaces | Chen, Lili; Hu, Wenjun; Jamieson, Kyle; Chen, Xiaojiang; Fang, Dingyi; et al |
2021 | REITS: Reflective Surface for Intelligent Transportation Systems | Li, Zhuqi; Wu, Can; Wagner, Sigurd; Sturm, James C; Verma, Naveen; et al |
2021 | Optimal error resilience of adaptive message exchange | Efremenko, Klim; Kol, Gillat; Saxena, Raghuvansh |
Dec-2020 | SymmetryNet: learning to predict reflectional and rotational symmetries of 3D shapes from single-view RGB-D images | Shi, Yifei; Huang, Junwen; Zhang, Hongjia; Xu, Xin; Rusinkiewicz, Szymon; et al |
30-Nov-2020 | A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols | Kalai, Yael T.; Komargodski, Ilan; Raz, Ran |
Oct-2020 | A Quantitative Proteome Map of the Human Body. | Jiang, Lihua; Wang, Meng; Lin, Shin; Jian, Ruiqi; Li, Xiao; et al |
21-Sep-2020 | Retrospective evaluation of whole exome and genome mutation calls in 746 cancer samples | Bailey, Matthew H; Meyerson, William U; Dursi, Lewis J; Wang, Liang-Bo; Dong, Guanlan; et al |
4-Sep-2020 | Reconstruction of clone- and haplotype-specific cancer genome karyotypes from bulk tumor samples. | Aganezov, Sergey; Raphael, Benjamin J |