University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3721–3750 of 6,104 items
Thumbnail for Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Lin, Zhouchen; Ganesh, Arvind; Wright, John; Wu, Leqin; Chen, Minming; Ma, Yi

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for High -Throughput Coherence Controllers
High -Throughput Coherence Controllers
Nguyen, Anthony-Trung Dinh