University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1711–1740 of 3,843 items
Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Beyond Big or Little Science: Understanding Data Lifecycles in Astronomy and the Deep Subseafloor Biosphere
Beyond Big or Little Science: Understanding Data Lifecycles in Astronomy and the Deep Subseafloor Biosphere
Darch, Peter T.; Sands, Ashley E.

Thumbnail for Technology on demand: Implementing loanable technology services at the University of Illinois at Urbana-Champaign
Technology on demand: Implementing loanable technology services at the University of Illinois at Urbana-Champaign
Hahn, James F.

Thumbnail for Self-supervised learning of spatiotemporal features from video colorization
Self-supervised learning of spatiotemporal features from video colorization
Pahuja, Zubin

Thumbnail for Keyword-based object search and exploration in multidimensional text databases
Keyword-based object search and exploration in multidimensional text databases
Zhao, Bo

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen

Thumbnail for Refactoring-aware Software Configuration Management
Refactoring-aware Software Configuration Management
Dig, Danny; Nguyen, Tien N.; Johnson, Ralph

Thumbnail for On Becoming Essential: An Agenda for Quality in Twenty-First Century Public Libraries
On Becoming Essential: An Agenda for Quality in Twenty-First Century Public Libraries
Holt, Glen E.

Thumbnail for
"Social Capital, Digital Inequality, and a ""Glocal"" Community Informatics Project in Tianzhu Tibetan Autonomous County, Gansu Province"
Yan, Hui; Zhou, Wenjie; Han, Shenglong

Thumbnail for access: v.13, no.02, Summer 2000
access: v.13, no.02, Summer 2000
National Center for Supercomputing Applications (NCSA)

Thumbnail for Real-time aerial vehicle detection and tracking with depth-aided vision sensing
Real-time aerial vehicle detection and tracking with depth-aided vision sensing
Zhang, Bicheng

Thumbnail for High fat diet causes hepatic lipid accumulation by programming lipid synthesizing genes via gene body methylation
High fat diet causes hepatic lipid accumulation by programming lipid synthesizing genes via gene body methylation
Jung, Paul M

Thumbnail for The assessment of standing balance with smartphone technology for the prevention of falls in older adults
The assessment of standing balance with smartphone technology for the prevention of falls in older adults
Roeing, Kathleen L.

Thumbnail for Empower entity set expansion via language model probing
Empower entity set expansion via language model probing
Zhang, Yunyi

Thumbnail for Persuasiveness of text messages generated by machine learning language model
Persuasiveness of text messages generated by machine learning language model
Zheng, Bo

Thumbnail for α7β1 integrin regulation of skeletal muscle growth in response to mechanical loading
α7β1 integrin regulation of skeletal muscle growth in response to mechanical loading
Tisha, Alif Laila

Thumbnail for Representational Belonging in Collections: A Comparative Study of Leading Trade Publications in Architecture
Representational Belonging in Collections: A Comparative Study of Leading Trade Publications in Architecture
Mathews, Emilee

Thumbnail for The impact of focused attention on emotional evaluation: An eye-tracking investigation
The impact of focused attention on emotional evaluation: An eye-tracking investigation
Bogdan, Paul C.

Thumbnail for Improving multilingual speech recognition systems
Improving multilingual speech recognition systems
Gao, Heting

Thumbnail for 2015 XSEDE staff climate study report
2015 XSEDE staff climate study report


Thumbnail for Library Trends 40 (4) 1992: Electronic Information for the Humanities
Library Trends 40 (4) 1992: Electronic Information for the Humanities
Submitter: Matthew Cordial

Thumbnail for Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for Graduate School of Library and Information Science ... annual report. 2006
Graduate School of Library and Information Science ... annual report. 2006
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for Teaching Reflection: Information Seeking and Evaluation in a Digital Library Environment
Teaching Reflection: Information Seeking and Evaluation in a Digital Library Environment
Jacobson, Frances F.; Ignacio, Emily N.

Thumbnail for eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
eNav: Smartphone-based Energy Efficient Location Sensing for Low-Power Vehicular Navigation
Hu, Shaohan; Su, Lu; Li, Shen; Wang, Shiguang; Pan, Chenji; Gu, Siyu; Amin, Md Tanvir Al; Liu, Hengchang; Nath, Suman; Choudhury, Romit Roy; Abdelzaher, Tarek F.

Thumbnail for access: v.14, no.01, Spring 2001
access: v.14, no.01, Spring 2001
National Center for Supercomputing Applications (NCSA)

Thumbnail for Classification via Minimum Incremental Coding Length (MICL)
Classification via Minimum Incremental Coding Length (MICL)
Wright, John; Ma, Yi; Tao, Yangyu; Lin, Zhuochen; Shum, Heung-Yeung

Thumbnail for Deep chain learning collusions over network with improved blockchain security
Deep chain learning collusions over network with improved blockchain security
Sarkar, Ayush

Thumbnail for The impact of device orientation on small group collaboration during whole class game-based simulations
The impact of device orientation on small group collaboration during whole class game-based simulations
Zeng, Litong

Thumbnail for Applications of Genetic Algorithms for Multi-Objective Resource Allocation of Construction Projects Under Certainty
Applications of Genetic Algorithms for Multi-Objective Resource Allocation of Construction Projects Under Certainty
Feng, Chung-Wei