University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 10,427 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Trust and community: Continued engagement in Second Life
Trust and community: Continued engagement in Second Life
Lin, Peyina; Karlova, Natascha; Marino, John; Eisenberg, Michael B.

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

Thumbnail for Challenges and Opportunities in Virtual Worlds: Informed Consent and Data Collection
Challenges and Opportunities in Virtual Worlds: Informed Consent and Data Collection
Karlova, Natascha A.; Marino, John L.; Lin, Peyina; Eisenberg, Michael B.

Thumbnail for A Room of One's Own: The Virtual Study Room as an Information Services Delivery Model
A Room of One's Own: The Virtual Study Room as an Information Services Delivery Model
Marino, John L.; Karlova, Natascha A.; Lin, Peyina; Eisenberg, Michael B.

Thumbnail for Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Fast Convex Optimization Algorithms for Exact Recovery of a Corrupted Low-Rank Matrix
Lin, Zhouchen; Ganesh, Arvind; Wright, John; Wu, Leqin; Chen, Minming; Ma, Yi

Thumbnail for Classification via Minimum Incremental Coding Length (MICL)
Classification via Minimum Incremental Coding Length (MICL)
Wright, John; Ma, Yi; Tao, Yangyu; Lin, Zhuochen; Shum, Heung-Yeung

Thumbnail for Regulatory Viability of Nuclear Digital Twins
Regulatory Viability of Nuclear Digital Twins
Matrachisia, John; Eskins, Doug; Carlson, Jesse; Ulmer, Christopher; Lin, Bruce; Iyengar, Raj; Yadaz, Vaibhav • 2024

Thumbnail for The Community Anchor Institutions of Champaign-Urbana, Illinois Technology Use by Non-Profit and Public Organizations in the Broadband Moment
The Community Anchor Institutions of Champaign-Urbana, Illinois Technology Use by Non-Profit and Public Organizations in the Broadband Moment
Williams, Kate; Bailey, Ron; Booth, Ashley E.; Breck, Julianne L.; Cao, Haixia; Chen, I-Ju; Gant, Jon P.; Graham, Lauren M.; Grant, Lily; Green, Ivy Renee; Griebler, Claire; Hallauer, Afton; Hebel, Jennifer; Holland, Anna; Idoniboye, Opubo T.; Kim, Sunghwan "Sunny"; Kretzer, Lela; Lenstra, Noah; Lin, Yueh-Mei; Liu, Qiyuan; Looby, Mary; Lux, Rachel; McClowry, Colleen; Millsap, Samantha; Newcomer, John; Osisek, Elizabeth; Rosulescu, Andrei; Sackmann, Abigail; Sandberg, Jane; Smeltzer, Mike; Sorgert, Becca; Strillacci, Claire

Thumbnail for VO[I]CES  Spring 2010 Vol 2 Issue 4
VO[I]CES Spring 2010 Vol 2 Issue 4
Community Informatics Initiative