University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 546 items
Thumbnail for Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis--
Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis--
Rosu, Grigore; Bensalem, Saddek

Thumbnail for Register Transfer Level Design-for-Testability Methodology for a Frozen Clock Testing Strategy
Register Transfer Level Design-for-Testability Methodology for a Frozen Clock Testing Strategy
Slutter, Andrew Bryan

Thumbnail for Infrared spectroscopy of ion-hydrocarbon clusters
Infrared spectroscopy of ion-hydrocarbon clusters
Rodriguez, Oscar, Jr.

Thumbnail for Utility of agricultural mobile apps among Indian rural farmers
Utility of agricultural mobile apps among Indian rural farmers
Narisetti, Siva Ratna Kumari

Thumbnail for Algorithms for phylogenetic tree correction in species and cancer evolution
Algorithms for phylogenetic tree correction in species and cancer evolution
Christensen, Sarah Ashley

Thumbnail for XSEDE 2013 q4 quarterly report
XSEDE 2013 q4 quarterly report


Thumbnail for Full season navigation and control of ultra-compact autonomous ag-bot in GPS denied environment
Full season navigation and control of ultra-compact autonomous ag-bot in GPS denied environment
Chawla, Karan

Thumbnail for The socioeconomic consequences of the U.S. fracking boom
The socioeconomic consequences of the U.S. fracking boom
Xu, Minhong

Thumbnail for Compact Test Generation Based on a Frozen Clock Testing Strategy
Compact Test Generation Based on a Frozen Clock Testing Strategy
Santoso, Yanti Irene

Thumbnail for Perception, influence, and weapons proliferation in South Asia
Perception, influence, and weapons proliferation in South Asia
Cohen, Stephen P.

Thumbnail for
"""A house of difference"": Constructions of the lesbian poet in Audre Lorde, Adrienne Rich, and Paula Gunn Allen"
Dhairyam, Sagari

Thumbnail for The Neuronal Basis of Signal Detection in the Presence of Spatially Separated Noise: A Study in the Frog Inferior Colliculus
The Neuronal Basis of Signal Detection in the Presence of Spatially Separated Noise: A Study in the Frog Inferior Colliculus
Ratnam, Rama

Thumbnail for Geometric Probing
Geometric Probing
Skiena, Steven Sol

Thumbnail for Isotopic study of uranium: determining the isotopic fractionation of uranium during abiotic reduction with iron(II)
Isotopic study of uranium: determining the isotopic fractionation of uranium during abiotic reduction with iron(II)
Grimm, Theodore

Thumbnail for Role of Bicarbonate and of Manganese in Photosystem Ii Reactions of Photosynthesis
Role of Bicarbonate and of Manganese in Photosystem Ii Reactions of Photosynthesis
Khanna, Rita

Thumbnail for Investigating the relationship between cognitive control and speech-in-noise recognition in tinnitus from perceptual, neuroanatomical, and electrophysiological aspects
Investigating the relationship between cognitive control and speech-in-noise recognition in tinnitus from perceptual, neuroanatomical, and electrophysiological aspects
Tai, YiHsin

Thumbnail for Partial fault tolerance in stream processing applications - methods and evaluation techniques
Partial fault tolerance in stream processing applications - methods and evaluation techniques
Jacques da Silva, Gabriela

Thumbnail for The failed western challenge to Russia's revival in Eurasia
The failed western challenge to Russia's revival in Eurasia
Kanet, Roger E.

Thumbnail for A Comparative Study of Duobinary and NRZ Modulation for High-Speed I/O
A Comparative Study of Duobinary and NRZ Modulation for High-Speed I/O
Koh, Yee Lih

Thumbnail for Simplified modeling of transition to detonation in porous energetic material
Simplified modeling of transition to detonation in porous energetic material
Stewart, D. Scott; Prasad, Kuldeep; Asay, Blaine W.

Thumbnail for Elasticity and resource aware scheduling in distributed data stream processing systems
Elasticity and resource aware scheduling in distributed data stream processing systems
Peng, Boyang

Thumbnail for Novel nanomanufacturing methods for bottom-up III-V nanowires and van der Waals epitaxy of monolayer MoS2
Novel nanomanufacturing methods for bottom-up III-V nanowires and van der Waals epitaxy of monolayer MoS2
Jung, Kyooho

Thumbnail for Precipitation and Dissolution of Uranyl Phosphates in a Mircofluidic Pore Structure
Precipitation and Dissolution of Uranyl Phosphates in a Mircofluidic Pore Structure
Fanizza, Michael F.

Thumbnail for Generative design algorithms in topology optimization of passive heat spreaders
Generative design algorithms in topology optimization of passive heat spreaders
Lohan, Danny John

Thumbnail for
"Tongues Untied: Lord Salisbury's ""Black Man"" and the Boundaries of Imperial Democracy"
Burton, A.M.

Thumbnail for Phenomenological Investigation of Low Mode Marginal Planar Detonations
Phenomenological Investigation of Low Mode Marginal Planar Detonations
Crooker, Andrew Jackson

Thumbnail for Optimizing performance under thermal and power constraints for HPC data centers
Optimizing performance under thermal and power constraints for HPC data centers
Sarood, Osman

Thumbnail for Characterization of neurite growth on a novel neurotube platform
Characterization of neurite growth on a novel neurotube platform
Cangellaris, Olivia

Thumbnail for Understanding physical activity among older African American women: A mixed-methods approach
Understanding physical activity among older African American women: A mixed-methods approach
Sebastiao, Emerson

Thumbnail for Nonfinancial performance measures and risk-taking: evidence from the oil and gas industry
Nonfinancial performance measures and risk-taking: evidence from the oil and gas industry
Kim, Minjeong