University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–14 of 14 items
Thumbnail for Simulative Friction and Wear Study of Retrofitted Swash Plate and Rolling Piston Compressors
Simulative Friction and Wear Study of Retrofitted Swash Plate and Rolling Piston Compressors
Sheiretov, T.K.; Van Glabbeek, W.; Cusano, C.

Thumbnail for A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude
A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude
Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for The Effect of Dissolved Water on the Tribological Properties of Polyalkylene Glycol and Polyolester Oils
The Effect of Dissolved Water on the Tribological Properties of Polyalkylene Glycol and Polyolester Oils
Glabbeek, W.H. Van; Sheiretov, T.K.; Cusano, C.

Thumbnail for Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude
Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude
Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Semantics-based program verification
Semantics-based program verification
Park, Daejun

Thumbnail for Implicit Programming and the Logic of Constructible Duality
Implicit Programming and the Logic of Constructible Duality
Patterson, Anna L.

Thumbnail for A Semantic Approach to Interpolation
A Semantic Approach to Interpolation
Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Tribology of Unfilled and Filled Polymeric Surfaces in Refrigerant Environment for Compressor Applications
Tribology of Unfilled and Filled Polymeric Surfaces in Refrigerant Environment for Compressor Applications
Cannaday, M.L.; Polycarpou, Andreas A.

Thumbnail for Tribology of polymeric coatings for aggressive bearing applications
Tribology of polymeric coatings for aggressive bearing applications
Yeo, Seung Min

Thumbnail for Use of Nano-Indentation and Nano-Scratch Techniques to Investigate Near Surface Material Properties Associated With Scuffing of Engineering Surfaces
Use of Nano-Indentation and Nano-Scratch Techniques to Investigate Near Surface Material Properties Associated With Scuffing of Engineering Surfaces
Pergande, S.R.; Polycarpou, Andreas A.; Conry, T.F.

Thumbnail for Scuffing and wear of engineering materials under different lubrication regimes in the presence of environmentally friendly refrigerants
Scuffing and wear of engineering materials under different lubrication regimes in the presence of environmentally friendly refrigerants
Escobar Nunez, Emerson

Thumbnail for Specifying and verifying program transformations with PTRANS
Specifying and verifying program transformations with PTRANS
Mansky, William

Thumbnail for On *Categories of Cohesive, Active Sets and Other Dynamic Systems
On *Categories of Cohesive, Active Sets and Other Dynamic Systems
Wojtowicz, Ralph Leonard

Thumbnail for Toward a unified view of complex multiscale stochastic systems: A generalized theory of interactions and its computational infrastructure for their universal and efficient investigation
Toward a unified view of complex multiscale stochastic systems: A generalized theory of interactions and its computational infrastructure for their universal and efficient investigation
Nunez-Corrales, Santiago