Skip navigation

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 127
Issue DateTitleAuthor(s)
2019Learning to Learn Optimally: A Practical Framework for Machine Learning Applications with Finite Time HorizonLee, Donghun
2019Learning Visual Affordances for Robotic ManipulationZeng, Andy
2019Verified Extraction for CoqSavary BĂ©langer, Olivier
2019Concurrency and Security Verification in Heterogeneous Parallel SystemsTrippel, Caroline
2019Stateful Programming of High-Speed Network HardwareTahmasbi Arashloo, Mina
2019Meta-Learning for Data and Processing EfficiencyRavi, Sachin
2019Utility Scheduling for Multi-Tenant ClustersStafman, Logan Lee
2019Learning and Deploying Local FeaturesZhang, Linguang
2019Scalable, Network-Wide Telemetry with Programmable SwitchesHarrison, Walter Robert Jones
2019Tools for Live 2D AnimationWillett, Nora
2019Structure-aware Approaches for Deciphering Sequence-specific Protein-DNA InteractionsWetzel, Joshua
2019Leveraging Distributed Storage Redundancy in DatacentersTai, Amy
2018Data-Driven 3D Scene UnderstandingSong, Shuran
2018From Pixels to Scenes: Recovering 3D Geometry and Semantics for Indoor EnvironmentsZhang, Yinda
2018Hardness Amplification in Two Prover Game and Communication ComplexityKo, Young Kun
2018Off-chain protocols for cryptocurrenciesGoldfeder, Steven Andrew
2018Enabling Programmable Infrastructure for Multi-Tenant Data CentersShahbaz, Muhammad
2018Algorithms for deciphering cancer genomes: from differential mutation to differential allele specific expressionPrzytycki, Pawel
2018Flexible and Scalable Systems for Network ManagementGupta, Arpit
2018Network-Based Prioritization of Disease Genes, Animal Models, and Drug TargetsHomilius, Max
Items (Sorted by Submit Date in Descending order): 1 to 20 of 127