This paper describes the development of a system that uses computational psychology (the Soar cognitive architecture) for the control of unmanned vehicles. A multithreaded software system written using Java and integrated with the Soar cognitive architecture has been implemented on two types of mobile robots. Soar can be used as a general purpose robotic intelligence system and can handle a wid...

This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register implementation. The basic idea underlying the low overhead induced by SOAR lies in greedily checking, in a backward manner, specific points of an execution where register operations could be linearized, rather than exploring all p...

Emerging scientific workflows in HPC focus more on analysis rather than simulation. Simulation output is so dense with information that copious amounts of analysis must be performed on a single output to understand the results of that simulation. We identify this repetitive analysis as a new application type, Simulate Once Analyze Repeatedly (SOAR) Computing. Current scientific HPC, when extend...

Our long-term goal is to develop autonomous robotic systems that have the cognitive abilities of humans, including communication, coordination, adapting to novel situations, and learning through experience. Our approach rests on the recent integration of the Soar cognitive architecture with both virtual and physical robotic systems. Soar has been used to develop a wide variety of knowledge-rich...

In past work, chunking in Soar has been analyzed as a variant of explanation-based learning. The components and processes underlying EBL have been mapped to their corresponding components and processes in chunking. The cost and generality of the resulting rules have also been compared. Here we extend that work by analyzing an implementation of EBL within Soar as a sequence of transformations fr...

The artificial intelligence (AI) components of computer games often appear to be very complex, possibly having abilities beyond the state of the art in computer generated forces. In this paper we study the similarities and differences between AIs for computer games and computer generated forces (CGFs). We contrast the goals of AIs and CGFs, their behavioral requirements, and the underlying reso...

STIM1 and Orai1 are the main components of a widely conserved Calcium influx pathway known as store-operated calcium entry (SOCE). STIM1 is a calcium sensor, which oligomerizes and activates Orai channels when calcium levels drop inside the endoplasmic reticulum (ER). The series of molecular rearrangements that STIM1 undergoes until final activation of Orai1 require the direct exposure of the S...