Thesiss

Self-injury is a growing public health concern that impacts individuals of all ages, genders, and racial-ethnic backgrounds. While research on self-injury has primarily been conducted from a psychological and clinical perspective, this dissertation takes a social psychological a…

This dissertation is a continuation of an Air Force Research Laboratory (AFRL) project focused on the development of a new security tagged microprocessor architecture and a supporting operating system. Security tagging schemes are promising mechanisms for enhancing the security …

An algorithm for test generation for combinatorial VLSI circuits under massively observable conditions is developed. The algorithm provides a means of determining single and multiple test sets that can be used for circuit verification under the single stuck-at fault model. The a…

In this thesis, we review recent developments in compositional and assume guarantee verification. We discuss whether each method supports circular/non circular reasoning and whether it can be used when proving safety/liveness properties. We formulate interface recognizers/suppli…

Tooling design is crucial for the production of cost-effective and durable composite products. As part of the current search for cost reduction (by reducing capital investment, energy use and cycle time), integrally-heated tooling is one of the technologies available for ‘out-of…

Passive ventilation and cooling systems can offer energy savings when combined into a mechanical ventilation and cooling strategy for office buildings. At early design stages, it is difficult to predict actual energy savings as current design and calculation tools are limited an…

This dissertation investigates the contributions of the parser and extra-linguistic information in the selection of a final interpretation of scopally ambiguous strings, integrating data from both children and adults into our understanding of language processing. Previous resear…

This dissertation analyzes the United Nations Special Commission's (UNSCOM) conduct of the forced disarmament, verification, and monitoring of Iraq's chemical and biological weapons from 1991 through 1998. Its addresses two primary research questions: (1) what lessons does UNSCO…

Electromigration in metal lines has re-emerged as a significant concern in modern VLSI circuits. The higher levels of temperature and the large number of EM checking strategies, have led to a situation where trying to guarantee EM reliability often leads to conservative designs …