Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2017 | Improving genetic diagnosis in Mendelian disease with transcriptome sequencing | Cummings, Beryl B; Marshall, Jamie L; Tukiainen, Taru; Lek, Monkol; Donkervoort, Sandra, et al |
| 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 |
| 2020 | A Unified Framework of Surrogate Loss by Refactoring and Interpolation | Liu, Lanlan; Wang, Mingzhe; Deng, Jia |
| 2019 | A Theoretical Analysis of Contrastive Unsupervised Representation Learning | Saunshi, Nikunj; Plevrakis, Orestis; Arora, Sanjeev; Khodak, Mikhail; Khandeparkar, Hrishikesh |
| 8-Jul-2020 | The East Asian Subtropical Jet Stream and Atlantic Tropical Cyclones | Zhang, Wei; Villarini, Gabriele; Vecchi, Gabriel A |
| 14-Jun-2013 | Chemical Sensing by Nonequilibrium Cooperative Receptors | Skoge, Monica; Naqvi, Sahin; Meir, Yigal; Wingreen, Ned S |
| Sep-2011 | Frenetic: a network programming language | Foster, Nate; Harrison, Rob; Freedman, Michael J; Monsanto, Christopher; Rexford, Jennifer, et al |
| 2021 | Almost optimal super-constant-pass streaming lower bounds for reachability | Chen, Lijie; Kol, Gillat; Paramonov, Dmitry; Saxena, Raghuvansh; Song, Zhao, et al |
| 2020 | InstaHide: Instance-hiding Schemes for Private Distributed Learning | Huang, Yangsibo; Song, Zhao; Li, Kai; Arora, Sanjeev |