Search

Author:

Zheng, Qingyuan

Title:

A Symbolic Data Dependence Analysis With Abstract Interpretation

Graduate Program:

Computer Science

Keywords:

Static Analysis
Alias Analysis
Data Dependence Analysis
Theorem Prover
Abstract Interpretation

File:

Download Master_Thesis_QingyuanZheng.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Zheng, Yi

Title:

Stochastic Control and Stability for Queueing Networks in Random Environments

Graduate Program:

Industrial Engineering (PHD)

Keywords:

multiclass many-server queues
Halfin-Whitt (QED) regime
service interruptions
renewal arrivals
alternating renewal process
jump diffusions
discounted cost
ergodic control
asymptotic optimality
Markov modulated process
fast regime switching
exponential ergodicity
Hamilton-Jacobi-Bellman (HJB) equation
stable Markov optimal control

File:

Download Yi_Zheng_Dissertation.pdf

Committee Members:

Guodong Pang, Chair & Dissertation Advisor
Steven James Landry, Program Head/Chair
Lingzhou Xue, Outside Unit, Field & Minor Member
Paul Griffin, Major Field Member
Eunhye Song, Major Field Member

Author:

Zheng, Yi

Title:

Video Analytics with In-SSD Processing Approaches

Graduate Program:

Computer Science and Engineering (PHD)

Keywords:

In-Storage-Processing
SSD
Firmware
FTL
Wear-Leveling
ORAM
Non-Volatile Memory

File:

Login to Download

Committee Members:

Chitaranjan Das, Program Head/Chair
Vijaykrishnan Narayanan, Chair & Dissertation Advisor
Huijuan Xu, Major Field Member
John Sampson, Major Field Member
John Messner, Outside Unit & Field Member

Author:

Zheng, Xinye

Title:

Computational Approaches towards Pattern Recognition and Matching for Scientific Images

Graduate Program:

Information Sciences and Technology

Keywords:

scientific image processing
optimal transport
machine learning
scientific image processing
machine learning
optimal transport
statistical modeling

File:

Download thesis.pdf

Committee Members:

James Z Wang, Dissertation Advisor/Co-Advisor
James Z Wang, Committee Chair/Co-Chair
Anna Cinzia Squicciarini, Committee Member
Saeed M Abdullah, Committee Member
Chris Eliot Forest, Outside Member
Jia Li, Committee Chair/Co-Chair
Mary Beth Rosson, Program Head/Chair
Jia Li, Dissertation Advisor/Co-Advisor

Author:

Zheng, Boyang

Title:

Theory of Two-Dimensional Materials: Substitutional Doping, Magnetism and Photoemission

Graduate Program:

Physics (PHD)

Keywords:

2D materials
density functional theory

File:

Login to Download

Committee Members:

Chaoxing Liu, Major Field Member
Joan Redwing, Outside Unit & Field Member
Jorge Sofo, Major Field Member
Vincent Crespi, Chair & Dissertation Advisor
Nitin Samarth, Program Head/Chair

Author:

Zheng, Chunyue

Title:

deep neural networks and homotopy continuation methods

Graduate Program:

Mathematics (PHD)

Keywords:

deep neural network
linear finite element
bifurcation
homotopy continuation method
adaptive

File:

Download Dissertation.pdf

Committee Members:

Wenrui Hao, Chair & Dissertation Advisor
Xiantao Li, Major Field Member
Jinchao Xu, Major Field Member
Alexei Novikov, Professor in Charge/Director of Graduate Studies
Sencun Zhu, Outside Unit & Field Member