Publications
-
Determining the three-dimensional morphology of γ′-particles in γ-γ′ superalloys
We propose qualitative and quantitative methods for determining the three-dimensional morphology of second-phase particles in Ni-based superalloys in the late stages of coarsening.
-
National Early Intervention Longitudinal Study (NEILS): Family Enrollment Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS), telephone interviews were conducted with families to obtain information about child and family characteristics, etc.
-
National Early Intervention Longitudinal Study (NEILS): Family Interim Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS), telephone interviews were conducted with families to obtain information about child and family characteristics, child functioning, and families’ perceptions of services.
-
National Early Intervention Longitudinal Study (NEILS): Family Transition Interview
For the SRI-led National Early Intervention Longitudinal Study (NEILS) by RTI International, telephone interviews were conducted with families to obtain information about child and family characteristics, child functioning, and families’…
-
A Guide to SNARK
Snark, SRI’s New Automated Reasoning Kit, is a theorem prover intended for applications in artificial intelligence and software engineering. This document is an example-driven tutorial introduction to snark that will…
-
Measuring Students’ Environmental Awareness And Skill In Data Analysis And Interpretation: Designing Web-Based Assessment For The Globe Program
-
Multiple-Target Tracking in Dense, Noisy Environments: A Probabilistic Mapping Perspective
A new approach is taken to address the various aspects of the multiple-target tracking (MTT) problem in dense and noisy environments.
-
MAESTRO: Conductor of Multimedia Analysis Technologies
MAESTRO is a research and demonstration system developed at SRI International for exploring the contribution of a variety of analysis technologies
-
XOL: An XML-Based Ontology Exchange Language
This document describes a language called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
-
Technology Design As Educational Research: Interweaving Imagination, Inquiry & Impact
New models of the research projects that include technology design are needed that draw upon the idealistic potential of technology, but engage with the practical problems of educational reform in…
-
Domain Metatheories: Enabling User-Centric Planning
In this paper, we argue that improved usability requires a new representational layer that captures metatheoretic properties of a planning domain.
-
Basic Concepts Of Cryptography