University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 751–780 of 6,577 items
Thumbnail for Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for Strand Spaces with Choice via a Process Algebra Semantics
Strand Spaces with Choice via a Process Algebra Semantics
Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia

Thumbnail for Modeling Ammonia Emissions Post Chemical Fertilizer Application
Modeling Ammonia Emissions Post Chemical Fertilizer Application
Balasubramanian, Srinidhi; Koloutsou-Vakakis, Sotiria; McFarland, Donald Michael; Rood, Mark J.

Thumbnail for An Experimental Evaluation of Datacenter Workloads On Low-Power Embedded Micro Servers
An Experimental Evaluation of Datacenter Workloads On Low-Power Embedded Micro Servers
Zhao, Yiran; Li, Shen; Hu, Shaohan; Wang, Hongwei; Yao, Shuochao; Shao, Huajie; Abdelzaher, Tarek F.