The software industry and IT departments are facing extreme pressures to provide new applications that add value in today’s competitive environment. Whereas in the 1990s companies concentrated on implementing systems that reautomated functions to provide specific benefits, such as Y2K processing, today’s market demands new applications, and better integration within and between organizations. T...

Modulo formatting, this document constitutes a portion of my application for tenure (“section 5”). It details my research, teaching, and service efforts and goals. It is not exhaustive, and it reflects my view of my activities in late May 2013. 1 Research My research goal is to automate inference from natural language text, including: • algorithms that interpret text into abstract linguistic st...

An increasing number of connectionist models have been proposed to explain behavioral deficits in developmental disorders. These simulations motivate serious consideration of the theoretical implications of the claim that a developmental disorder fits within the parameter space of a particular computational model of normal development. The authors examine these issues in depth with respect to a...

The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is given. The motivation is work of Cernavskii (“Finite-to-one mappings of manifolds”, Trans. of Math. Sk. 65 (107), 1964.) His work is generalized to the orbit map ...

The 1986 Supreme Court of New Hampshire case Smith v. Cote held that parents in New Hampshire could sue their physicians based on a claim of wrongful birth [5] of their children, but that such suits warranted only qualified damages for emotional distress. Smith also held that children couldn't sue physicians for negligently allowing the lives of those children, a claim called wrongful life [6]....

We present a novel hardware implementation of the double affine Smith-Waterman (DASW) algorithm, which uses dynamic programming to compare and align genomic sequences such as DNA and proteins. We implement DASW on a commodity graphics card, taking advantage of the general purpose programmability of the graphics processing unit to leverage its cheap parallel processing power. The results demonst...

Mutual correlation between segments of DNA or protein sequences can be detected by Smith-Waterman local alignments. We present a statistical analysis of alignment of such sequences, based on a recent scaling theory. A new fidelity measure is introduced and shown to capture the significance of the local alignment, i.e., the extent to which the correlated subsequences are correctly identified. It...