University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 511–540 of 6,577 items
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 Simulation of Discrete Time Systems Using ISIM
Simulation of Discrete Time Systems Using ISIM
Ravikanth, R.

Thumbnail for Improving the Diagnosability of Modular Combinational Logic by Test Point Insertion
Improving the Diagnosability of Modular Combinational Logic by Test Point Insertion
Gaddess, Terry Gene

Thumbnail for Numerical Analysis of Axisymmetric Wave Propagation in Elastic-plastic Layered Media
Numerical Analysis of Axisymmetric Wave Propagation in Elastic-plastic Layered Media
Sameh, A.H.M

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

Thumbnail for Symbolic Semantics for CSP
Symbolic Semantics for CSP
Li, Liyi; Gunter, Elsa L.; Mansky, William

Thumbnail for Scheduling Multirate Periodic Traffic in a Packet Switch
Scheduling Multirate Periodic Traffic in a Packet Switch
Giles, James Ryan

Thumbnail for A Module Diagnostic Procedure for Combinational Logic
A Module Diagnostic Procedure for Combinational Logic
Powell, Theo J.

Thumbnail for On the Design of Diagnosable Combinational Networks
On the Design of Diagnosable Combinational Networks
Paige, Michael Reid

Thumbnail for Bounded Verification with On-the-Fly Discrepancy Computation
Bounded Verification with On-the-Fly Discrepancy Computation
Fan, Chuchu; Mitra, Sayan

Thumbnail for On Minimum Distance of Multiple Error Correcting Arithmetic Codes
On Minimum Distance of Multiple Error Correcting Arithmetic Codes
Hong, Se June

Thumbnail for Automatic Generation of CINNI Instances for the Maude System
Automatic Generation of CINNI Instances for the Maude System
Eckhardt, Jonas; Muelbauer, Tobias; Meseguer, José

Thumbnail for Data Management: File Systems, Databases, and Metadata
Data Management: File Systems, Databases, and Metadata
Baker, Karen S.; Troxell-Thomas, Christy A.; Pooler, William G.

Thumbnail for A Study of an Error Detecting Parallel Adder
A Study of an Error Detecting Parallel Adder
Gaddess, Terry G.

Thumbnail for Recognition via Sparse Representation: Robustness, Occlusion, and Feature Selection
Recognition via Sparse Representation: Robustness, Occlusion, and Feature Selection
Wright, John; Yang, Allen; Ganesh, Arvind; Ma, Yi

Thumbnail for Majority Logic Decodable Error-Correcting Codes Based on Block Designs
Majority Logic Decodable Error-Correcting Codes Based on Block Designs
Ng, Spencer W.

Thumbnail for Linear and Nonlinear Controller Design for Elastic Joint Manipulators
Linear and Nonlinear Controller Design for Elastic Joint Manipulators
Albert, Markus; Spong, Mark W.

Thumbnail for Simultaneous Simulation of Alternative Configurations of Markovian System Models
Simultaneous Simulation of Alternative Configurations of Markovian System Models
Gaonkar, Shravan; Sanders, William H.

Thumbnail for Optimal Searching Algorithms for Parallel-Pipelined Computers
Optimal Searching Algorithms for Parallel-Pipelined Computers
Weller, Daniel Lee

Thumbnail for The Atom Probe Field Ion Microscope: Fundamental Principles of Operation
The Atom Probe Field Ion Microscope: Fundamental Principles of Operation
Chambers, Robert Sloane

Thumbnail for Order-Sorted Rewriting and Congruence Closure
Order-Sorted Rewriting and Congruence Closure
Meseguer, José

Thumbnail for Delayed State Estimation in Discrete Event Systems and Applications to Security Problems
Delayed State Estimation in Discrete Event Systems and Applications to Security Problems
Saboori, Anooshiravan; Hadjicostis, Christoforos N.

Thumbnail for The Crescent City disaster : a small town rebuilds
The Crescent City disaster : a small town rebuilds
Acord, Sherry; Cooney, Kathy; Dash, Suzanne; Lingo, Leonard; Rocker, Lois; Trierweiler, Steven

Thumbnail for Exploiting Routing Redundancy using MAC layer Anycast to Improve Delay in WSN
Exploiting Routing Redundancy using MAC layer Anycast to Improve Delay in WSN
Ashraf, Farhana; Kravets, Robin; Vaidya, Nitin H.

Thumbnail for MapAffil: A bibliographic tool for mapping author affiliation strings to cities and their geocodes worldwide
MapAffil: A bibliographic tool for mapping author affiliation strings to cities and their geocodes worldwide
Torvik, Vetle I.

Thumbnail for Heuristic Algorithms for Stability Testing Polytopes of Matrices
Heuristic Algorithms for Stability Testing Polytopes of Matrices
Otto, Karen Lorraine

Thumbnail for A Distributed Generation Control Architecture for Small-Footprint Power Systems
A Distributed Generation Control Architecture for Small-Footprint Power Systems
Cady, Stanton T.; Domínguez-García, Alejandro D.; Hadjicostis, Christoforos N.

Thumbnail for Holistic 3D Reconstruction of Urban Structures from Low-Rank Textures
Holistic 3D Reconstruction of Urban Structures from Low-Rank Textures
Mobahi, Hossein; Zhou, Zihan; Yang, Allen; Ma, Yi

Thumbnail for On the Design and Testing of Self-Diagnosable Computers
On the Design and Testing of Self-Diagnosable Computers
Marlett, Ralph Allan

Thumbnail for Near-Optimum Discrete-Data Control of an Unstable System
Near-Optimum Discrete-Data Control of an Unstable System
O'Riain, Micheál Dónall Máire