Spaces of consumption in the mobile metropolis: symbolic capital, multi-accessibility and spatial conditions for social interaction Decrecimiento Urbano: la desclasificación del Suelo Urbanizable en Comunidad de Madrid a 2020. Agenda Urbana Española y Objetivos Desarrollo Sostenible &nbsp

An orthodoxy in classical cognitive science is that representation is symbolic and that functional architecture is modular. That modular theory is the cornerstone of Cognitive Neuropsychology (CN), which identifies functionally discrete neurocomputational entities by observing psychological disorder. While the symbolic theory of representation is optional for CN, the modular hypothesis is essen...

Many historians of sexuality explore how sexual subjectivity has taken shape in recent centuries, while historical sociologists tend to focus upon the intimate and erotic aspects of emergent social institutions. Symbolic interactionist sociology can add a new dimension to the existing debates, shifting the primary focus from the history of sexuality to a theoretically informed analysis of sexua...

We have developed a methodology based on symbolic manipulation of inductive Boolean functions (IBFs) for formal verification of inductively-defined hardware. This methodology combines the techniques of reasoning by induction and symbolic tautologychecking in an automated and potentially efficient way. In this paper, we describe a component of this methodology that regards various mechanisms use...

We define a basic calculus ML for manipulating symbolic names inspired by λcalculi with extensible records. The resulting calculus supports the use of symbolic names for meta-programming and programming in-the-large, it subsumes Ancona and Zucca’s CMS, and partly Nanevski and Pfenning’s ν , and seems able to model some aspects of the mechanism of Java class loaders. We present two different ext...

Self-composition is a logical formulation of non-interference, a high-level security property that guarantees the absence of illicit information leakages through executing programs. In order to capture program executions, self-composition has been expressed in Hoare or modal logic, and has been proved (or refuted) by using theorem provers. These approaches require considerable user interaction,...

We propose a hybrid model based on self-regulatory feedback. It is a connectionist network, which can be composed in a modular fashion. It can be composed of simple constructs that can be combined together to interact logically without requiring apriori declaration of ‘interaction-type’ connections. It is primarily a classifier but resolves binding and is pliable to certain symbolic manipulatio...

In this work we introduce symbolic knowledge representation and reasoning capabilities to enrich perceptual anchoring. The idea that encompasses perceptual anchoring is, the creation and maintenance of a connection between the symbolic and perceptual description that refer to the same object in the environment. However, without higher level reasoning, perceptual anchoring is still limited. Henc...

This paper discusses an exploratory case study of the design of games that facilitate spontaneous social interaction and group behaviours among distributed individuals, based largely on symbolic presence ‘state’ changes. We present the principles guiding the design of our game environment: presence as a symbolic phenomenon, the importance of good visualization and the potential for spontaneous ...

According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the acquisition of linguistic constructs. Intersubjectivity develops in early ontogenetic life when interactions between mother and infant mutually shape their relatedness. Empirical findings suggest that the shared attent...