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...

Based on the actual parameters of capacitor energy storage cabinet top monorail train, built cabinet’s finite element model. Then, according to EN 12663-1, set calibration conditions and fatigue working conditions. Carried out simulation calculation under different conditions, respectively. The results static show that maximum equivalent stress each node model is smaller than allowable all Ther...

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...

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]....