Computer Science
Items (Sorted by Submit Date in Descending order): 61 to 80 of 166
| Issue Date | Title | Author(s) |
| 2018 | Learning Algorithms in Strategic Environments | Schneider, Jonathan |
| 2018 | Separation-Logic-Based Program Verification in Coq | Cao, Qinxiang |
| 2018 | ON THE ABILITY OF GRADIENT DESCENT TO LEARN NEURAL NETWORKS | Li, Yuanzhi |
| 2018 | Network Control Plane Synthesis and Verification | Beckett, Ryan |
| 2018 | Second-Order Optimization Methods for Machine Learning | Agarwal, Naman |
| 2018 | Automated discovery of privacy violations on the web | Englehardt, Steven |
| 2018 | Locality in coding theory | Gopi, Sivakanth |
| 2018 | Algorithms in Strategic or Noisy Environments | Mao, Jieming |
| 2018 | Detecting and Analyzing Variation in Protein Interactions | Kobren, Shilpa Nadimpalli |
| 2018 | Wide-area Software-defined Storage | Nelson, Jude Christopher |
| 2018 | Speech Synthesis for Text-Based Editing of Audio Narration | Jin, Zeyu |
| 2018 | Resource Management for Advanced Data Analytics at Large Scale | Zhang, Haoyu |
| 2018 | Personal Photo Enhancement | Chang, Huiwen |
| 2018 | Privacy Infrastructure for Content and Communications | Edmundson, Anne |
| 2018 | Pixel-Level Prediction: From Geometry to Semantics | Yu, Fu |
| 2018 | Efficient Processing and Delivery of Multimedia Data | Tang, Linpeng |
| 2017 | New Techniques for Learning and Inference in Bayesian Models | Risteski, Andrej |
| 2017 | Hardness from Densest Subgraph Conjectures | Naamad, Yonatan |
| 2017 | Black Box Variational Inference: Scalable, Generic Bayesian Computation and its Applications | Ranganath, Rajesh |
| 2017 | Non-convex Optimization for Machine Learning: Design, Analysis, and Understanding | Ma, Tengyu |
Items (Sorted by Submit Date in Descending order): 61 to 80 of 166