Publications
-
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
We present a novel approach to developing cross-layer optimization for resource limited real-time distributed systems, based on a constraint refinement technique combined with formal specification and feedback from system implementation.
-
Field Desorption Ion Source Development for Neutron Generators
A new approach to deuterium ion sources for deuterium-tritium neutron generators is being developed. The source is based upon the field desorption of deuterium from the surfaces of metal tips.
-
Nonparametric feature normalization for SVM-based speaker verification
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines.
-
Effective Monitoring of a Survivable Distributed Networked Information System
This report describes the monitoring, intrusion detection, and reporting infrastructure of the resulting system highlighting the design principles and lessons learned that are generally applicable to survivable information systems.
-
Laser-Ionization Mass Spectrometry of Explosives and Chemical Warfare Simulants
The objective of the present study was to better understand the photophysics of explosives and chemical warfare simulants in order to develop better performing analytical tools.
-
Open-vocabulary spoken term detection using graphone-based hybrid recognition systems
We address the problem of retrieving out-of-vocabulary (OOV) words/queries from audio archives for spoken term detection (STD) task. In this work, we employ hybrid recognition systems which contain both words…
-
The Role of Scaling Up Research in Designing for and Evaluating Robustness
In this article, we develop an argument that scaling up research can contribute important new knowledge by focusing researchers’ attention on the robustness of an innovation when used by varied…
-
Metallothionein Induction By Hypoxia Involves Cooperative Interactions Between Metal-Responsive Transcription Factor-1 and Hypoxia-Inducible Transcription Factor-1 Alpha
Here, we provide evidence that the protumorigenic hypoxia-inducible transcription factor-1α (HIF-1α) is essential for induction of MT-1 by hypoxia, but not zinc.
-
Name-aware Speech Recognition for Interactive Question Answering
In this work we show how interactivity in a voice-enabled question answering application may improve speech recognition. We allow the user to provide a target named entity before asking the…
-
System combination using auxiliary information for speaker verification
We propose a modified linear logistic regression procedure that conditions combination weights on the auxiliary information. A regularization procedure is used to control the complexity of the extended model.
-
Supporting Learning In A Technology-Rich Environment: Sixth Grade Science Students’ Use Of An Online Chat In And Out Of School
-
Effect of Chitosans and Other Excipientson the Permeation of Ketotifen, FITC-Dextran, and Rhodamine 123 Through Caco-2 Cells
Ketotifen, FITC-labeled dextran, and Rhodamine 123 permeation was evaluated across Caco-2 cells grown on permeable inserts in the presence of chitosan, N,O-carboxymethyl chitosan (NOCC), Carbopol 934P, Polysorbate 80, and Disodium…