Computer Science
Items (Sorted by Submit Date in Descending order): 41 to 60 of 166
| Issue Date | Title | Author(s) |
| 2019 | Learning Visual Affordances for Robotic Manipulation | Zeng, Andy |
| 2019 | Verified Extraction for Coq | Savary Bélanger, Olivier |
| 2019 | Concurrency and Security Verification in Heterogeneous Parallel Systems | Trippel, Caroline |
| 2019 | Stateful Programming of High-Speed Network Hardware | Tahmasbi Arashloo, Mina |
| 2019 | Meta-Learning for Data and Processing Efficiency | Ravi, Sachin |
| 2019 | Utility Scheduling for Multi-Tenant Clusters | Stafman, Logan Lee |
| 2019 | Learning and Deploying Local Features | Zhang, Linguang |
| 2019 | Scalable, Network-Wide Telemetry with Programmable Switches | Harrison, Walter Robert Jones |
| 2019 | Tools for Live 2D Animation | Willett, Nora |
| 2019 | Structure-aware Approaches for Deciphering Sequence-specific Protein-DNA Interactions | Wetzel, Joshua |
| 2019 | Leveraging Distributed Storage Redundancy in Datacenters | Tai, Amy |
| 2018 | Data-Driven 3D Scene Understanding | Song, Shuran |
| 2018 | From Pixels to Scenes: Recovering 3D Geometry and Semantics for Indoor Environments | Zhang, Yinda |
| 2018 | Hardness Amplification in Two Prover Game and Communication Complexity | Ko, Young Kun |
| 2018 | Off-chain protocols for cryptocurrencies | Goldfeder, Steven Andrew |
| 2018 | Enabling Programmable Infrastructure for Multi-Tenant Data Centers | Shahbaz, Muhammad |
| 2018 | Algorithms for deciphering cancer genomes: from differential mutation to differential allele specific expression | Przytycki, Pawel |
| 2018 | Flexible and Scalable Systems for Network Management | Gupta, Arpit |
| 2018 | Network-Based Prioritization of Disease Genes, Animal Models, and Drug Targets | Homilius, Max |
| 2018 | Integrative network-based approaches to analyze genomics data | Yao, Victoria |
Items (Sorted by Submit Date in Descending order): 41 to 60 of 166