University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1531–1560 of 3,948 items
Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Scanning tunneling microscopy and spectroscopy of wet chemical synthesized porous graphene nanoribbons in ultra-high vacuum
Scanning tunneling microscopy and spectroscopy of wet chemical synthesized porous graphene nanoribbons in ultra-high vacuum
Parsons, Kaitlyn Ann

Thumbnail for The effect of temperature on the rising of cream
The effect of temperature on the rising of cream
Hunt, Thomas Forsyth

Thumbnail for Digital Archiving in the Twenty-First Century: Practice at the National Library of the Netherlands
Digital Archiving in the Twenty-First Century: Practice at the National Library of the Netherlands
Steenbakkers, Johan F.

Thumbnail for Newton vs Darwin in 19th century economics / BEBR No. 489
Newton vs Darwin in 19th century economics / BEBR No. 489
Brandis, Royall

Thumbnail for Machine Learning Techniques in Offline Handwriting Transcription
Machine Learning Techniques in Offline Handwriting Transcription
Kejriwal, Mayank

Thumbnail for Estimating Power Dissipation in VLSI Circuits
Estimating Power Dissipation in VLSI Circuits
Najm, Farid N.

Thumbnail for Uscire dalla casa paterna: An inquiry into the life, literature and times of Maria Messina
Uscire dalla casa paterna: An inquiry into the life, literature and times of Maria Messina
Toby, Jane

Thumbnail for Experimental Study of Mobile Air Conditioning System Transient Behavior
Experimental Study of Mobile Air Conditioning System Transient Behavior
Collins, C.D.; Miller, N.R.

Thumbnail for Insider trading: Regulation, securities markets and welfare
Insider trading: Regulation, securities markets and welfare
Estrada, Javier Alejandro

Thumbnail for Analysis and IC Implement of Digitally Controlled Multi-Port DC -Dc Converters
Analysis and IC Implement of Digitally Controlled Multi-Port DC -Dc Converters
Byoun, Jaesoo

Thumbnail for Real-time quantitative phase imaging for cell studies
Real-time quantitative phase imaging for cell studies
Pham, Hoa

Thumbnail for Thermo-mechanical behavior of steel in the continuous casting process from meniscus to caster exit
Thermo-mechanical behavior of steel in the continuous casting process from meniscus to caster exit
Seymour, Nathan M.

Thumbnail for Vision systems in agriculture – Lagrangian particle tracking and field robotics
Vision systems in agriculture – Lagrangian particle tracking and field robotics
Zhang, Zhongzhong

Thumbnail for Laser-enhanced plasma etching of semiconductor materials
Laser-enhanced plasma etching of semiconductor materials
Peck, Jason A

Thumbnail for Submicron Scaling of Indium Phosphide/indium Gallium Arsenide Heterojunction Bipolar Transistors Toward Terahertz Bandwidths
Submicron Scaling of Indium Phosphide/indium Gallium Arsenide Heterojunction Bipolar Transistors Toward Terahertz Bandwidths
Hafez, Walid Mahmoud

Thumbnail for Type and variability in corn
Type and variability in corn
Davenport, Eugene; Rietz, Henry Lewis

Thumbnail for C-Cubing: Efficient Computation of Closed Cubes by Aggregation-Based Checking
C-Cubing: Efficient Computation of Closed Cubes by Aggregation-Based Checking
Xin, Dong; Shao, Zheng; Han, Jiawei; Liu, Hongyan

Thumbnail for Champions of a Cause: American Librarians and the Library Bill of Rights in the 1950s
Champions of a Cause: American Librarians and the Library Bill of Rights in the 1950s
Robbins, Louise S.

Thumbnail for access: v.22, no.03, Fall 2009
access: v.22, no.03, Fall 2009
National Center for Supercomputing Applications (NCSA)

Thumbnail for A multiresolution approach for tensor completion from coarse and partial observations
A multiresolution approach for tensor completion from coarse and partial observations
Yang, Chaoqi

Thumbnail for CUTE: A Concolic Unit Testing Engine for C
CUTE: A Concolic Unit Testing Engine for C
Sen, Koushik; Marinov, Darko; Agha, Gul A.

Thumbnail for Illinois Forest Game Investigations W-87-R-8, Quarterly Federal Aid Performance Report 1 January - 31 March 1987
Illinois Forest Game Investigations W-87-R-8, Quarterly Federal Aid Performance Report 1 January - 31 March 1987
Nixon, Charles M.; Hansen, Lonnie P.; Witham, James H.; Jones, Jon Martin

Thumbnail for Coupling of system thermal-hydraulics and Monte-Carlo method for a consistent thermal-hydraulics-reactor physics feedback
Coupling of system thermal-hydraulics and Monte-Carlo method for a consistent thermal-hydraulics-reactor physics feedback
Wu, Xu

Thumbnail for Automated static analysis of virtual-machine packers
Automated static analysis of virtual-machine packers
Leong, Joseph

Thumbnail for A report on a survey of the views of African-American students at the Univeristy of Illinois Urbana-Champaign on the role of Black intellectuals
A report on a survey of the views of African-American students at the Univeristy of Illinois Urbana-Champaign on the role of Black intellectuals
Warren, Dorian T.

Thumbnail for Practical Static Race Detection for Java Parallel Loops
Practical Static Race Detection for Java Parallel Loops
Radoi, Cosmin; Dig, Danny

Thumbnail for Evaluation of stereo matching for mobile platforms with applications for assisting the visually impaired
Evaluation of stereo matching for mobile platforms with applications for assisting the visually impaired
Chidester, Benjamin Wilson

Thumbnail for Extreme Science and Engineering Discovery Environment (XSEDE) 2019 Highlights
Extreme Science and Engineering Discovery Environment (XSEDE) 2019 Highlights
Submitter: Leslie Froeschl

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk