Publications
-
Bayesian Minimax Estimation of the Normal Model with Incomplete Prior Covariance Matrix Specification
This work addresses the issue of Bayesian robustness in the multivariate normal model when the prior covariance matrix is not completely specified, but rather is described in terms of positive…
-
Synthesizing Switching Logic for Safety and Dwell-Time Requirements
We present a new approach to assist designers by synthesizing the switching logic, given a partial system model, using a combination of fixpoint computation, numerical simulation, and machine learning.
-
Creation of Artificial Ionospheric Layers Using High-Power HF Waves
We report the first evidence of artificial ionospheric plasmas reaching sufficient density to sustain interaction with a high-power HF pump beam produced by the 3.6 MW High-Frequency Active Auroral Program…
-
Finding the Expert Knowledge that Everyone Can Use: Year 2 And 3 DSA Progress Report
Researchers at SRI International are studying how to enhance outcomes measurement with a greater understanding of expert knowledge and reasoning in a field.
-
Flow Behavior of Glass at the Tip of a Penetrator
This paper describes a test to observe and measure the shear response of glass powder in a stress environment that simulates conditions in front of a penetrator.
-
In Situ Chemical Analyses By Underwater Mass Spectrometry
-
Joint Media Engagement and Learning
Joint media engagement (JME) refers to spontaneous and designed experiences of people using media together.
-
Preparing Students for Future Learning with Teachable Agents
One valuable goal of instructional technologies in K-12 education is to prepare students for future learning. Two classroom studies examined whether Teachable Agents (TA) achieves this goal.
-
Siderite Concretions Bearing Angular-Quartz in the Vicinity of Tai Lake, Southeast of China: Implications for an Impact Origin of Tai Lake
-
Synthesis and Tissue Distribution Studies of Acyloxyalkyl Prodrug Derivative of an Anti-HBV Dinucleotide
The preferential distribution of the dinucleotide 1 and its prodrug 2 into liver may be attributed to the presence of nucleoside phosphorothioate backbone because phosphorothioate oligonucleotides also reveal a similar…
-
21st Century Skills in STEM Workforce Training Assessments
What skills do tech employers seek? A scenario-based learning approach for teaching STEM tech education is posited.
-
Applying Evidence-Centered Design To Alternate Assessments In Mathematics For Students With Significant Cognitive Disabilities (Alternate Assessment Design