Author: SRI International
-
A Heritage of Innovation: SRI’s First Half Century
From its beginnings at Stanford University, where it was intended to serve industry in the Western United States, SRI has grown to a worldwide research organization.
-
Interpersonal And Non-Interpersonal Interactions, Interpersonal Motives, And The Effects Of Frustrated Motives
A new circumplex model of interpersonal interaction emphasizes the motives that drive interpersonal behaviors and the negative affect (such as anger) that occurs when a strongly activated motive is frustrated.
-
Proving Authentication Properties in the Protocol Derivation Assistant
In the present paper, we introduce an axiomatic theory of authentication suitable for the automatic proof of authentication properties. We describe a proof of the authentication property of a simple protocol, as derived in Pda, for which the the proof obligations have been automatically generated and discharged.
-
Fighting the Wrong Battle in the Teacher Preparation Wars
SRI conducted a comprehensive study of alternative teacher certification programs to determine the characteristics of those that were effective.
-
Build IT: Girls Developing Information Technology Fluency Through Design. Annual Report Year 1
The goals for the first year of the Build IT project were to develop and implement the three units of the curriculum at four school sites reaching a total of 60 girls in sixth and seventh grade in order to begin to achieve the above three programmatic goals.
-
Privacy enhancing technologies; proceedings of the 6th International Workshop (PET 2006)
The 6th Workshop on Privacy Enhancing Technologies, PET 2006, was held at Robinson College, Cambridge (UK) on June 28-20, 2006.
-
Tides: Report On Technical Quality Of 7th Grade Student Assessment
This report describes activities undertaken to create, pilot, and analyze technical quality of student assessments in seventh grade for the Transforming Instruction by Design in Earth Science (TIDES) project.
-
Improvements in MLLR-Transform-based Speaker Recognition
We previously proposed the use of MLLR transforms derived from a speech recognition system as speaker features in a speaker verification system. In this paper we report recent improvements to this approach.
-
A Study of Intentional Voice Modifications for Evading Automatic Speaker Recognition
We investigate the effect of intentional voice modifications on a state-of-the-art speaker recognition system. The investigation includes data collection, where normal and changed voices are collected from subjects conversing by telephone.
-
Information scent and Web navigation: theory, models and automated usability evaluation
-
Compositionality for Tightly Coupled Systems: a New Application of the Propositions-As-Types Interpretation
Although compositional techniques are being successfully employed in practice, the use of such techniques is often rather informal and intuitive, and typically a justification for correct behaviour of the composed system exists but is not expressed explicitly. In this paper, we show what can be gained from treating such justifications as first-class citizens.
-
Report On Technical Quality Of 6th And 8th Grade Student Assessments For The Tides Project
This report describes activities undertaken to create, pilot, and analyze technical quality of student assessments in sixth and eighth grades for the Transforming Instruction by Design in Earth Science (TIDES) project.