DataSpace: Search

Search

Results 131-140 of 142

Item hits:

Issue Date	Title	Author(s)
2018	Learning Algorithms in Strategic Environments	Schneider, Jonathan
2018	Network Control Plane Synthesis and Verification	Beckett, Ryan
2018	Algorithms in Strategic or Noisy Environments	Mao, Jieming
2018	Detecting and Analyzing Variation in Protein Interactions	Kobren, Shilpa Nadimpalli
2018	Second-Order Optimization Methods for Machine Learning	Agarwal, Naman
2018	ON THE ABILITY OF GRADIENT DESCENT TO LEARN NEURAL NETWORKS	Li, Yuanzhi
2018	Separation-Logic-Based Program Verification in Coq	Cao, Qinxiang
2020	HARDWARE MULTITHREADED TRANSACTIONS: ENABLING SPECULATIVE MULTITHREADED PIPELINE PARALLELIZATION FOR COMPLEX PROGRAMS	Fix, Jordan Samuel
2020	Enhancing Anonymity Systems under Network and User Dynamics	Sun, Yixin
2019	Leveraging Distributed Storage Redundancy in Datacenters	Tai, Amy