Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2017 | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk) | Farzan, Azadeh; Kincaid, Zachary |
Dec-2018 | Cutting-edge cryptography through the lens of secret sharing | Komargodski, Ilan; Zhandry, Mark |
2018 | The Sample Complexity of Up-to-ε Multi-Dimensional Revenue Maximization | Gonczarowski, Yannai A; Weinberg, S Matthew |
2016 | How to Generate and Use Universal Samplers | Hofheinz, Dennis; Jager, Tibor; Khurana, Dakshita; Sahai, Amit; Waters, Brent, et al |
2012 | Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph | Bhaskara, Aditya; Charikar, Moses; Guruswami, Venkatesan; Vijayaraghavan, Aravindan; Zhou, Yuan |
Apr-2019 | Formal constraint-based compilation for noisy intermediate-scale quantum systems | Murali, Prakash; Javadi-Abhari, Ali; Chong, Frederic T; Martonosi, Margaret |
Jun-2020 | Templates and Recurrences: Better Together | Breck, Jason; Cyphert, John; Kincaid, Zachary; Reps, Thomas |
16-Oct-2018 | VAST (Volume Annotation and Segmentation Tool): Efficient Manual and Semi-Automatic Labeling of Large 3D Image Stacks | Berger, Daniel R; Seung, H Sebastian; Lichtman, Jeff W |
2015 | Crowdsourcing the creation of image segmentation algorithms for connectomics | Arganda-Carreras, Ignacio; Turaga, Srinivas C; Berger, Daniel R; Cireşan, Dan; Giusti, Alessandro, et al |
25-Nov-2014 | Automated computation of arbor densities: a step toward identifying neuronal cell types | Sümbül, Uygar; Zlateski, Aleksandar; Vishwanathan, Ashwin; Masland, Richard H; Seung, H Sebastian |