Publications
-
A Review of the Bill & Melinda Gates Foundation Postsecondary Success Portfolio: Lessons from Five Years of Funding Digital Courseware (Executive Summary)
The Bill & Melinda Gates Foundation’s Postsecondary Success initiative seeks to understand what is required for technology applications to produce positive student impacts at scale.
-
NMR Characterization of an Oligonucleotide Model of the MiR-21 Pre-Element
We have used NMR spectroscopy to characterize an oligonucleotide stem loop structure based on the pre-element of an oncogenic microRNA, miR-21.
-
Representing Roles in a Biology Textbook
In this paper, we consider the roles in a biology textbook, adapt a definition of roles based on upper ontologies, and relate it to the corresponding notions in linguistics and…
-
Spoken Language Recognition Based on Senone Posteriors
This paper explores in depth a recently proposed approach to spoken language recognition based on the estimated posteriors for a set of senones representing the phonetic space of one or…
-
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing
Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…
-
Evaluation of the Human Resources Pilot: Final Report
SRI Education conducted longitudinal case studies of the three pilot districts, examining changes in policy and practices under key levers and factors shaping variation in implementation, including leadership, labor management…
-
Recent Improvements in SRI’s Keyword Detection System for Noisy Audio
We present improvements to a keyword spotting (KWS) system that operates in highly adverse channel conditions with very low signal-to-noise ratio levels.
-
The Semantics of Datalog for the Evidential Tool Bus
The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance cases. We outline the semantic characteristics of the variant of…
-
Application of Convolutional Neural Networks to Speaker Recognition in Noisy Conditions
This paper applies a convolutional neural network (CNN) trained for automatic speech recognition (ASR) to the task of speaker identification (SID).
-
A Deep Neural Network Speaker Verification System Targeting Microphone Speech
We recently proposed the use of deep neural networks (DNN) in place of Gaussian Mixture models (GMM) in the i-vector extraction process for speaker recognition.
-
Concolic Fault Localization
Inspired by concolic testing, we propose a novel algorithm that integrates concrete execution and symbolic reasoning about the error trace to address these challenges.
-
Randomized Support Vector Forest
We proposed a new supervised learning algorithm, Randomized Support Vector Forest (RSVF): Many partitions of the input space are constructed with partitioning regions amenable to the corresponding linear SVMs.