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 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.

Trusted CI
Technical reports and presentation slides for NSF grant #1547272
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 Segments, Rectangles, Contours
Segments, Rectangles, Contours
Lipski, Witold, Jr.; Preparata, Franco P.

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 CPP-CTSC SFS Cyberinfrastructure Security Workshop
CPP-CTSC SFS Cyberinfrastructure Security Workshop
Husain, Mohammad; Basney, Jim; Avila, Kay; Zage, John; Chen, Tingting; Pike, Ron