University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 4,639 items
Thumbnail for Formal Modeling and Analysis of Leader Election in MANETs
Formal Modeling and Analysis of Leader Election in MANETs
Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Serial Translation of Binary Block Codes
Serial Translation of Binary Block Codes
Francis, Steve Alan

Thumbnail for Trusted CI Webinar: Is Your Code Safe from Attack? with Barton Miller and Elisa Heymann
Trusted CI Webinar: Is Your Code Safe from Attack? with Barton Miller and Elisa Heymann
Miller, Barton P.; Heymann, Elisa

Thumbnail for Studies in conjugation : Huffman tree construction, nonlinear recurrences, and permutation networks
Studies in conjugation : Huffman tree construction, nonlinear recurrences, and permutation networks
Parker, Douglass Stott

Thumbnail for On the Ordering of Connections for Automatic Wire Routing
On the Ordering of Connections for Automatic Wire Routing
Abel, Luther C.

Thumbnail for Control of Flexible Joint Robots: A Survey
Control of Flexible Joint Robots: A Survey
Spong, Mark W.

Trusted CI
Technical reports and presentation slides for NSF grant #1547272
Thumbnail for An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions
An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions
Wojcik, Anthony S.; Metze, Gernot

Thumbnail for Taxonomic Work as Information Work: Design for Semantic Refactoring
Taxonomic Work as Information Work: Design for Semantic Refactoring
Thomer, Andrea K.; Twidale, Michael B.; Guo, Jinlong; Yoder, Matthew J.

Thumbnail for New Parallel Sorting Schemes
New Parallel Sorting Schemes
Preparata, F.P.

Thumbnail for Adaptive Output-Feedback Control of a Class of Nonlinear Systems
Adaptive Output-Feedback Control of a Class of Nonlinear Systems
Kanellakopoulos, I.; Kokotovic, P.V.; Morse, A.S.

Thumbnail for Expectations and reputations in bargaining : an experimental study / BEBR No. 852
Expectations and reputations in bargaining : an experimental study / BEBR No. 852
Roth, Alvin E.; Schoumaker, Francoise

Thumbnail for Encoded Descriptions at Face Value
Encoded Descriptions at Face Value
Dubin, David

Thumbnail for A Discrete Eulerian Model for Spherical Wave Propagation in Compressible Media
A Discrete Eulerian Model for Spherical Wave Propagation in Compressible Media
Faccioli, Ezio; Ang, A.H-S.

Thumbnail for A Procedure for Synthesis of Switching Networks
A Procedure for Synthesis of Switching Networks
McKellar, Archie Charles

Thumbnail for Glow Discharge Optical Spectroscopy for Microvolume Elemental Analysis for Sputtering Diagnostics
Glow Discharge Optical Spectroscopy for Microvolume Elemental Analysis for Sputtering Diagnostics
Natarajan, Bangalore Ramaswamiengar

Thumbnail for The Control of Multivariable Systems Containing Time Delay Using Smith Predictors
The Control of Multivariable Systems Containing Time Delay Using Smith Predictors
Ibrahim, Tengku Azzman Shariffadeen; Fisher, D. Grant

Thumbnail for Small-Signal Third-Order Distortion Analysis of Transistor Amplifiers
Small-Signal Third-Order Distortion Analysis of Transistor Amplifiers
Cobb, J. Daniel

Thumbnail for On the Stability and Robustness of an Adaptive Nonlinear Control Scheme
On the Stability and Robustness of an Adaptive Nonlinear Control Scheme
Kanellakopoulos, I.; Kokotovic, P.V.; Marino, R.

Thumbnail for Result Verification Algorithms for Optimization Problems
Result Verification Algorithms for Optimization Problems
Gupta, Himanshu

Thumbnail for Segments, Rectangles, Contours
Segments, Rectangles, Contours
Lipski, Witold, Jr.; Preparata, Franco P.

Thumbnail for The Selection of Failure Location Tests by Path Sensitizing Techniques
The Selection of Failure Location Tests by Path Sensitizing Techniques
Howarter, David R.

Thumbnail for On the Realizability of Quasi-Linear Sequential Machines
On the Realizability of Quasi-Linear Sequential Machines
Chang, Szu-Chi

Thumbnail for Relationships Between Rainfall and Meteorological Surface Variables: Applications to Midwestern Operational Weather Modification
Relationships Between Rainfall and Meteorological Surface Variables: Applications to Midwestern Operational Weather Modification
Achtemeier, Gary L.

Thumbnail for The Adhesion, Friction, and Wear of Sputtered Titanium Carbide Coatings on Polished Steel Substrates
The Adhesion, Friction, and Wear of Sputtered Titanium Carbide Coatings on Polished Steel Substrates
Wu, Lawrence Ching-Yu

Thumbnail for Algebraic Generation and Active Network Realization of State Equations
Algebraic Generation and Active Network Realization of State Equations
Martens, Gert Osker

Thumbnail for Synthesis of Ternary Codes for Spectrum Shaping
Synthesis of Ternary Codes for Spectrum Shaping
DiEuliis, Val Anthony

Thumbnail for Design and Analysis of an NMOS Operational Amplifier with Depletion Loads
Design and Analysis of an NMOS Operational Amplifier with Depletion Loads
Davis, Richard Dean

Thumbnail for Computer Compiler: Part I - Preliminary Report
Computer Compiler: Part I - Preliminary Report
Metze, Gernot; Seshu, Sundaram

Thumbnail for CPP-CTSC SFS Cyberinfrastructure Security Workshop
CPP-CTSC SFS Cyberinfrastructure Security Workshop
Husain, Mohammad; Basney, Jim; Avila, Kay; Zage, John; Chen, Tingting; Pike, Ron