Search

Start Over Graduate Program Computer Science and Engineering

81. Reasoning About Higher-Order Functions and Parameters

open_access
Open Access
Author:
Fischbach, Joseph Adam
Title:
Reasoning About Higher-Order Functions and Parameters
Graduate Program:
Computer Science and Engineering
Keywords:
programming languages
functional programming
program transformation
type-based analysis
File:
Download thesis.pdf
Committee Members:
John Joseph Hannan, Committee Chair/Co-Chair
Ali Hurson, Committee Member
Mahmut Taylan Kandemir, Committee Member
Stephen George Simpson, Committee Member

86. The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development

open_access
Open Access
Author:
Sustersic, John Phillip
Title:
The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development
Graduate Program:
Computer Science and Engineering
Keywords:
Parallelizing Compiler
Distributed Systems Programming
Formal Semantics
Embedded Systems
Computer Languages
Mine Counter Measures
File:
Download sustersic_thesis.pdf
Committee Members:
Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Shashi Phoha, Committee Member
Mary Jane Irwin, Committee Member
Robert Nickel, Committee Member

87. LEARNING SIGNALS IN GENOMIC SEQUENCE ALIGNMENTS FOR IDENTIFICATION OF FUNCTIONAL ELEMENTS

open_access
Open Access
Author:
Taylor, James
Title:
LEARNING SIGNALS IN GENOMIC SEQUENCE ALIGNMENTS FOR IDENTIFICATION OF FUNCTIONAL ELEMENTS
Graduate Program:
Computer Science and Engineering
Keywords:
functional element prediction
multiple sequence alignment
phylogeny
Markov Models
File:
Download James-Dissertation.pdf
Committee Members:
Webb Colby Miller, Committee Chair/Co-Chair
Francesca Chiaromonte, Committee Member
Ross Cameron Hardison, Committee Member
Hongyuan Zha, Committee Member
Piotr Berman, Committee Member

88. Algorithms for classification and prediction of protein structure and function

open_access
Open Access
Author:
JEONG, JIEUN
Title:
Algorithms for classification and prediction of protein structure and function
Graduate Program:
Computer Science and Engineering
Keywords:
protein structure
protein folds
hairpin loops
folding rules
approximation algorithms
gene regulatory network
File:
Download mythesis.pdf
Committee Members:
Piotr Berman, Committee Chair/Co-Chair
Arthur Mallay Lesk, Committee Member
Webb Colby Miller, Committee Member
Reka Z Albert, Committee Member