University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 66
College of Engineering 53
Dept. of Computer Science 33
College of Liberal Arts and Sciences 9
Dept. of Electrical and Computer Engineering 8
Dept. of Mechanical Science and Engineering 7
College of Agricultural, Consumer and Environmental Sciences (ACES) 6
XSEDE: Extreme Science and Engineering Discovery Environment 5
College of Fine and Applied Arts 3
Dept. of Chemistry 3

Collection

Graduate Dissertations and Theses at Illinois 66
Dissertations and Theses - Computer Science 21
Research and Tech Reports - Computer Science 12
Dissertations and Theses - Electrical and Computer Engineering 7
Dissertations and Theses - Mechanical Science and Engineering 7
XSEDE Planning Documents and Reports 5
Dissertations and Theses - Chemistry 3
Dissertations and Theses - Crop Sciences 3
Dissertations and Theses - Physics 3
Dissertations and Theses - Comparative and World Literature 2

Author(s)

Bhandari, Vartika 3
Basu Thakur, Gautam 2
Chen, Xiaohong 2
Hasan, Ragib 2
Kwon, YoungMin 2
Lin, Zhengyao 2
Nagraj, Nandini 2
Rosu, Grigore 2
Sarangi, Smruti R. 2
Abdu Jyothi, Sangeetha 1

Keyword(s)

Computer Science 9
computer science 4
Chemistry, Inorganic 2
Engineering, Materials Science 2
India 2
Interim project report (IPR) 2
KPI 2
LLVM 2
Program verification 2
Proof generation 2

Type of Resource

text 57
Thesis 14
still image 1

↑ ↓

Showing 1–30 of 90 items

1 (current)
2
3

Thumbnail for Role of Information in Design Review: A Case Study

Role of Information in Design Review: A Case Study

Kumar, Sandeep

Thumbnail for Reframing citizenship by decentralizing development under India's National Rural Employment Guarantee Act

Reframing citizenship by decentralizing development under India's National Rural Employment Guarantee Act

Fischer, Harry

Thumbnail for Expanding the Spatial Data Infrastructure Knowledge Base

Expanding the Spatial Data Infrastructure Knowledge Base

Budhathoki, Nama R.; Nedovic-Budic, Zorica

Thumbnail for Using vignettes to study conflict management practices in enterprise architecture initiatives

Using vignettes to study conflict management practices in enterprise architecture initiatives

Zhang, Guangxuan; Purao, Sandeep

Thumbnail for Rice adaptation to high temperatures at flowering stage and to direct-seeding

Rice adaptation to high temperatures at flowering stage and to direct-seeding

Sakhale, Sandeep A • 2022

Thumbnail for Parametric approach to steady-state stability analysis of power systems

Parametric approach to steady-state stability analysis of power systems

Ranjan, Rajeev Kumar

Thumbnail for Understanding Storage System Problems and Diagnosing Them Through Log Analysis

Understanding Storage System Problems and Diagnosing Them Through Log Analysis

Jiang, Weihang

Thumbnail for Revitalization of the Bazaar neighborhood in Tehran

Revitalization of the Bazaar neighborhood in Tehran

Moinzadeh, Pardis

Thumbnail for Insights into correlated electron systems from first-principles quantum Monte Carlo

Insights into correlated electron systems from first-principles quantum Monte Carlo

Busemeyer, Brian M.

Thumbnail for Investigation of system-level ESD-induced failures

Investigation of system-level ESD-induced failures

Vora, Sandeep Gautam

Thumbnail for Emergent behavior of cells on microfabricated soft polymeric substrates

Emergent behavior of cells on microfabricated soft polymeric substrates

Anand, Sandeep Venkit

Thumbnail for Making Formal Verification Trustworthy via Proof Generation

Making Formal Verification Trustworthy via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Approximation algorithms for clustering and facility location problems

Approximation algorithms for clustering and facility location problems

Gupta, Shalmoli

Thumbnail for Analyzing Security Vulnerabilities and Attacks

Analyzing Security Vulnerabilities and Attacks

Wang, Long; Doshi, Nidhi; Kalbarczyk, Zbigniew T.; Iyer, Ravishankar K.; Sharma, Aashish; Barlow, James J.

Thumbnail for Preventing History Forgery with Secure Provenance

Preventing History Forgery with Secure Provenance

Hasan, Ragib; Sion, Radu; Winslett, Marianne

Thumbnail for Veriflow system analysis and optimization

Veriflow system analysis and optimization

Chen, Zhongbo

Thumbnail for Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Basu Thakur, Gautam

Thumbnail for Effect of nano- fillers on tensile properties of biopolymer films

Effect of nano- fillers on tensile properties of biopolymer films

Resano Goizueta, Ines

Thumbnail for Preserving application reliability on unreliable hardware

Preserving application reliability on unreliable hardware

Hari, Siva Kumar

Thumbnail for Synthesis and stabilization of selected heterocyclic aroma compounds

Synthesis and stabilization of selected heterocyclic aroma compounds

Fang, Ming-Chih

Thumbnail for Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Basu Thakur, Gautam

Thumbnail for Scalable validation of binary lifters

Scalable validation of binary lifters

Dasgupta, Sandeep

Thumbnail for Explicit stochastic schemes for transport in particle-resolved simulations

Explicit stochastic schemes for transport in particle-resolved simulations

Nuwal, Nakul

Thumbnail for Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Shankar, Chetan S.

Thumbnail for Modeling and numerical methods for power electronic devices

Modeling and numerical methods for power electronic devices

Reiman, Chloe Michelle

Thumbnail for The interplay between information and control theory within interactive decision-making problems

The interplay between information and control theory within interactive decision-making problems

Gorantla, Siva Kumar

Thumbnail for Trustworthy Program Verification via Proof Generation

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Shape dynamics of anisotropic lipid vesicles using automated flow control

Shape dynamics of anisotropic lipid vesicles using automated flow control

Kumar, Dinesh

Thumbnail for Genomic characterization of multi-parental populations of sorghum and rice

Genomic characterization of multi-parental populations of sorghum and rice

Hirannaiah, Pradeepa

Thumbnail for Toward realizing power scalable and energy proportional high-speed wireline links

Toward realizing power scalable and energy proportional high-speed wireline links

Anand, Tejasvi

1 (current)
2
3

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 5?

© 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)