University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3541–3570 of 8,362 items
Thumbnail for A Probabilistic-Approach to Trajectory Sensitivity
A Probabilistic-Approach to Trajectory Sensitivity
Hontoir, Yves Raymond Jean-Baptiste

Thumbnail for Dynamics of blue copper proteins
Dynamics of blue copper proteins
Ehrenstein, David Henry

Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore