Search

Author:

Mali, Ankur Arjun

Title:

Theoretically deriving computational limits of Artificial Neural Networks with bounded precision and time

Graduate Program:

Information Sciences and Technology

Keywords:

Turing machine
automata theory
deep neural networks
formal language
recurrent neural network
artificial neural networks
theoretical limits
grammatical inference
state machines
memory augmented neural networks
language modelling

File:

Login to Download

Committee Members:

C Lee Giles, Chair & Dissertation Advisor
Alexander Ororbia, Special Member
Daniel Kifer, Outside Unit & Field Member
Kenneth Huang, Major Field Member
Mary Beth Rosson, Program Head/Chair
Sharon Huang, Major Field Member

Author:

Jia, Xiaodong

Title:

Nesting Structures in Mirrors: Formal Techniques for Parsing and Inferring Visibly Pushdown Grammars

Graduate Program:

Computer Science and Engineering

Keywords:

program analysis
grammars
context-free grammars
visibly pushdown grammars
automata theory
parsing
parser generator
formal verification
coq
visibly pushdown automata
parsers
software verification

File:

Download Dissertation.pdf

Committee Members:

Chitaranjan Das, Program Head/Chair
G. Tan, Chair & Dissertation Advisor
Abhinav Verma, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member