University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 26576
College of Engineering 11497
College of Liberal Arts and Sciences 8417
College of Education 3678
College of Agricultural, Consumer and Environmental Sciences (ACES) 2512
Dept. of Computer Science 2209
Dept. of Electrical and Computer Engineering 2025
Dept. of Civil and Environmental Engineering 1764
Dept. of Physics 1729
Dept. of Chemistry 1414

Collection

Graduate Dissertations and Theses at Illinois 26576
Dissertations and Theses - Education 3453
Dissertations and Theses - Electrical and Computer Engineering 1808
Dissertations and Theses - Physics 1729
Dissertations and Theses - Chemistry 1404
Dissertations and Theses - Civil and Environmental Engineering 1375
Dissertations and Theses - Computer Science 1357
Research publications from the University of Illinois at Urbana-Champaign 1255
Dissertations and Theses - Psychology 929
Dissertations and Theses - Mechanical Science and Engineering 905

Author(s)

University of Illinois at Urbana-Champaign 102
Rosu, Grigore 77
University of Illinois. College of Veterinary Medicine 74
Bruce, Bertram C. 70
Nahrstedt, Klara 66
Meseguer, José 53
Gupta, Indranil 49
Illinois State Geological Survey 47
National Center for Supercomputing Applications (NCSA) 43
Wilson, Wilbur M. 31

Keyword(s)

Engineering, Electronics and Electrical 1154
Computer Science 1091
Engineering, Civil 629
Engineering, Materials Science 577
Engineering, Mechanical 518
Physics, Condensed Matter 491
Chemistry, Biochemistry 435
Education, Educational Psychology 407
Biology, Molecular 367
Education, Administration 363

Type of Resource

text 30133
Thesis 1077
image 146
still image 37
other 36
Text 16
Image 11
audio 9
dataset / spreadsheet 7
Dissertation / Thesis 1

↑ ↓

Showing 91–120 of 34,162 items

2
3
4 (current)
5
6

Thumbnail for A New Locality Metric and Case Studies for HPCS Benchmarks

A New Locality Metric and Case Studies for HPCS Benchmarks

Yu, Jing; Baghsorkhi, Sara; Snir, Marc

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies

Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies

Naldurg, Prasad G.

Thumbnail for Producing Scheduling that Causes Concurrent Programs to Fail

Producing Scheduling that Causes Concurrent Programs to Fail

Ben-Asher, Yosi; Eytani, Yaniv; Farchi, Eitan; Ur, Shmuel

Thumbnail for Models for Privacy in Ubiquitous Computing Environments

Models for Privacy in Ubiquitous Computing Environments

Kapadia, Apu C.

Thumbnail for A Fault Tolerance Protocol for Fast Recovery

A Fault Tolerance Protocol for Fast Recovery

Chakravorty, Sayantan

Thumbnail for Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Rosu, Grigore; Chen, Feng; Ball, Thomas

Thumbnail for Automated Detection of Refactorings in Evolving Components

Automated Detection of Refactorings in Evolving Components

Dig, Danny; Comertoglu, Can; Marinov, Darko; Johnson, Ralph

Thumbnail for Large-scale Topology Optimization using Preconditioned Krylov Subspace Methods with Recycling

Large-scale Topology Optimization using Preconditioned Krylov Subspace Methods with Recycling

Wang, Shun; de Sturler, Eric; Paulino, Glaucio H.

Thumbnail for The Beach System: Building a PC from Many Tiny Computers - A First Step at Virtualization -

The Beach System: Building a PC from Many Tiny Computers - A First Step at Virtualization -

Capitanu, Boris; Chan, Ellick M.; Gupta, Indranil

Thumbnail for Semi-Supervised Regression using Spectral Techniques

Semi-Supervised Regression using Spectral Techniques

Cai, Deng; He, Xiaofei; Han, Jiawei

Thumbnail for The Role of The Information Specialist as an Active Team Member in Academic Research

The Role of The Information Specialist as an Active Team Member in Academic Research

Neway, Julie Marlaine

Thumbnail for Circular Coinduction with Special Contexts

Circular Coinduction with Special Contexts

Lucanu, Dorel; Rosu, Grigore

Thumbnail for Semantic Infrastructure for a Ubiquitous Computing Environment

Semantic Infrastructure for a Ubiquitous Computing Environment

McGrath, Robert E.

Thumbnail for Five Isomorphic Boolean Theories and Four Equational Decision Procedures

Five Isomorphic Boolean Theories and Four Equational Decision Procedures

Rocha, Camilo; Meseguer, José

Thumbnail for Combinatorial Optimization of Matrix-Vector Multiplication for Finite Element Assembly

Combinatorial Optimization of Matrix-Vector Multiplication for Finite Element Assembly

Wolf, Michael M.; Heath, Michael T.

Thumbnail for A neural network for a walking machine

A neural network for a walking machine

Hart, John Mark

Thumbnail for Harmonic Functions for Quadrilateral Remeshing of Arbitrary Manifolds

Harmonic Functions for Quadrilateral Remeshing of Arbitrary Manifolds

Dong, Shen; Kircher, Scott I.; Garland, Michael

Thumbnail for Painting on Moving Charts

Painting on Moving Charts

Ashnia, Shadi; Hart, John C.

Thumbnail for Efficient Execution of Tightly-Coupled Parallel Applications in Grid Computing Environments

Efficient Execution of Tightly-Coupled Parallel Applications in Grid Computing Environments

Koenig, Gregory Allen

Thumbnail for Parametric and Sliced Causality

Parametric and Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Automated Testing of Refactoring Engines

Automated Testing of Refactoring Engines

Daniel, Brett; Dig, Danny; Garcia, Kely; Marinov, Darko

Thumbnail for The Iterative Solution of a Sequence of Linear Systems Arising From Nonlinear Finite Element Analysis

The Iterative Solution of a Sequence of Linear Systems Arising From Nonlinear Finite Element Analysis

Parks, Michael L.

Thumbnail for Topic Detection and Tracking in Personal Search History

Topic Detection and Tracking in Personal Search History

Gupta, Kamal Kant

Thumbnail for Multilayer Techniques to Address Parameter Variation

Multilayer Techniques to Address Parameter Variation

Teodorescu, Mircea-Radu

Thumbnail for Preconditioners for Generalized Saddle-Point Problems

Preconditioners for Generalized Saddle-Point Problems

Siefert, Chris M.; de Sturler, Eric

Thumbnail for Video Metamorphosis Using Dense Flow Fields

Video Metamorphosis Using Dense Flow Fields

Yu, Yizhou; Wu, Qing

Thumbnail for Trajectory Clustering: A Partition-and-Group Framework

Trajectory Clustering: A Partition-and-Group Framework

Lee, Jae-Gil; Han, Jiawei; Whang, Kyu-Young

Thumbnail for JetStream: Achieving Predictable Gossip Dissemination by Leveraging Social Networks Principles

JetStream: Achieving Predictable Gossip Dissemination by Leveraging Social Networks Principles

Patel, Jay A.; Gupta, Indranil; Contractor, Noshir

Thumbnail for On Safety Properties and Their Monitoring

On Safety Properties and Their Monitoring

Rosu, Grigore

2
3
4 (current)
5
6

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 2?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)