Author: SRI International
-
Formal Specification of Agent-Object Oriented Programs
This paper presents a methodology for the formal specification of agent-object oriented programs. Agent-object oriented programming is a programming paradigm that integrates both agent-oriented programming and object- oriented programming.
-
Question Asking to Inform Procedure Learning
We propose a framework that augments learning by demonstration through a facility for asking questions of the demonstrator. We define a catalog of questions designed to inform learning by demonstration technologies that covers function and causality, abstraction, alternatives, limitations on learned knowledge, and the process of learning.
-
Hafnium Reactivity with Boron and Carbon Sources Under Non-Self-Propagating High-Temperature Synthesis Conditions
Kinetic studies of the homogeneous and heterogeneous reactions, heat transfer model analyses, and their association with the investigation of microstructural phenomena were used to postulate the mechanism involved in the observed reactions.
-
Near-Infrared Fluorescent Labeling of Tissue Transglutaminase Substrates for Imaging Tumor Boundaries
A novel strategy is developed to optically image tumor boundaries by cross-linking near-infrared fluorescent-labeled tissue transglutaminase substrates into tumor boundary tissue.
-
Impacts of students’ experimentation using a dynamic visualization on their understanding of motion
This study examines how students’ experimentation with a dynamic visualization contributes to their understanding of science. We designed a week-long, technology-enhanced inquiry module on car collisions.
-
Accurate 3D Rigid-Body Target Motion and Structure Estimation by Using GMTI/HRR with Template Information
A framework of simultaneously estimating the motion and structure parameters of a 3D object by using high range resolution (HRR) and ground moving target indicator (GMTI) measurements with template information is given.
-
Spoken language understanding—interpreting the signs given by a speech signal
Spoken language understanding (SLU) is the interpretation of signs conveyed by a speech signal. SLU and natural language understanding (NLU) share the goal of obtaining a conceptual representation of natural language sentences. Specific to SLU is the fact that signs to be used for interpretation are coded into signals along with other information such as…
-
Microscopic Theory of Electron Spin Relaxation in N@ C60
Here, we present a microscopic theory of electron spin relaxation in N@C60. The theory combines (1) the spin-orbit interaction of N 2p electrons, which mixes the ground-state 4S with excited 2P and 2D states.
-
Standardized Atlas of the Brain of the Desert Locust, Schistocerca Gregaria
To provide a common multi-user platform for neural circuit analysis in the brain of this species, we have generated a standardized three-dimensional brain of this locust.
-
Thick Protective UHTC Coatings for SiC-Based Structures: Process Establishment
A new process to form thick and dense ultra-high-temperature ceramic (UHTC) composite coatings over SiC surfaces is described. Coatings of ZrB2/SiC/(ZrC) thicker than 100 μm are formed by a reaction-bonded SiC (RBSC) approach based on Si infiltration into ZrB2/C preform coating.
-
Topical Issue on Ultra-High-Temperature Ceramics
-
Defect Reduction of GaAs/Si Epitaxy By Aspect Ratio Trapping
We report on the metallorganic chemical vapor deposition growth of GaAs on patterned Si (001) substrates, which utilizes the aspect ratio trapping method. It was found that when growingGaAs above the SiO2SiO2 trenched region, coalescence-induced threading dislocations and stacking faults originated…