Publications
-
Recommendations for End-User Development
We provide an overview of the state of the art in end-user development, focusing on the different kinds of recommendations made to users. We identify four classes of suggestion that…
-
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.
-
Technology-Enabled and Universally Designed Assessment: Considering Access in Measuring the Achievement of Students with Disabilities-A Foundation for Research
This paper represents one outcome from the Invitational Research Symposium on Technology-Enabled and Universally Designed Assessments, which examined technology-enabled assessments (TEA) and universal design (UD) as they relate to students…
-
Airborne Observation of Aerosol Optical Depth During Arctas: Vertical Profiles, Inter-Comparison, Fine-Mode Fraction and Horizontal Variability
We describe aerosol optical depth (AOD) measured during the Arctic Research of the Composition of the Troposphere from Aircraft and Satellites (ARCTAS) experiment, focusing on vertical profiles, inter-comparison with correlative…
-
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