Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
2018Mathematics of machine learning: An introductionArora, Sanjeev
2020Learning to Prove Theorems by Learning to Generate TheoremsWang, Mingzhe; Deng, Jia
2012The geomorphic view of networking: a network model and its usesZave, Pamela; Rexford, Jennifer
2020An Empirical Study of Wireless Carrier Authentication for SIM SwapsLee, Kevin; Kaiser, Benjamin; Mayer, Jonathan; Narayanan, Arvind
2020Architecting Noisy Intermediate-Scale Trapped Ion Quantum ComputersMurali, Prakash; Debroy, Dripto M; Brown, Kenneth R; Martonosi, Margaret
20-Jun-2018Taxonomic and Functional Compositions Impacted by the Quality of Metatranscriptomic AssembliesLau, Maggie CY; Harris, Rachel L; Oh, Youmi; Yi, Min Joo; Behmard, Aida, et al
Oct-2016LiFS: low human-effort, device-free localization with fine-grained subcarrier informationWang, Ju; Jiang, Hongbo; Xiong, Jie; Jamieson, Kyle; Chen, Xiaojiang, et al
2020A simulator and compiler framework for agile hardware-software co-design evaluation and explorationSorensen, Tyler; Manocha, Aninda; Tureci, Esin; Orenes-Vera, Marcelo; Aragon, Juan L, et al
15-Aug-2015On computing minimal independent support and its applications to sampling and countingIvrii, A; Malik, S; Meel, KS; Vardi, MY
2020Dark Patterns: Past, Present, and Future: The evolution of tricky user interfacesNarayanan, Arvind; Mathur, Arunesh; Chetty, Marshini; Kshirsagar, Mihir