A system which combines the descriptional power of symbolic representations with the parallel and distributed processing model of cellular automata and the speed and robustness of connectionist symbol processing is described. Following a cellular automata based approach , the aim of the system is to transform initial symbolic descriptions of patterns to corresponding object level descriptions i...

There is an obvious tension between symbolic and subsymbolic theories, because both show complementary strengths and weaknesses in corresponding applications and underlying methodologies. The resulting gap in the foundations and the applicability of these approaches is theoretically unsatisfactory and practically undesirable. We sketch a theory that bridges this gap between symbolic and subsymb...

This paper describes an evolutionarily plausible description of of a specialized working memory system involved in information management for high-order cognitive tasks through its capability for controlled maintenance and schematic access to symbolic representations. Along a volatile serially accessible symbolic storage that serves a basic maintenance function the system utilizes other accesso...

We present a symbolic dynamic partial order reduction (POR) method for model checking concurrent software. We introduce the notion of guarded independent transitions, i.e., transitions that can be considered as independent in certain (but not necessarily all) execution paths. These can be exploited by using a new peephole reduction method. A symbolic formulation of the proposed peephole reducti...

This paper focuses on non-directive play therapy with maltreated and neglected young children, and explores ways in which their symbolic play seems to be activated and accelerated during play therapy. The frameworks of attachment and cognitive development are utilized to examine therapeutic relationships. Examples from normal development and from therapeutic work are given in order to describe ...

This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are subsymbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006] model of neural networks. We also implement the model using timed automata [Alur & Dill, 1994] and then undertake a verification of these models u...

Creative Symbolic Interaction brings together the advantages from the worlds of interactive real-time computing and intelligent, content-level analysis and processing, in order to enhance and humanize man-machine communication. Performers improvising along with Symbolic Interaction systems experiment a unique artistic situation where they interact with musical (and possibly multi-modal) agents ...

The creative and flexible use of symbols is a unique human ability. In order to use a symbol, one must understand the basic relation between the symbol and what it represents. How do young children come to appreciate such relations? One possibility is that insight into one symbolic relation helps children appreciate different ones. The 3 studies presented here support this possibility. In Exper...

| This paper presents an event-driven algorithm for the symbolic analysis of power and ground bus networks using moment matching techniques to estimate the transfer function at each node in the P/G network. The P/G network is modeled by a hierarchical combination of mesh and tree structures that are composed of a collection of RCsegments and pulldown (or pullup) switches. The switches are symbo...

This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are subsymbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006] model of neural networks. We also implement the model using timed automata [Alur & Dill, 1994] and then undertake a verification of these models u...