Publications
-
ITL Research Design Document
This paper describes the design of Innovative Teaching and Learning (ITL) Research, a multiyear global research program sponsored by Microsoft’s Partners in Learning.
-
Accountability for Services for Young Children with Disabilities and the Assessment of Meaningful Outcomes: the Role of the Speech-Language Pathologist
This article describes the federal accountability requirements related to young children with disabilities and the contribution of the speech-language pathologist (SLP) to provide these data through the use of authentic,…
-
The Narcolepsy Therapeutic Gamma-Hydroxybutyrate Modifies Behavior and Gabaergic and Catecholaminergic Signaling Systems in a Narcoleptic Mouse Model
-
The Road to Supplemental Services: Challenges to Implementation
-
Unification and Narrowing in Maude 2.4
This paper introduces novel features of Maude 2.4 including support for unification and narrowing. Unification is supported in Core Maude, the core rewriting engine of Maude, with commands and metalevel…
-
Building Theorem Provers
Abstract This talk discusses some of the challenges of building a usable theorem prover. These include the chasm between theory and code, conflicting requirements, feature interaction, and competitive performance. The…
-
Characterization of Hydrogen-Assisted Fracture Mechanism By Fracture Surface Topography Analysis (FRASTA)
The fracture surface topography analysis (FRASTA) technique was applied to the crack arrest threshold region in a wedge-opening-load (WOL) ASME SA 372 Grade J sample tested in hydrogen gas at…
-
Evidence for Fast Neutron Emission During SRI’s SPAWAR/Galileo Type Electrolysis Experiments #7 and #5, Based on CR-39 Track Detector Record
We have reported the detailed analysis of the CR-39 detector from SRI’s #BE013-7 Pd deposition experiment where the detector was separated from the cathode wire by a 6 μm Mylar®…
-
Frequency Domain Measurements on Turbid Media with Strong Absorption Using the Pn Approximation
We have applied the frequency-domain technique to measurement of the optical properties of turbid media with strong absorption in the infinite medium limit.
-
Meeting the Needs of Diverse Student Populations: Findings from the Scaling Up SimCalc Project
In this paper we discuss how we leveraged the representational and communicative infrastructure of SimCalc to meet the needs of a diverse student population, while we also met the needs…
-
Participant Subjectivity and Involvement As a Basis for Discourse Segmentation
We propose a framework for analyzing episodic conversational activities in terms of expressed relationships between the participants and utterance content.
-
Petri Dish PCR: Laser-Heated Reactions in Nanoliter Droplet Arrays
We report high-speed real-time PCR performed on an unmodified disposable polystyrene Petri dish. The reaction cycle relies solely on an infrared laser for heating; no conventional heater is required.