University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 271–300 of 4,639 items
Thumbnail for Polarized synchrotron emission and absorption coefficients for thermal, nonthermal, and kappa electron distributions
Polarized synchrotron emission and absorption coefficients for thermal, nonthermal, and kappa electron distributions
Pandya, Alexander A

Thumbnail for Dynamics of Dissociative Chemisorption: Methane on Tungsten Single Crystal Surfaces
Dynamics of Dissociative Chemisorption: Methane on Tungsten Single Crystal Surfaces
Lo, Tai-Chin

Thumbnail for On Bose-Chaudhuri-Hocquenghem Codes over GF(q)
On Bose-Chaudhuri-Hocquenghem Codes over GF(q)
Lum, Vincent Yu-Sun

Thumbnail for Dynamic Memory Allocation for a Virtual Memory Computer
Dynamic Memory Allocation for a Virtual Memory Computer
Budzinski, Robert Lucius

Thumbnail for AL2O3 / Zr doped HfO2 ferroelectric tunneling junction and its potential applications as memristors
AL2O3 / Zr doped HfO2 ferroelectric tunneling junction and its potential applications as memristors
Wu, Haonan

Thumbnail for The Relation of Equivalence for Post Algebras and Its Application to Hazard-Free Implementations of Boolean Functions
The Relation of Equivalence for Post Algebras and Its Application to Hazard-Free Implementations of Boolean Functions
DuCasse, Edgar George

Thumbnail for Variable-Rate, Weakly- and Strongly-Universal Source Coding Subject to a Fidelity Constraint
Variable-Rate, Weakly- and Strongly-Universal Source Coding Subject to a Fidelity Constraint
Mackenthun, Kenneth Marsh, Jr.

Thumbnail for Regional patterns of energy consumption in the U.S., 1967 / CAC No. 147
Regional patterns of energy consumption in the U.S., 1967 / CAC No. 147
Van Arsdall, R. Thomas

Thumbnail for Systematic Concurrency Testing with Maximal Causality
Systematic Concurrency Testing with Maximal Causality
Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for Thermal-Aware GreenHDFS
Thermal-Aware GreenHDFS
Kaushik, Rini T.

Thumbnail for SocialTrove: A Self-summarizing Storage Service for Social Sensing
SocialTrove: A Self-summarizing Storage Service for Social Sensing
Amin, Md Tanvir Al; Li, Shen; Rahman, Muntasir Raihan; Seetharamu, Panindra Tumkur; Wang, Shiguang; Abdelzaher, Tarek F.; Gupta, Indranil; Srivatsa, Mudhakar; Ganti, Raghu K.; Ahmed, Reaz; Le, Hieu

Thumbnail for Separation of Time Scales in Linear Time-Invariant Systems
Separation of Time Scales in Linear Time-Invariant Systems
Chow, Joe Hong

Thumbnail for Trusted CI Webinar: Lessons From the ACCORD Project
Trusted CI Webinar: Lessons From the ACCORD Project
Hutchins, Ron; Nguyen, Tho; Magee, Neal • 2024

Thumbnail for Efficient Parametric Runtime Verification with Deterministic String Rewriting
Efficient Parametric Runtime Verification with Deterministic String Rewriting
Meredith, Patrick; Rosu, Grigore

Thumbnail for Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Meseguer, José; Skeirik, Stephen

Thumbnail for Optimal Translation of LTL to Limit Deterministic Automata
Optimal Translation of LTL to Limit Deterministic Automata
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Fast Periodic Steady State Analysis of Large Signal Electronic Circuits
Fast Periodic Steady State Analysis of Large Signal Electronic Circuits
Colon, Francis Robert

Thumbnail for Dynamic Programming in Complete Separable Spaces
Dynamic Programming in Complete Separable Spaces
Shreve, Steven Eugene

Thumbnail for A Design Methodology for Self-Tuning Control of Systems with Inherent Conflicts
A Design Methodology for Self-Tuning Control of Systems with Inherent Conflicts
Hung, Stephen Think

Thumbnail for Performance Evaluation and Enhancement of Dendro
Performance Evaluation and Enhancement of Dendro
Mukherjee, Jayanta; Gropp, William D.

Thumbnail for Coding for the Control of Intersymbol Interference in Baseband Channels
Coding for the Control of Intersymbol Interference in Baseband Channels
DiEuliis, Val Anthony

Thumbnail for 2010 Report of the NSF Workshop on Scientific Software Security Innovation Institute
2010 Report of the NSF Workshop on Scientific Software Security Innovation Institute
Ananthakrishnan, Rachana; Bagchi, Saurabh; Barnett, Bill; Basney, Jim; Butler, Randy; Choudhury, Sayeed; Dempsey, Heidi; Fox, Geoffrey; Hazelwood, Victor; Klingenstein, Ken; Koranda, Scott; Livny, Miron; Meunier, Pascal; Newhouse, Steven; Pearson, Doug; Poole, Scott; Pordes, Ruth; Renaut, Rosemary; Servilla, Mark; Singer, Abe; Slagell, Adam; Vieglais, Dave; Welch, Von; West, Patrick; Yahja, Alex

Thumbnail for Parallel Algorithms for Graph Theoretic Problems
Parallel Algorithms for Graph Theoretic Problems
Savage, Carla Diane

Thumbnail for IsaK: A Complete Semantics of K
IsaK: A Complete Semantics of K
Li, Liyi; Gunter, Elsa L.

Thumbnail for Analysis and Synthesis of High Gain and Variable Structure Feedback Systems
Analysis and Synthesis of High Gain and Variable Structure Feedback Systems
Young, Kar-Keung David

Thumbnail for Research Cybersecurity Insights for 2022
Research Cybersecurity Insights for 2022
Basney, Jim • 2022

Thumbnail for Binary Sequences for Spread-Spectrum Multiple-Access Communication
Binary Sequences for Spread-Spectrum Multiple-Access Communication
Roefs, Henricus Franciscus Albertus

Thumbnail for Computer Analysis of Switched Capacitor Filters Including Sensitivity and Distortion Effects
Computer Analysis of Switched Capacitor Filters Including Sensitivity and Distortion Effects
Davis, Richard Dean

Thumbnail for TrustedCI: The NSF Cybersecurity Center of Excellence Open OnDemand Report
TrustedCI: The NSF Cybersecurity Center of Excellence Open OnDemand Report
Heymann, Elisa; Atkins, Joel; Miller, Barton P.

Thumbnail for Strict Coherence of Conditional Rewriting Modulo Axioms
Strict Coherence of Conditional Rewriting Modulo Axioms
Meseguer, José