A test harness, in automated test generation, defines the set of valid tests for a system, as
well as their correctness properties. The difficulty of writing test harnesses is a major obstacle …

This work explores the role of immersive learning in regards to predicting molecular structures
and orbital hybridization through an Oculus Rift HMD. Specifically, this research utilizes …

Test reduction has long been seen as critical for automated testing. However, traditional test
reduction simply reduces the length of a test, but does not attempt to reduce semantic …

Designing high-performance electro-optic polymer modulators requires insight into device-specific
waveguide losses. Losses for rib waveguiding structures fabricated using SE0100C …

… To the mentor without whom none of this would be possible, Kevin, thank you for your patience
… And I thank Jill for talking Kevin into taking a second student, you two have my deepest …

We simulate the coding for a 2-bit photonic analog-todigital converter (PADC) that utilizes
semi-conductor optical amplifiers (SOAs). The SOAs are modeled to have a transfer function …

… By MICHAEL KELLAR … Kevin Jones … Kevin Powers, while he may not appear as the
advisor on this dissertation, functioned in that role for the majority of the project. …

Introduction: The current Universal Definition of peri-procedural myocardial infarction (PMI)
in patients with NSTEACS is arbitrary and remains unsubstantiated by clinical trials. Its …

Passive phased antenna arrays are utilized in military and civilian radar systems to
determine the received signal origination. Phased array placement for optimal reception is …

This month marks the 100th anniversary of Alan Turing's birth. His ground-breaking work in
the 1940s continues to have an impact on computer science as we know it. The first featured …