Loading [Contrib]/a11y/accessibility-menu.js
Skip to main content

Computer Science

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