Index Catalog // Hyrax

Filter löschen

Filtern nach: Contributor Guttman, Joshua Unit (Department) Computer Science

1. A Framework for Exploring Finite Models

Stichwort:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
Schöpfer:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. First-Order Models for Configuration Analysis

Stichwort:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Schöpfer:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

3. Practical and Theoretical Applications of the Regularity Lemma

Stichwort:: regularity lemma; combinatorics and Data Mining
Schöpfer:: Song, Fei
Advisor:: Sarkozy, Gabor N
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2013-04-22
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

4. Building Web Based Programming Environments for Functional Programming

Stichwort:: compilation, web, javascript, programming environments, and Education
Schöpfer:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science