University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2521–2550 of 6,159 items
Thumbnail for ICE: A Robust Learning Framework for Synthesizing Invariants
ICE: A Robust Learning Framework for Synthesizing Invariants
Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel

Thumbnail for Carbonated foamed cellular concrete
Carbonated foamed cellular concrete
Montemayor Cantu, Roberto Jesus

Thumbnail for RankSQL: Query Algebra and Optimization for Relational Top-k Queries
RankSQL: Query Algebra and Optimization for Relational Top-k Queries
Li, Chengkai; Chang, Kevin Chen-Chuan; Ilyas, Ihab F.; Song, Sumin