Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2-Aug-2016Cost-Effective Kernel Ridge Regression Implementation for Keystroke-Based Active Authentication SystemWu, P-Y; Fang, C-C; Chang, JM; Kung, S-Y
Nov-2014Creating consistent scene graphs using a probabilistic grammarLiu, Tianqiang; Chaudhuri, Siddhartha; Kim, Vladimir G; Huang, Qi-Xing; Mitra, Niloy J, et al
14-Feb-2014BMP signaling and the maintenance of primordial germ cell identity in Drosophila embryosDeshpande, Girish; Willis, Elinor; Chatterjee, Sandip; Fernandez, Robert; Dias, Kristen, et al
2018Deep Depth Completion of a Single RGB-D ImageZhang, Yinda; Funkhouser, Thomas
20-Oct-2021High-phase purity two-dimensional perovskites with 17.3% efficiency enabled by interface engineering of hole transport layerSidhik, Siraj; Wang, Yafei; Li, Wenbin; Zhang, Hao; Zhong, Xinjue, et al
Dec-2018Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) VerificationHuang, Boyuan; Zhang, Hongce; Subramanyan, Pramod; Vizel, Yakir; Gupta, Aarti, et al
2012Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based SearchSinha, Arnab; Malik, Sharad; Wang, Chao; Gupta, Aarti
2017Tight space-noise tradeoffs in computing the ergodic measureBraverman, Mark; Rojas, Cristóbal; Schneider, Jon
2012The rate of convergence of the Walk on Spheres AlgorithmBinder, Ilia; Braverman, Mark
2020Fold/Unfold Transformations for Fixpoint LogicKobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti