Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2015 | Faster and More Dynamic Maximum Flow by Incremental Breadth-First Search | Goldberg, Andrew V; Hed, Sagi; Kaplan, Haim; Kohli, Pushmeet; Tarjan, Robert E, et al |
Dec-2016 | Scaling probabilistic models of genetic variation to millions of humans | Gopalan, Prem; Hao, Wei; Blei, David M; Storey, John D |
2020 | Indifferentiability for Public Key Cryptosystems | Zhandry, Mark; Zhang, Cong |
Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |
2017 | Bioinformatics Approaches to Profile the Tumor Microenvironment for Immunotherapeutic Discovery | Clancy, Trevor; Dannenfelser, Ruth; Troyanskaya, Olga; Malmberg, Karl J; Hovig, Eivind, et al |
Jan-2014 | Deletion without rebalancing in multiway search trees | Sen, Siddhartha; Tarjan, Robert E |
Dec-2011 | Encore: low-cost, fine-grained transient fault recovery | Feng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I |
2019 | Learning to Prove Theorems via Interacting with Proof Assistants | Yang, Kaiyu; Deng, Jia |
Jul-2016 | Linear Arithmetic Satisfiability Via Strategy Improvement | Farzan, Azadeh; Kincaid, Zachary |
2019 | Representing Movie Characters in Dialogues | Azab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada |