Publications
-
Report on the 2004 DARPA Workshop on Self-Aware Computer Systems
This report captures some of the salient points discussed during the DARPA workshop on Self-Aware Computer Systems held on April 27-28, 2004 in Washington D.C.
-
First Experiences with Early Intervention: A National Perspective
This study was designed to determine families’ initial experiences in determining their child’s eligibility, interactions with medical professionals, effort required to obtain services, participation in planning for services, satisfaction with…
-
The National School District And Network Grants Program: Year 2 Evaluation Report
This report is the second in a series of reports on the evaluation of the Bill & Melinda Gates Foundation’s National School District and Network Grants Initiative, a program which…
-
Novel integral formulation for scattering from multilayered dielectric cylinders of arbitrary cross section
A novel boundary integral formulation is implemented for the electromagnetic scattering of laser radiation from multilayered dielectric cylinders of arbitrary cross section.
-
Implementation variation and fidelity in an inquiry science program: An analysis of GLOBE data reporting patterns
We examined associations among teachers’ responses to survey items to patterns in GLOBE data reporting to develop hypotheses about important contextual factors related to program implementation. Implications for the study…
-
Rewrite Systems for Symbolic Evaluation of C-like Preprocessing
We present convergent rewrite systems over conditional values that can interact with macro expansion and evaluation and transform them into Boolean expressions.
-
Direct Modeling of Prosody: An Overview of Applications in Automatic Speech Processing
We describe a direct modeling approach to using prosody in various speech technology tasks. Prosodic features are extracted directly from the speech signal and from the output of an automatic…
-
Supporting Member Collaboration In The Math Tools Digital Library: A Formative User Study
In this paper, we discuss a user study done at the formative stage of development of a Math Tools developers' community.
-
Toward full automation of lexicon construction
We describe a technique of this nature called information theoretic co clustering and give results of a series of experiments built around it that demonstrate the main ingredients of lexical…
-
Designing a System for Structured Assessment of Compliance Risk
A formal reasoning technique known as structured argumentation has been explored by the IRS LMSB Research to improve compliance risk assessment. The IRS together with SRI International evaluated the use…
-
ESCOT: Coordinating The Influence Of R&D And Classroom Practice To Produce Educational Software From Reusable Components
This testbed incorporated interactive learning tools from a variety of university, nonprofit, and commercial developers, and hosted decentralized authoring teams consisting of teachers, developers and educational technologists.
-
Leveraging Handhelds To Increase Student Learning: Engaging Middle School Students With The Mathematics Of Change
Handheld computers are poised to build upon the success of graphing calculators in mathematics classrooms, as they share important characteristics such as small size and low cost, while increasing representational…