Publications
-
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…
-
MetaCyc: a multiorganism database of metabolic pathways and enzymes
In the past 2 years the data content and the Pathway Tools software used to query, visualize and edit MetaCyc have been expanded significantly. These enhancements are described in this…
-
Prioritizing Planning Decisions in Real-World Plan Authoring
This paper describes two methods for automatically prioritizing planning decisions. Both approaches have been implemented in PASSAT, a plan-authoring system in which users construct and modify plans interactively using a…
-
The Networked Classroom
On the basis of more than a decade of successful reports from the field and increasing evidence supporting wide-scale adoption, researchers have begun to connect teachers' insights about the technology…
-
The Role Of Research On Contexts Of Teaching Practice In Informing The Design Of Handheld Learning Technologies
In this article, we describe the realities we found and the implications we drew from them for our project, which we argue have broad import for the design of handheld…