University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3571–3600 of 17,685 items
Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for One-Dimensional Theoretical and Numerical Models for Aeration Bubble Plumes---McCook Reservoir Studies (HES 71)
One-Dimensional Theoretical and Numerical Models for Aeration Bubble Plumes---McCook Reservoir Studies (HES 71)
Bombardelli, Fabian A.; Buscaglia, Gustavo C.; Rehmann, Christopher R.; Garcia, Marcelo H.

Examining the neighborhood effect averaging problem (NEAP) in people’s exposure to mobility-dependent environmental factors: A spatiotemporal modeling approach EMBARGOED
Kim, Junghwan