University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1951–1980 of 4,442 items
Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for The Water Cycle and Water Budgets in Illinois: A Framework for Drought and Water Supply Planning
The Water Cycle and Water Budgets in Illinois: A Framework for Drought and Water Supply Planning
Winstanley, Derek; Angel, James R.; Changnon, Stanley A.; Knapp, H. Vernon; Kunkel, Kenneth E.; Palecki, Michael A.; Scott, Robert; Wehrmann, H. Allen

Thumbnail for General dynamical sharp-interface conditions for phase transformations in viscous heat-conducting fluids
General dynamical sharp-interface conditions for phase transformations in viscous heat-conducting fluids
Anderson, Daniel M.; Cermelli, Paolo; Fried, Eliot; Gurtin, Morton E.; McFadden, Geoffrey B.