Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
This thesis describes the implementation of an interface for querying established correspondences between anatomical structures across species. I was the main developer of this query engine, called the Comparative Anatomy Information System. My work involved developing methods to query the knowledge base, perform the specified comparison, display the anatomical hierarchies...
Situated off the west coast of Vietnam in the Gulf of Thailand, Phu Quoc archipelago and its waters are well-known for their rich natural resources, especially the bounty of fishery resources. Under increasing pressure from the growing population, fishing, and tourism development, there is a strong need to formulate an...
Until recently, research has not considered whether the design of end-user programming environments, such as spreadsheets, multimedia authoring languages, and CAD systems, affects males and females differently. As a result, we began investigating how the two genders are impacted by end-user programming software and whether attention to gender differences is...
Multiple-input multiple-output (MIMO) communication systems have recently been considered as one of the most significant technology breakthroughs for modern wireless communications, due to the higher spectral efficiency and improved link reliability. The sphere decoding algorithm (SDA) has been widely used for maximum likelihood (ML) detection in MIMO systems. It is...
SIMCOMP is a computer programming system which is designed to aid biologists with a limited knowledge of FORTRAN programming to design and execute compartment-flow simulations. The system is designed to minimize the programming overhead required by any computer language while maintaining
sufficient flexibility of FORTRAN. This flexibility does allow interfacing...
FLEX1 is a general model processor, patterned after Klir's
General Sequential System Paradigm (Figure 1). Specifically, the
processor is a discrete time flux oriented realization of the general
paradigm and can process non-linear, non-stationary, environmentally
controlled state variable system models with explicit memory. The
current version is restricted to not...
Alternating-current thin-film electroluminescent (ACTFEL) devices are metal-insulator-semiconductorinsulator-
metal (MISIM) structures which emit light under high field, pulsed excitation. One aspect of ACTFEL operation that is not well understood is the aging of such devices with operating time. One of the primary goals of
this thesis is to characterize the kinetics...
Hardware cryptography offers a reliable way to provide security for data that is sent over networks. Security processors have taken the stage in the movement for secure computing. Some of the more prominent security processors belong to the S1 family created by Motorola. The primary goal of this thesis is...
