University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 661–690 of 6,554 items
Thumbnail for 2016 Kemball Blue Waters Professor Report
2016 Kemball Blue Waters Professor Report
Kemball, Athol

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

Thumbnail for 2020 Aksimentiev Blue Waters Professor Annual Report
2020 Aksimentiev Blue Waters Professor Annual Report
Aksimentiev, Aleksei

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

Thumbnail for 2018 Clark Blue Waters Professor Report
2018 Clark Blue Waters Professor Report
Clark, Bryan

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

Thumbnail for Computer Analysis of Switched Capacitor Filters Including Sensitivity and Distortion Effects
Computer Analysis of Switched Capacitor Filters Including Sensitivity and Distortion Effects
Davis, Richard Dean

Thumbnail for Termination Modulo Combinations of Equational Theories
Termination Modulo Combinations of Equational Theories
Duran, Francisco; Lucas, Salvador; Meseguer, José

Thumbnail for 2019 Ceperley Blue Waters Professor Report
2019 Ceperley Blue Waters Professor Report
Ceperley, David

Thumbnail for 2015 Di Girolamo Blue Waters Professor Report
2015 Di Girolamo Blue Waters Professor Report
Di Girolamo, Larry

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

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

Thumbnail for 2017 Trapp Blue Waters Professor Report
2017 Trapp Blue Waters Professor Report
Trapp, Robert Jeffrey

Thumbnail for Result Specification and Model Connection in the Möbius Modeling Framework
Result Specification and Model Connection in the Möbius Modeling Framework
Christensen, Amy Lou

Thumbnail for Properties of Silicon Implanted with Arsenic through Silicon Dioxide
Properties of Silicon Implanted with Arsenic through Silicon Dioxide
Myers, David Richard

Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for Zeros of Multivariable Systems: Definitions and Algorithms
Zeros of Multivariable Systems: Definitions and Algorithms
Lindner, Douglas Kent

Thumbnail for Determining 3-D Motion and Structure of Rigid Objects Containing Lines Using the Spherical Projection
Determining 3-D Motion and Structure of Rigid Objects Containing Lines Using the Spherical Projection
Yen, B.L.; Huang, T.S.

Thumbnail for 2016 Bodony Blue Waters Professor Report
2016 Bodony Blue Waters Professor Report
Daniel Bodony

Thumbnail for 2017 Bodony Blue Waters Professor Report
2017 Bodony Blue Waters Professor Report
Daniel Bodony

Thumbnail for 2015 Gropp Blue Waters Professor Report
2015 Gropp Blue Waters Professor Report
Gropp, William

Thumbnail for 2016 Gropp Blue Waters Professor Report
2016 Gropp Blue Waters Professor Report
Gropp, William

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

Thumbnail for Reducing extrinsic damping of surface acoustic waves at gigahertz frequencies
Reducing extrinsic damping of surface acoustic waves at gigahertz frequencies
Gelda, Dhruv; Sadhu, Jyothi; Ghossoub, Marc G.; Ertekin, Elif; Sinha, Sanjiv

Thumbnail for Proving Path Non-Existence Using Sampling and Alpha Shapes
Proving Path Non-Existence Using Sampling and Alpha Shapes
McCarthy, Zoe

Thumbnail for A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

Thumbnail for Verification of Annotated Models from Executions
Verification of Annotated Models from Executions
Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

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

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

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