Estructuración espacial en la modernidad capitalista : Debates y perspectivas recientes

Este trabajo tiene por objetivo indagar el lugar que ocupa -y la forma en que está constituida- la dimensión espacial en distintos enfoques que nutrieron o se desarrollaron como teorías de la geografía económica. Se inicia la discusión partiendo de la economía convencional (neoclásica o keynesiana) y se sigue con los enfoques institucionalistas del desarrollo regional. Con respecto a estos últimos, se estudia los conceptos básicos tomados del giro relacional de la geografía humana, sobre todo al momento de definir sus objetos de análisis y su espacialidad inherente. Se intenta así caracterizar el tratamiento del espacio descubriendo sus límites y dificultades, poniéndose de manifiesto el piso común que estos enfoques comparten con las perspectivas convencionales de la geografía económica. Finalmente, se recuperan los aportes de geógrafos críticos dedicados al estudio de la estructuración espacio-temporal de la "moderna sociedad burguesa", entablando un diálogo fructífero con el giro relacional que sirvió de fundamento al pensamiento institucionalista

Estructuración espacial en la modernidad capitalista : Debates y perspectivas recientes

Este trabajo tiene por objetivo indagar el lugar que ocupa -y la forma en que está constituida- la dimensión espacial en distintos enfoques que nutrieron o se desarrollaron como teorías de la geografía económica. Se inicia la discusión partiendo de la economía convencional (neoclásica o keynesiana) y se sigue con los enfoques institucionalistas del desarrollo regional. Con respecto a estos últimos, se estudia los conceptos básicos tomados del giro relacional de la geografía humana, sobre todo al momento de definir sus objetos de análisis y su espacialidad inherente. Se intenta así caracterizar el tratamiento del espacio descubriendo sus límites y dificultades, poniéndose de manifiesto el piso común que estos enfoques comparten con las perspectivas convencionales de la geografía económica. Finalmente, se recuperan los aportes de geógrafos críticos dedicados al estudio de la estructuración espacio-temporal de la "moderna sociedad burguesa", entablando un diálogo fructífero con el giro relacional que sirvió de fundamento al pensamiento institucionalista

Estructuración espacial en la modernidad capitalista : Debates y perspectivas recientes

Este trabajo tiene por objetivo indagar el lugar que ocupa -y la forma en que está constituida- la dimensión espacial en distintos enfoques que nutrieron o se desarrollaron como teorías de la geografía económica. Se inicia la discusión partiendo de la economía convencional (neoclásica o keynesiana) y se sigue con los enfoques institucionalistas del desarrollo regional. Con respecto a estos últimos, se estudia los conceptos básicos tomados del giro relacional de la geografía humana, sobre todo al momento de definir sus objetos de análisis y su espacialidad inherente. Se intenta así caracterizar el tratamiento del espacio descubriendo sus límites y dificultades, poniéndose de manifiesto el piso común que estos enfoques comparten con las perspectivas convencionales de la geografía económica. Finalmente, se recuperan los aportes de geógrafos críticos dedicados al estudio de la estructuración espacio-temporal de la "moderna sociedad burguesa", entablando un diálogo fructífero con el giro relacional que sirvió de fundamento al pensamiento institucionalista

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

The Last Missionary to Leave the Temple Should Turn Off the Light Sociological Remarks on the Decline of Japanese ""Immigrant"" Buddhism in Brazil

Empirical data indicate that the so-called ""Buddhism of yellow color"" that is predominantly associated with Japanese ""immigrant"" Buddhism, is constantly in decline in terms of ""explicit"" adherents. After some methodological observations, this article gives an overview of the relevant statistical data. The last part discusses possible reasons for these negative dynamics, referring to causes within Buddhist institutions, the ethnic community, and at the level of the individual.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Turn up the HEAT

The recently determined crystal structure of the PR65/A subunit of protein phosphatase 2A reveals the architecture of proteins containing HEAT repeats, The structural properties of this solenoid protein explain many functional characteristics and account for the involvement of solenoids as scaffold, anchoring and adaptor proteins.

The aesthetic turn in international political theory

This essay explores the nature and significance of aesthetic approaches to international political theory. More specifically, it contrasts aesthetic with mimetic forms of representation. The latter, which have dominated the study of international relations, seek to represent politics as realistically and authentically as possible, aiming at capturing world politics as it really is. An aesthetic approach, by contrast, assumes that there is always a gap between a form of representation and what is represented therewith. Rather than ignoring or seeking to narrow this gap, as mimetic approaches do, aesthetic insight recognises that the inevitable difference between the represented and its representation is the very location of politics. The essay, thus, argues for the need to reclaim the political value of the aesthetic; not to replace social science or technological reason, but to broaden our abilities to comprehend and deal with the key dilemmas of world politics. The ensuing model of thought facilitates productive interactions across different faculties, including sensibility, imagination and reason, without any of them annihilating the unique position and insight of the other.

Relational learning in children with deafness and cochlear implants

This four-experiment series sought to evaluate the potential of children with neurosensory deafness and cochlear implants to exhibit auditory-visual and visual-visual stimulus equivalence relations within a matching-to-sample format. Twelve children who became deaf prior to acquiring language (prelingual) and four who became deaf afterwards (postlingual) were studied. All children learned auditory-visual conditional discriminations and nearly all showed emergent equivalence relations. Naming tests, conducted with a subset of the: children, showed no consistent relationship to the equivalence-test outcomes.. This study makes several contributions: to the literature on stimulus equivalence. First; it demonstrates that both pre- and postlingually deaf children-can: acquire auditory-visual equivalence-relations after cochlear implantation, thus demonstrating symbolic functioning. Second, it directs attention to a population that may be especially interesting for researchers seeking to analyze the relationship. between speaker and listener repertoires. Third, it demonstrates the feasibility of conducting experimental studies of stimulus control processes within the limitations of a hospital, which these children must visit routinely for the maintenance of their cochlear implants.

Stimulus competition in affective and relational learning

Evaluative learning theory states that affective learning, the acquisition of likes and dislikes, is qualitatively different from relational learning, the learning of predictive relationships among stimuli. Three experiments tested the prediction derived from evaluative learning theory that relational learning, but not affective learning, is affected by stimulus competition by comparing performance during two conditional stimuli, one trained in a superconditioning procedure and the other in a blocking procedure. Ratings of unconditional stimulus expectancy and electrodermal responses indicated stimulus competition in relational learning. Evidence for stimulus competition in affective learning was provided by verbal ratings of conditional stimulus pleasantness and by measures of blink startle modulation. Taken together, the present experiments demonstrate stimulus competition in relational and affective learning, a result inconsistent with evaluative learning theory. (C) 2001 Academic Press.