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
2020Learning Rank-1 Diffractive Optics for Single-Shot High Dynamic Range ImagingSun, Qilin; Tseng, Ethan; Fu, Qiang; Heidrich, Wolfgang; Heide, Felix
Jul-2020Noisy BeepsEfremenko, Klim; Kol, Gillat; Saxena, Raghuvansh
2018Syntax-Guided Termination AnalysisFedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti
2020Single-Shot Monocular RGB-D Imaging Using Uneven Double RefractionMeuleman, Andreas; Baek, Seung-Hwan; Heide, Felix; Kim, Min H
2017Interactive Compression for Multi-Party ProtocolKol, Gillat; Oshman, Rotem; Sadeh, Dafna
2019Steady-State Non-Line-Of-Sight ImagingChen, Wenzheng; Daneau, Simon; Brosseau, Colin; Heide, Felix
2013Enabling Author-Centric Ranking of Web ContentAli, Muneeb; LaPaugh, Andrea S
Jun-2015Fast inverse nonlinear Fourier transform for generating multi-solitons in optical fiberWahls, Sander; Poor, H Vincent
5-Feb-2020Pan-cancer analysis of whole genomesICGC/TCGA Pan-Cancer Analysis of Whole Genomes Consortium