Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
Jul-2020 | RNA Identification of PRIME Cells Predicting Rheumatoid Arthritis Flares | Orange, Dana E; Yao, Vicky; Sawicka, Kirsty; Fak, John; Frank, Mayu O, et al |
Jun-2013 | An information complexity approach to extended formulations | Braverman, Mark; Moitra, Ankur |
2020 | Synthesizing Environment Invariants for Modular Hardware Verification | Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
2020 | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis | Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham, et al |
2020 | Learning Rank-1 Diffractive Optics for Single-Shot High Dynamic Range Imaging | Sun, Qilin; Tseng, Ethan; Fu, Qiang; Heidrich, Wolfgang; Heide, Felix |
Jul-2020 | Noisy Beeps | Efremenko, Klim; Kol, Gillat; Saxena, Raghuvansh |
2018 | Syntax-Guided Termination Analysis | Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti |
2020 | Single-Shot Monocular RGB-D Imaging Using Uneven Double Refraction | Meuleman, Andreas; Baek, Seung-Hwan; Heide, Felix; Kim, Min H |
2017 | Interactive Compression for Multi-Party Protocol | Kol, Gillat; Oshman, Rotem; Sadeh, Dafna |
2019 | Steady-State Non-Line-Of-Sight Imaging | Chen, Wenzheng; Daneau, Simon; Brosseau, Colin; Heide, Felix |