University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1321–1350 of 2,948 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Robust Techniques for Signal Processing: A Survey
Robust Techniques for Signal Processing: A Survey
Kassam, Saleem A.; Poor, H. Vincent

Thumbnail for Effect of Flaggers and Spotters in Directing Work Zone Traffic for Illinois Expressways and Freeways
Effect of Flaggers and Spotters in Directing Work Zone Traffic for Illinois Expressways and Freeways
El-Rayes, Khaled; Liu, Liang; El-Gohary, Nora; Abdelmohsen, Ahmed Zafer