DataSpace: Computer Science

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 142

next >

Issue Date	Title	Author(s)
2020	Enhancing Anonymity Systems under Network and User Dynamics	Sun, Yixin
2020	HARDWARE MULTITHREADED TRANSACTIONS: ENABLING SPECULATIVE MULTITHREADED PIPELINE PARALLELIZATION FOR COMPLEX PROGRAMS	Fix, Jordan Samuel
2020	Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.	Cuellar, Santiago
2020	Joint Optimization for Robust Network Design and Operation	Gossels, Jennifer
2020	Implications of Space-Bounded Computation	Garg, Sumegha
2020	Methods for Reinforcement Learning in Clinical Decision Support	Prasad, Niranjani
2020	Network Privacy and User Protection in the Internet of Things	Apthorpe, Noah
2020	Circumventing Lower Bounds in Mechanism and Tournament Design	Schvartzman Cohenca, Ariel
2020	On the Complexity of Markov Decision Problems	Chen, Yichen
2020	Data-Driven Approaches and Systems to Interrogate Complex Disease	Dannenfelser, Ruth
2019	Intra-Process Least Privilege and Isolation for Emerging Applications	Melara, Marcela Sofia
2019	Deciphering Disease Genomes in a Network Context	Hristov, Borislav H
2019	Efficient Higher-Order Optimization for Machine Learning	Bullins, Brian Anderson
2019	Shape Synthesis Using Structure-Aware Reasoning	Sizikova, Elena
2019	RGBD Pipeline for Indoor Scene Reconstruction and Understanding	Halber, Maciej Stanislaw
2019	Learning to Learn Optimally: A Practical Framework for Machine Learning Applications with Finite Time Horizon	Lee, Donghun
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

Items (Sorted by Submit Date in Descending order): 1 to 20 of 142

next >

Browse