Publications
-
Representational Technology For Learning Mathematics: An Investigation Of Teaching Practices In Latino/A Classrooms
This paper explores representation- and language-rich mathematics instruction in two classrooms with low-income Latino/a students.
-
Theory of Reals for Verification and Synthesis of Hybrid Dynamical Systems
Formal verification and synthesis are both indispensable components of any methodology for designing and efficiently developing safe cyber-physical systems.
-
Trypanosoma Cruzi-Induced Activation of Functionally Distinct Alpha Beta and Gamma Delta CD4(-) CD8(-) T Cells in Individuals with Polar Forms of Chagas’ Disease
In this work, we sought to investigate whether αβ or γδ DN T cells display distinct immunoregulatory potentials in patients with polar forms of human Chagas' disease.
-
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.
-
Reduction of AlGaAs Heterostructure High-Index-Contrast Ridge Waveguide Scattering Loss By Sidewall Smoothing Through Oxygen-Enhanced Wet Thermal Oxidation
We demonstrate the efficacy of oxidation smoothing of sidewall roughness in high-index-contrast AlGaAs heterostructure ridge waveguides via oxygen-enhanced nonselective wet thermal oxidation for reducing scattering loss.