Skip navigation

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 79
Issue DateTitleAuthor(s)
2017TrustGuard: A Containment Architecture with Verified OutputGhosh, Soumyadeep
2017Time and Space in Proof ComplexityBeck, Christopher T.
2017Lower Bounds for Error-Correcting Codes with Local RecoveryHu, Guangda
2016Computational Methods for Exploring Human BehaviorChaney, Allison June Barlow
2016Detecting gene similarities using large-scale content-based search systemsZhu, Qian
2016Capturing, Processing, and Synthesizing Surfaces with DetailsBerkiten, Sema
2016Dynamic Control of Software-Defined NetworksJin, Xin
2016Information Theoretic Relaxations in Complexity TheoryGarg, Ankit
2016On edge colouring, fractionally colouring and partitioning graphsEdwards, Katherine
2016Data Processing Across ContinentsArye, Matvey
2016Declarative Network Path QueriesNarayana, Srinivas
2016Optimal and Adaptive Online LearningLuo, Haipeng
2016Large-scale analyses of functional interactions in the human brainWang, Yida
2016New Abstractions for Mobile Connectivity and Resource ManagementKiefer, Robert
2016Systems and Algorithms for High-Performance, Cost-Efficient Key-Value StorageLi, Xiaozhou
2016Targeted analyses of very large genome-wide data collectionsLee, Young-suk
2016A Framework for Access Control and Resource Allocation for FederationsSevinc, Soner
2016Flexible Enterprise Network Management on Commodity SwitchesKang, Nanxi
2016Internet-Data-Driven Image Creation and EnhancementLiu, Yiming
Items (Sorted by Submit Date in Descending order): 1 to 20 of 79