University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–21 of 21 items
Thumbnail for Why bad ideas are a good idea.
Why bad ideas are a good idea.
Dix, Alan; Ormerod, Tom; Twidale, Michael B.; Sas, Corina; Gomes da Silva, Paula A.; McKnight, Lorna

Thumbnail for Symcretic testing of programs
Symcretic testing of programs
Dinges, Peter

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
d'Amorim, Marcelo

Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
d'Amorim, Marcelo

List of stop words used in topic modeling journals, summer 2013.
Underwood, Ted; Goldstone, Andrew

Thumbnail for A quantitative study of mutation and fault tolerance of pyro inference programs
A quantitative study of mutation and fault tolerance of pyro inference programs
Tekgul, Hakan

Thumbnail for Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
d'Amorim, Marcelo; Lauterburg, Steven; Marinov, Darko

Thumbnail for Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Automated code compliance checking in the construction domain using semantic natural language processing and logic-based reasoning
Automated code compliance checking in the construction domain using semantic natural language processing and logic-based reasoning
Zhang, Jiansong

Thumbnail for A Reduced Oxy Intermediate of Cytochrome P450(cam) Involved in Dioxygen Activation
A Reduced Oxy Intermediate of Cytochrome P450(cam) Involved in Dioxygen Activation
Benson, David Eric

Thumbnail for Narrative comprehension through analogy: A study in cognitive modeling and narrative clustering
Narrative comprehension through analogy: A study in cognitive modeling and narrative clustering
Wilner, Sean A.

Thumbnail for Learning-based inductive invariant synthesis
Learning-based inductive invariant synthesis
Garg, Pranav

Thumbnail for The socialist sacred: atheism, religion, and mass culture in Romania, 1948-1989
The socialist sacred: atheism, religion, and mass culture in Romania, 1948-1989
Magdó, Zsuzsánna

Thumbnail for Transcriptional Regulation Mediated by Human Papillomavirus E2 Protein
Transcriptional Regulation Mediated by Human Papillomavirus E2 Protein
Hou, Samuel Y.

Thumbnail for Agriculture in Illinois During the Civil War Period, 1850-1870
Agriculture in Illinois During the Civil War Period, 1850-1870
Anderson, Russell Howard

Thumbnail for Enzymic Oxidations of Ent-Kaurene and Ent-Kaurenol in Gibberellic Acid Biosynthesis: Stereochemistry and Isotope Effects
Enzymic Oxidations of Ent-Kaurene and Ent-Kaurenol in Gibberellic Acid Biosynthesis: Stereochemistry and Isotope Effects
Sherwin, Paul Frederick

Thumbnail for The Brazilian Far West: Frontier Development in Mato Grosso,1870--1937
The Brazilian Far West: Frontier Development in Mato Grosso,1870--1937
Frank, Zephyr Lake

Thumbnail for Studies in the linguistic sciences. 28 (1998)
Studies in the linguistic sciences. 28 (1998)
Submitter: Timothy Donohue

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 2004-06
Transactions of the Board of Trustees [electronic resource] / 2004-06
University of Illinois (System). Board of Trustees

Thumbnail for University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
University of Illinois directory, listing the 35,000 persons who have ever been connected with the Urbana-Champaign departments, including officers of instruction and administration and 1397 deceased
Phelps, Vergil Vivian

Thumbnail for Annual register. 1939-40
Annual register. 1939-40
University of Illinois at Urbana-Champaign