Publications
-
A Safety-Case Approach for Certifying Adaptive Systems
In this paper, we argue that analysis tools based on recent advances in formal methods (SMT solvers, infinite bounded model checkers, and k-induction) can provide suitable modeling notations, effective analysis,…
-
Target Tracking with Incomplete Detection
In this paper, we address the multiple target tracking problem as a maximum a posteriori problem.
-
Data-Driven Lexicon Expansion for Mandarin Broadcast News and Conversation Speech Recognition
We present a data-driven framework for expanding the lexicon to improve Mandarin broadcast news and conversation speech recognition.
-
Improving Robustness of MLLR Adaptation with Speaker-Clustered Regression Class Trees
We introduce a strategy for modeling speaker variability in speaker adaptation based on maximum likelihood linear regression (MLLR).
-
Scaleable Manufacture of HIV-1 Entry Inhibitor Griffithsin and Validation of Its Safety and Efficacy as a Topical Microbicide Component
We report a manufacturing breakthrough for griffithsin (GRFT), one of the most potent HIV entry inhibitors. Plant-produced GRFT (GRFT-P) was shown as active against HIV at picomolar concentrations, directly virucidal…
-
Mesomechanical Constitutive Relations for Glass and Ceramic Armor
We describe a model that uses microfailure and fragment flow constitutive data, show how the model links to continuum models, and compare computational results with glass penetration tests.
-
Using Evidence Centered Design For Learning (ECDL) To Examine the ASSISTments system
We introduce a design methodology – Evidence Centered Design for Learning (ECDL) that supports the design of educational systems in terms of evidentiary arguments.
-
Development of Microfabricated Cylindrical Ion Trap Mass Spectrometer Arrays
A novel approach, in which microelectromechanical systems (MEMS) technology is used for constructing miniature cylindrical ion trap (CIT) mass spectrometer (MS) arrays in silicon (Si), is described.
-
Infrastructure Free 6 DOF Location and Pose Estimation for Mixed Reality Systems
Mixed reality training systems using Head Mounted Displays (HMDs) require very high precision knowledge of the 3D location and 3D orientation of the user's head.
-
Combining Discriminative Re-Ranking and Co-Training for Parsing Mandarin Speech Transcripts
In this paper, we present systematic investigations on combining discriminative re-ranking and co-training, including co-training re-ranked parsers and co-training re-rankers.
-
Using Mixed-Effects Modeling To Analyze Different Grain-Sized Skill Models In An Intelligent Tutoring System
Student modeling and cognitive diagnostic assessment are important issues that need to be addressed for the development and successful application of intelligent tutoring systems (ITS). ITS needs the construction of…
-
Degradation of Association and Projection White Matter Systems in Alcoholism Detected with Quantitative Fiber Tracking
Alcoholism affected FA and diffusivity, particularly λT, of several fiber bundles. Frontal and superior sites (frontal forceps, internal and external capsules, fornix, and superior cingulate and longitudinal fasciculi) showed greatest…