Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2019Lemma Synthesis for Automating Induction over Algebraic Data TypesYang, Weikun; Fedyukovich, Grigory; Gupta, Aarti
2019Functional Synthesis with ExamplesFedyukovich, Grigory; Gupta, Aarti
2014Toward Coding for Maximum Errors in Interactive CommunicationBraverman, Mark; Rao, Anup
2019ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level AbstractionsHuang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad
2016The Magic of ELFsZhandry, Mark
7-Jun-2019Source encoding for adjoint tomographyTromp, Jeroen; Bachmann, Etienne
2017Satisficing in Multi-Armed Bandit ProblemsReverdy, P; Srivastava, V; Leonard, Naomi E
2018ActiveStereoNet: End-to-End Self-supervised Learning for Active Stereo SystemsZhang, Yinda; Khamis, Sameh; Rhemann, Christoph; Valentin, Julien; Kowdle, Adarsh, et al
14-Sep-2012The histone H4 lysine 20 monomethyl mark, set by PR-Set7 and stabilized by L(3)mbt, is necessary for proper interphase chromatin organization.Sakaguchi, Ayako; Joyce, Eric; Aoki, Tsutomu; Schedl, Paul; Steward, Ruth
2011Algorithms to automatically quantify the geometric similarity of anatomical surfacesBoyer, Doug M; Lipman, Yaron; St Clair, Elizabeth; Puente, Jesus; Patel, Biren A, et al