Theses from 2017

Heuristic Approaches to Nonlinear 0-1 Knapsack Problems, James Midkiff

The Influence of Soil Characteristics on Nest-Site Selection in Painted Turtles (Chrysemys picta), Robert F. Page

Construction of Test Problems for the 0-1 Quadratic Knapsack Problem, Peixin Sun

Theses from 2016


Applying Novelty Search to the Construction of Ensemble Systems, Hieu Kinh Le


A Case Study on Modeling Social Network Privacy Policies Using Event-B, My Nguyen Tra


Whiteboard Scanning Using Super-Resolution, Wode Ni


Pain Management: Formal Verification of an Android Application Using EventB2SQL, Graham Peter Williams

Theses from 2014


AST Indexing: A Near-Constant Time Solution to the Get-Descendants-by-Type Problem, Samuel Livingston Kelly

Theses from 2011


Evolving Robotic Desires: A New Approach to Bridging the Reality Gap, Russell Charles Toris

Translating B Machines To Java Modeling Language Specification, Danni Yu

Theses from 2010


Pathfinder in CUDA, James Andrew Doyle

Executing Formal Specifications Via Constraint Programming: Enhancing the JMLE Tool, Michael Patrick Keating