University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 6,674 items
Thumbnail for Formability of New High Performance A710 Grade 50 Structural Steel
Formability of New High Performance A710 Grade 50 Structural Steel
Vaynman, Semyon; Fine, Morris E.; Hahin, Christopher

Thumbnail for Trusted CI SLATE Engagement
Trusted CI SLATE Engagement
Adams, Andrew K.; Weaver, Christopher; Basney, Jim; Breen, Joe; Zage, John; Avila, Kay; Bryant, Lincoln; Steinman, Mitchell; Gentz, Reinhard; Gardner, Robert; Peisert, Sean; McKee, Shawn; Barton, Tom

Thumbnail for Studies on the Aldolase Reaction
Studies on the Aldolase Reaction
Richards, Oliver Christopher, Jr.

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 Energy Facilities Screening in Illinois: Mine-Mouth Power Plants
Energy Facilities Screening in Illinois: Mine-Mouth Power Plants
Lim, Jaewon; Hacker, Brian; Sze, Leo; Splitt, Douglas; Gustison, Steven R.; Wehrmann, H. Allen; Knapp, H. Vernon; Sinclair, Sean; Finley, Robert J.