University of Illinois Urbana-Champaign

Bounded Verification with On-the-Fly Discrepancy Computation

Fan, Chuchu; Mitra, Sayan

Descriptor Variable and Generalized Singularly Perturbed Systems: A Geometric Approach

Cobb, J. Daniel

Computer Simulation of Error-Correcting Codes

Janoff, Norman Steven

Analysis and Synthesis of High Gain and Variable Structure Feedback Systems

Young, Kar-Keung David

Delta: Balancing GPU Performance with Advanced System Interfaces

Gropp, William; Boerner, Tim; Bode, Brett; Bauer, Greg • 2023

XSEDE list of terms to be avoided and non-offensive substitutes

Akli, Linda; Mehringer, Susan; Lindsey, Susan D.; Towns, John; Smallen, Shava; Sanielevici, Sergiu; Nigra, Deb; Meek, Dina; Holly, John; Deems, Stephen; Cahill, Katherine; Alameda, Jay • 2024

Robust Recognition via Sparse Representation

Wright, John; Ganesh, Arvind; Yang, Allen; Ma, Yi

On the Coding and Segmentation of Multivariate Mixed Data

Ma, Yi; Derksen, Harm; Hong, Wei; Wright, John

4CeeD: Real-Time Data Acquisition and Analysis Framework for Material-related Cyber-Physical Environments

Nguyen, Phuong; Konstanty, Steven; Nicholson, Todd; O'brien, Thomas; Schwartz-Duval, Aaron Star; Spila, Timothy; Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Chan, Michael; McHenry, Kenton; Paquin, Normand

Integrative design and processing of environmental IoT and microscopy data visualization

Jain, Ribhav

Delayed State Estimation in Discrete Event Systems and Applications to Security Problems

Saboori, Anooshiravan; Hadjicostis, Christoforos N.

Computation and Relaxation of Conditions for Equivalence between l1 and l0 Minimization

Sharon, Yoav; Wright, John; Ma, Yi

Gaussian Smoothing and Asymptotic Convexity

Mobahi, Hossein; Ma, Yi

Holistic Video Stitching for Street Panorama

Zhou, Zihan; Min, Kerui; Ma, Yi

Hierarchical framework for flood evacuation: Optimization of evacuation order policies with consideration of human behavior

Bianchini, Michael Joseph • 2022

On the Automated Layout of Multi-Layer Planar Wiring and a Related Graph Coloring Problem

Abel, Luther Charles

Zeros of Multivariable Systems: Definitions and Algorithms

Lindner, Douglas Kent

Robust Face Recognition via Sparse Representation

Wright, John; Yang, Allen Y.; Ganesh, Arvind; Sastry, S. Shankar; Ma, Yi

Relationship between Low-Level Convergence and Convective Precipitation in Illinois and South Florida

Watson, Andrew I.; Holle, Ronald L.

Smart wireless control of civil structures

Linderman, Lauren E.; Spencer, Billie F., Jr.

Verification of Annotated Models from Executions

Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Discharge Dynamics of the AC Plasma Display Panel

Weber, Larry Francis

Surface Self-Diffusion on a Face Centered Crystal: An Atomic View

Ayrault, Guy

Implementation of a Fast Fourier Transform (FFT) Processor via a Synthesis-based Design Methodology

Chau, Benson

Numerical Methods for the Solution of Large and Very Large, Sparse Lyapunov Equations

Hodel, Alan Scottedward

Antiferro'-Lantern

Kang, Kisung

High-throughput and Universal Architectures for Reed-Solomon Decoders

Yan, Zhiyuan

An Analysis of NSF Data Management Plan Guidelines

Tian, Yubing; Bennett, Anastasia; Sutherland, Will; Ferguson, Amy; Ford, Morgan; Li, Jessica Nga-Kei; Yarbrough, Elizabeth; Finn, Megan; Acker, Amelia

Mid-America Earthquake Center

Research and publications from the Mid-America Earthquake Center

Face Recognition with Contiguous Occlusion Using Markov Random Fields

Zhou, Zihan; Wagner, Andrew; Wright, John; Mobahi, Hossein; Ma, Yi