Index Catalog // Hyrax

Remover filtros

Filtragem por: Contributor Guttman, Joshua Unit (Department) Computer Science

1. A Framework for Exploring Finite Models

Palavra-chave:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
O Criador:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
Editor:: Worcester Polytechnic Institute
Data Criada:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. First-Order Models for Configuration Analysis

Palavra-chave:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
O Criador:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Editor:: Worcester Polytechnic Institute
Data Criada:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

3. Practical and Theoretical Applications of the Regularity Lemma

Palavra-chave:: regularity lemma; combinatorics and Data Mining
O Criador:: Song, Fei
Advisor:: Sarkozy, Gabor N
Editor:: Worcester Polytechnic Institute
Data Criada:: 2013-04-22
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

4. Building Web Based Programming Environments for Functional Programming

Palavra-chave:: compilation, web, javascript, programming environments, and Education
O Criador:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Editor:: Worcester Polytechnic Institute
Data Criada:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science