Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2020Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability AnalysisZhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham, et al
20-Nov-2019A System-Wide Debugging Assistant Powered by Natural Language ProcessingDogga, P; Narasimhan, Karthik; Sivaraman, A; Netravali, R
Jun-2015Fast inverse nonlinear Fourier transform for generating multi-solitons in optical fiberWahls, Sander; Poor, H Vincent
1-Jun-2020Take the scenic route: Improving generalization in vision-and-language navigationYu, F; Deng, Z; Narasimhan, Karthik; Russakovsky, O
5-Aug-2016Beyond Dirac and Weyl fermions: Unconventional quasiparticles in conventional crystalsBradlyn, Barry; Cano, Jennifer; Wang, Zhijun; Vergniory, MG; Felser, C, et al
2019Approximation Schemes for a Unit-Demand Buyer with Independent Items via SymmetriesKothari, Pravesh; Singla, Sahil; Mohan, Divyarthi; Schvartzman, Ariel; Weinberg, S Matthew
25-Oct-2020Seismic Structure of the Antarctic Upper Mantle Imaged with Adjoint TomographyLloyd, Allen J; Wiens, Douglas A; Zhu, Hejun; Tromp, Jeroen; Nyblade, Andrew A, et al
Dec-2014β-detected NMR of 8Li+ in Bi, Sb, and the topological insulator Bi0.9Sb0.1MacFarlane, WA; Tschense, CBL; Buck, T; Chow, KH; Cortie, DL, et al
2020Approximately Strategyproof Tournament Rules: On Large Manipulating Sets and Cover-ConsistenceSchvartzman, Ariel; Weinberg, S Matthew; Zlatin, Eitan; Zuo, Albert
29-Mar-2021Inferring Solar Differential Rotation through Normal-mode Coupling Using Bayesian StatisticsKashyap, Samarth G; Das, Srijan B; Hanasoge, Shravan M; Woodard, Martin F; Tromp, Jeroen