University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 601–630 of 6,554 items
Thumbnail for 2014 Hirata Blue Waters Professor Report
2014 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for 2018 Hirata Blue Waters Professor Report
2018 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for 2020 Hirata Blue Waters Professor Report
2020 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for Preserving Average Proximity in Arrays with Duplications
Preserving Average Proximity in Arrays with Duplications
Chow, Anita Liu

Thumbnail for 2015 Hirata Blue Waters Professor Report
2015 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for 2019 Hirata Blue Waters Professor Report
2019 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for 2017 Huff Blue Waters Professor Report
2017 Huff Blue Waters Professor Report
Huff, Kathryn

Thumbnail for 2018 Huff Blue Waters Professor Report
2018 Huff Blue Waters Professor Report
Huff, Kathryn

Thumbnail for 2015 Kemball Blue Waters Professor Report
2015 Kemball Blue Waters Professor Report
Kemball, Athol

Thumbnail for 2015 Hammes-Schiffer Blue Waters Professor Report
2015 Hammes-Schiffer Blue Waters Professor Report
Hammes-Schiffer, Sharon

Thumbnail for Blue Waters 2015 Annual Report
Blue Waters 2015 Annual Report
Blue Waters Project

Thumbnail for Systematic Concurrency Testing with Maximal Causality
Systematic Concurrency Testing with Maximal Causality
Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Meseguer, José; Skeirik, Stephen

Thumbnail for Optimal Translation of LTL to Limit Deterministic Automata
Optimal Translation of LTL to Limit Deterministic Automata
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Fast Periodic Steady State Analysis of Large Signal Electronic Circuits
Fast Periodic Steady State Analysis of Large Signal Electronic Circuits
Colon, Francis Robert

Dataset S1 Part 1
Mander, Luke; Li, Mao; Mio, Washington; Fowlkes, Charless C.; Punyasena, Surangi W.

Dataset S2 Part 1
Mander, Luke; Li, Mao; Mio, Washington; Fowlkes, Charless C.; Punyasena, Surangi W.

Dataset S1 Part 3
Mander, Luke; Li, Mao; Mio, Washington; Fowlkes, Charless C.; Punyasena, Surangi W.

Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for A Computer Model for the Representation and Identification of Physical Events
A Computer Model for the Representation and Identification of Physical Events
Borchardt, Gary Conrad

Thumbnail for Therkildsen Field Station at Emiquon: Data Management Beginning in 2013
Therkildsen Field Station at Emiquon: Data Management Beginning in 2013
Baker, Karen S.

Thumbnail for 2016 Aksimentiev Blue Waters Professor Report
2016 Aksimentiev Blue Waters Professor Report
Aleksei Aksimentiev

Thumbnail for 2014 Schleife Blue Waters Professor Report
2014 Schleife Blue Waters Professor Report
Schleife, Andre

Thumbnail for 2015 Schleife Blue Waters Professor Report
2015 Schleife Blue Waters Professor Report
Schleife, Andre

Thumbnail for 2016 Schleife Blue Waters Professor Report
2016 Schleife Blue Waters Professor Report
Schleife, Andre

Thumbnail for 2019 Shukla Blue Waters Professor Report
2019 Shukla Blue Waters Professor Report
Shukla, Diwakar

Thumbnail for 2015 Schulten Blue Waters Professor Report
2015 Schulten Blue Waters Professor Report
Schulten, Klaus

Thumbnail for 2020 Hirata Blue Waters Professor Report
2020 Hirata Blue Waters Professor Report
Hirata, So

Thumbnail for 2020 Schleife Blue Waters Professor Report
2020 Schleife Blue Waters Professor Report
Schleife, Andre

Video S3
Wesseln, Cassandra J; Sivaguru, Mayandi; Mander, Luke; Fried, Glenn; Punyasena, Surangi W.