Illinois Research and Scholarship (Open Community)
This collection contains all UIUC research and scholarship which doesn't currently fall under the jurisdiction of a specific community or collection in IDEALS.
All UIUC faculty, staff and graduate students are encouraged to immediately submit their research to this collection. The submitted work will be reviewed by a small group in the University Library to ensure that it falls within the scope of the IDEALS Collection Policy. In the future, their department or research center may choose to link to their research into a departmental-specific collection.
At this time, undergraduate students at UIUC must ask a faculty or staff member to submit their undergraduate research to this collection. In the future, we hope to also allow undergraduates to immediately submit their own research.
If you have any problems or questions with this collection, or are affliated with UIUC and unable to submit to this collection, please contact firstname.lastname@example.org.
(Illinois Center for Transportation/Illinois Department of Transportation, 2014-09)Seed variety performance data for establishing temporary vegetative cover was collected at four Illinois locations at four planting seasons. Current Illinois Department of Transportation (IDOT) standard specifications ...
(Illinois Center for Transportation/Illinois Department of Transportation, 2013-06)Interstate rest area buildings in Illinois range in age from 10 to nearly 50 years old and are on display and used 365 days a year by nearly 40 million people annually. The rest area sites comprise 53 buildings that provide ...
(2015)NoSQL systems have grown in popularity for storing big data because these systems offer high availability, i.e., operations with high throughput and low latency. However, metadata in these systems are handled today in ...
(2015-02-10)This book contains case studies, lab activities, and a literature review for a data curation workshop at Hong Kong University, February 25-28, 2015.
(unpublished, 2015-02-08)We present a program verification framework based on coinduction, which makes it feasible to verify programs directly against an operational semantics, without requiring intermediates like axiomatic semantics or ...