University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 691–720 of 6,577 items
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 Termination Modulo Combinations of Equational Theories
Termination Modulo Combinations of Equational Theories
Duran, Francisco; Lucas, Salvador; Meseguer, José

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

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.

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

Thumbnail for Structural Health Monitoring for Bridge Structures using Smart Sensors
Structural Health Monitoring for Bridge Structures using Smart Sensors
Jang, Shin Ae; Spencer, Billie F., Jr.

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 2019 Fischer Blue Waters Professor Report
2019 Fischer Blue Waters Professor Report
Fischer, Paul

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

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

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

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

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

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

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

Thumbnail for On Bose-Chaudhuri-Hocquenghem Codes over GF(q)
On Bose-Chaudhuri-Hocquenghem Codes over GF(q)
Lum, Vincent Yu-Sun

Thumbnail for A General Explanation-Based Learning Mechanism and Its Application to Narrative Understanding
A General Explanation-Based Learning Mechanism and Its Application to Narrative Understanding
Mooney, Raymond Joseph

Thumbnail for 2020 DiGirolamo Blue Waters Professor Report
2020 DiGirolamo Blue Waters Professor Report
DiGirolamo, Larry

Thumbnail for A Process Architecture and Runtime Environment for Dependable Distributed Applications
A Process Architecture and Runtime Environment for Dependable Distributed Applications
Whisnant, Keith Allen

Classification of grass pollen through the quantitative analysis of surface ornamentation and texture
Thumbnail for Variant Satisfiability in Initial Algebras with Predicates
Variant Satisfiability in Initial Algebras with Predicates
Gutiérrez, Raúl; Meseguer, José

Library Trends 47 (2) Fall 1998: How Classifications Work: Problems and Challenges in an Electronic Age
Library Trends 47 (2) Fall 1998: How Classifications Work: Problems and Challenges in an Electronic Age. Edited by Geoffrey C. Bowker and Susan Leigh Star.