Actores sociales en la resolución de problemas habitacionales: el caso del barrio Las Malvinas de La Plata

Este artículo es un avance del trabajo de investigación denominado "Relaciones entre actores sociales públicos y privados en el proceso de producción de hábitat popular: el caso del barrio Las Malvinas del partido de La Plata". Dado su carácter de aproximación al tema, en este texto nos proponemos reconocer los actores que participaron en la conformación del barrio e identificar etapas en el proceso de producción del mismo. Los resultados preliminares de la investigación en curso nos muestran que en la formación del barrio hubo un predominio de acciones públicas apoyadas en el esfuerzo de los habitantes, autoconstructores de su hábitat. En esta oportunidad, las rectoras de la estructura del trabajo serán las intervenciones gubernamentales a lo largo de los quince años de vida del barrio. Comenzaremos por un breve comentario del encuadre teórico, y luego avanzaremos en la presentación de los actores identificados hasta el momento y en la descripción de las tres etapas determinadas. A medida que vayamos repasando la historia del barrio, intentaremos comprender las acciones estatales en el marco de las políticas habitacionales emprendidas por los sucesivos gobiernos de la provincia de Buenos Aires.

Las fronteras cambiantes entre lo político y lo social : Aportes etnográficos al debate en torno de "el 2001" en Argentina

En Argentina, las concepciones disciplinarias sobre la política se han visto desafiadas por "el 2001". Las etnografías sobre procesos de estatalización barrial escritas en ese contexto pueden comprenderse como una respuesta singular a este desafío. Especialmente, los análisis etnográficos han discutido los supuestos normativos implícitos en ciertas dicotomías: "movimientos sociales" - "clientelismo", "autonomía" - "cooptación", "resistencia" - "subordinación", "nuevo" - "viejo", "proyecto" - "urgencia". Estas etnografías suelen privilegiar el análisis de los acontecimientos presenciados por el investigador en tiempo presente. Leídas comparativamente, sin embargo, parecen dar cuenta de un cierto orden en las diferencias que propongo interpretar desde una mirada histórica. Más específicamente, me interesa profundizar en la elucidación de los sentidos de "el 2001" (su antes y su después) en las experiencias de la política de las personas descriptas etnográficamente. Dentro de este marco, he trabajado un punto de encuentro entre las etnografías: cómo las personas definen sus prácticas en la relación entre "trabajo", "barrio" y "política"

Economías literarias en algunas ficciones argentinas del 2000 (Casas, Incardona, Cucurto y Mariano Llinás)

En el marco de las discusiones en torno al "valor" en tiempos de posautonomía, se diagrama un mapa que articula los diversos modos en que los textos narrativos de los poetas Fabián Casas, Washington Cucurto y Juan Diego Incardona, reinventan, singularmente, el imaginario populista (nostalgia barrial desplazada al vacío representacional de la experiencia zen; religación ideológica y política del sujeto colectivo; discurso revolucionario en clave de farsa y banalidad), a la vez que definen, desde esas inflexiones, tres economías ficcionales como tres posiciones en relación con el trabajo como uno de los nudos de la cultura del nuevo capitalismo: ocio, artesanía, y superproducción. La película Historias extraordinarias de Mariano Llinás constituye otra versión del modelo artesanal y, desde su particular economía, un acontecimiento narrativo en la ficción argentina del presente

Intersecciones : Política social e inserción laboral : Un estudio de caso sobre la informalidad de subsistencia en un barrio del Conurbano Bonaerense

La política social y el mercado de trabajo son dimensiones del sistema social mutuamente implicadas en las sociedades industriales capitalistas. Sin embargo, una interpretación apresurada sobre el mundo social podría opacar los procesos que hacen que en un grupo de la población se yuxtapongan: una inserción laboral precaria dentro del mercado de trabajo informal junto con la (re) construcción de ese grupo como sujeto-objeto de políticas sociales. El artículo tiene por propósito problematizar las representaciones dominantes sobre el trabajo y su relación con las prácticas de organización de los hogares, considerando que en su interior la dimensión laboral se articula con otros recursos (provenientes de las políticas sociales). De modo más específico, el objetivo se orienta a la descripción y análisis de prácticas y representaciones sobre la situaci162n ocupacional de jefas/es y cónyuges que realizan actividades laborales en la informalidad de subsistencia. Se plantea como hipótesis exploratoria que en el período actual las condiciones de trabajo y representaciones de los trabajadores ocupados en ese tipo de actividades expresarían la existencia de un tipo de informalidad fuertemente segregada respecto de las actividades productivas, un en un contexto de crecimiento del empleo. También se sostiene que las formas bajo las cuales estas inserciones laborales se articulan con los planes sociales (como un nivel específico de política social) evidenciarían el carácter de la contribución estatal a la reproducción de las condiciones de vida de los trabajadores insertos en este tipo de informalidad. Los hallazgos presentados constituyen un avance de investigación sobre la reproducción de la marginalidad urbana en el Conurbano Bonaerense. Parte del trabajo de campo se realizó durante el año 2008, en un barrio del Partido de Almirante Brown. Se organizaron dos grupos de discusión: uno con mujeres perceptoras de planes y otro con hombres que realizaban changas como actividad principal. Con el objeto de aportar datos acerca de las condiciones materiales de los hogares, se aplicó un cuestionario a los participantes. Junto con esta información, se analizaron registros de campo tomados en observaciones realizadas en diversos espacios del barrio

Actores sociales en la resolución de problemas habitacionales: el caso del barrio Las Malvinas de La Plata

Este artículo es un avance del trabajo de investigación denominado "Relaciones entre actores sociales públicos y privados en el proceso de producción de hábitat popular: el caso del barrio Las Malvinas del partido de La Plata". Dado su carácter de aproximación al tema, en este texto nos proponemos reconocer los actores que participaron en la conformación del barrio e identificar etapas en el proceso de producción del mismo. Los resultados preliminares de la investigación en curso nos muestran que en la formación del barrio hubo un predominio de acciones públicas apoyadas en el esfuerzo de los habitantes, autoconstructores de su hábitat. En esta oportunidad, las rectoras de la estructura del trabajo serán las intervenciones gubernamentales a lo largo de los quince años de vida del barrio. Comenzaremos por un breve comentario del encuadre teórico, y luego avanzaremos en la presentación de los actores identificados hasta el momento y en la descripción de las tres etapas determinadas. A medida que vayamos repasando la historia del barrio, intentaremos comprender las acciones estatales en el marco de las políticas habitacionales emprendidas por los sucesivos gobiernos de la provincia de Buenos Aires.

Las fronteras cambiantes entre lo político y lo social : Aportes etnográficos al debate en torno de "el 2001" en Argentina

En Argentina, las concepciones disciplinarias sobre la política se han visto desafiadas por "el 2001". Las etnografías sobre procesos de estatalización barrial escritas en ese contexto pueden comprenderse como una respuesta singular a este desafío. Especialmente, los análisis etnográficos han discutido los supuestos normativos implícitos en ciertas dicotomías: "movimientos sociales" - "clientelismo", "autonomía" - "cooptación", "resistencia" - "subordinación", "nuevo" - "viejo", "proyecto" - "urgencia". Estas etnografías suelen privilegiar el análisis de los acontecimientos presenciados por el investigador en tiempo presente. Leídas comparativamente, sin embargo, parecen dar cuenta de un cierto orden en las diferencias que propongo interpretar desde una mirada histórica. Más específicamente, me interesa profundizar en la elucidación de los sentidos de "el 2001" (su antes y su después) en las experiencias de la política de las personas descriptas etnográficamente. Dentro de este marco, he trabajado un punto de encuentro entre las etnografías: cómo las personas definen sus prácticas en la relación entre "trabajo", "barrio" y "política"

Intersecciones : Política social e inserción laboral : Un estudio de caso sobre la informalidad de subsistencia en un barrio del Conurbano Bonaerense

La política social y el mercado de trabajo son dimensiones del sistema social mutuamente implicadas en las sociedades industriales capitalistas. Sin embargo, una interpretación apresurada sobre el mundo social podría opacar los procesos que hacen que en un grupo de la población se yuxtapongan: una inserción laboral precaria dentro del mercado de trabajo informal junto con la (re) construcción de ese grupo como sujeto-objeto de políticas sociales. El artículo tiene por propósito problematizar las representaciones dominantes sobre el trabajo y su relación con las prácticas de organización de los hogares, considerando que en su interior la dimensión laboral se articula con otros recursos (provenientes de las políticas sociales). De modo más específico, el objetivo se orienta a la descripción y análisis de prácticas y representaciones sobre la situaci162n ocupacional de jefas/es y cónyuges que realizan actividades laborales en la informalidad de subsistencia. Se plantea como hipótesis exploratoria que en el período actual las condiciones de trabajo y representaciones de los trabajadores ocupados en ese tipo de actividades expresarían la existencia de un tipo de informalidad fuertemente segregada respecto de las actividades productivas, un en un contexto de crecimiento del empleo. También se sostiene que las formas bajo las cuales estas inserciones laborales se articulan con los planes sociales (como un nivel específico de política social) evidenciarían el carácter de la contribución estatal a la reproducción de las condiciones de vida de los trabajadores insertos en este tipo de informalidad. Los hallazgos presentados constituyen un avance de investigación sobre la reproducción de la marginalidad urbana en el Conurbano Bonaerense. Parte del trabajo de campo se realizó durante el año 2008, en un barrio del Partido de Almirante Brown. Se organizaron dos grupos de discusión: uno con mujeres perceptoras de planes y otro con hombres que realizaban changas como actividad principal. Con el objeto de aportar datos acerca de las condiciones materiales de los hogares, se aplicó un cuestionario a los participantes. Junto con esta información, se analizaron registros de campo tomados en observaciones realizadas en diversos espacios del barrio

En los zapatos de otros : La construcción de subjetividad colectiva en un movimiento de trabadores desocupados

La consolidación del modelo neoliberal en la Argentina de los años noventa, generó un fuerte impacto en los sectores subalternos y en sus formas históricas de dar sentido. Al mismo tiempo se abrieron espacios de disputa por la construcción de sentido y de acción colectiva con posibilidad de resignificar experiencias históricas, tal como es el caso de los movimientos desocupados. Estas nuevas formas de organización y participación política con anclaje barrial, caracterizadas por acciones de protesta mediante la modalidad de cortes de ruta, fueron paulatinamente constituyéndose en espacios de disputa del orden social relevantes hasta la actualidad. A razón de esto último, la siguiente investigación propone un análisis sobre los aspectos subjetivos de experiencias colectivas de trabajo de militantes y participantes de base al interior del Movimiento de Trabajadores Desocupados Aníbal Verón Barrio Malvinas de la ciudad de La Plata, 2009. Fundamentalmente, busca analizar cómo se constituyen y relacionan ambas subjetividades a partir de sus experiencias de trabajo colectivas y cotidianas, con el propósito de entender el proceso de conformación de subjetividad colectiva. En tal dirección, recorre el universo de representaciones, imaginarios, visión de futuro y proyecto colectivo puesto en locución en las prácticas colectivas del movimiento de desocupados en estudio. La presente investigación busca dar cuenta de los elementos de mediación subjetiva puestos en juego en experiencias de trabajo colectivo a razón de considerar la centralidad de la demanda laboral en la conformación de los movimientos desocupados. De este modo, el análisis contempla el contexto de crisis y transformación de la Argentina neoliberal en las últimas década, permitiéndonos pensar no sólo la relación entre orden social, subjetividad y acción dentro de la perspectiva de un movimiento social en concreto sino, también, abriendo preguntas de interés para otros estudios abocados a la misma problemática

Economías literarias en algunas ficciones argentinas del 2000 (Casas, Incardona, Cucurto y Mariano Llinás)

En el marco de las discusiones en torno al "valor" en tiempos de posautonomía, se diagrama un mapa que articula los diversos modos en que los textos narrativos de los poetas Fabián Casas, Washington Cucurto y Juan Diego Incardona, reinventan, singularmente, el imaginario populista (nostalgia barrial desplazada al vacío representacional de la experiencia zen; religación ideológica y política del sujeto colectivo; discurso revolucionario en clave de farsa y banalidad), a la vez que definen, desde esas inflexiones, tres economías ficcionales como tres posiciones en relación con el trabajo como uno de los nudos de la cultura del nuevo capitalismo: ocio, artesanía, y superproducción. La película Historias extraordinarias de Mariano Llinás constituye otra versión del modelo artesanal y, desde su particular economía, un acontecimiento narrativo en la ficción argentina del presente

Fine spatial pattern of an epiphytic lichen species is affected by habitat conditions in two forest types in the Iberian Mediterranean region

Persistence and abundance of species is determined by habitat availability and the ability to disperse and colonize habitats at contrasting spatial scales. Favourable habitat fragments are also heterogeneous in quality, providing differing opportunities for establishment and affecting the population dynamics of a species. Based on these principles, we suggest that the presence and abundance of epiphytes may reflect their dispersal ability, which is primarily determined by the spatial structure of host trees, but also by host quality. To our knowledge there has been no explicit test of the importance of host tree spatial pattern for epiphytes in Mediterranean forests. We hypothesized that performance and host occupancy in a favourable habitat depend on the spatial pattern of host trees, because this pattern affects the dispersal ability of each epiphyte and it also determines the availability of suitable sites for establishment. We tested this hypothesis using new point pattern analysis tools and generalized linear mixed models to investigate the spatial distribution and performance of the epiphytic lichen Lobaria pulmonaria, which inhabits two types of host trees (beeches and Iberian oaks). We tested the effects on L. pulmonaria distribution of tree size, spatial configuration, and host tree identity. We built a model including tree size, stand structure, and several neighbourhood predictors to understand the effect of host tree on L. pulmonaria. We also investigated the relative importance of spatial patterning on the presence and abundance of the species, independently of the host tree configuration. L. pulmonaria distribution was highly dependent on habitat quality for successful establishment, i.e., tree species identity, tree diameter, and several forest stand structure surrogates. For beech trees, tree diameter was the main factor influencing presence and cover of the lichen, although larger lichen-colonized trees were located close to focal trees, i.e., young trees. However, oak diameter was not an important factor, suggesting that bark roughness at all diameters favoured lichen establishment. Our results indicate that L. pulmonaria dispersal is not spatially restricted, but it is dependent on habitat quality. Furthermore, new spatial analysis tools suggested that L. pulmonaria cover exhibits a distinct pattern, although the spatial pattern of tree position and size was random.

Modelling the Impact of Built Environment, Geographical Scales and Latent Constructs On Individual Travel Behaviour

La relación entre la estructura urbana y la movilidad ha sido estudiada desde hace más de 70 años. El entorno urbano incluye múltiples dimensiones como por ejemplo: la estructura urbana, los usos de suelo, la distribución de instalaciones diversas (comercios, escuelas y zonas de restauración, parking, etc.). Al realizar una revisión de la literatura existente en este contexto, se encuentran distintos análisis, metodologías, escalas geográficas y dimensiones, tanto de la movilidad como de la estructura urbana. En este sentido, se trata de una relación muy estudiada pero muy compleja, sobre la que no existe hasta el momento un consenso sobre qué dimensión del entorno urbano influye sobre qué dimensión de la movilidad, y cuál es la manera apropiada de representar esta relación. Con el propósito de contestar estas preguntas investigación, la presente tesis tiene los siguientes objetivos generales: (1) Contribuir al mejor entendimiento de la compleja relación estructura urbana y movilidad. y (2) Entender el rol de los atributos latentes en la relación entorno urbano y movilidad. El objetivo específico de la tesis es analizar la influencia del entorno urbano sobre dos dimensiones de la movilidad: número de viajes y tipo de tour. Vista la complejidad de la relación entorno urbano y movilidad, se pretende contribuir al mejor entendimiento de la relación a través de la utilización de 3 escalas geográficas de las variables y del análisis de la influencia de efectos inobservados en la movilidad. Para el análisis se utiliza una base de datos conformada por tres tipos de datos: (1) Una encuesta de movilidad realizada durante los años 2006 y 2007. Se obtuvo un total de 943 encuestas, en 3 barrios de Madrid: Chamberí, Pozuelo y Algete. (2) Información municipal del Instituto Nacional de Estadística: dicha información se encuentra enlazada con los orígenes y destinos de los viajes recogidos en la encuesta. Y (3) Información georeferenciada en Arc-GIS de los hogares participantes en la encuesta: la base de datos contiene información respecto a la estructura de las calles, localización de escuelas, parking, centros médicos y lugares de restauración. Se analizó la correlación entre e intra-grupos y se modelizaron 4 casos de atributos bajo la estructura ordinal logit. Posteriormente se evalúa la auto-selección a través de la estimación conjunta de las elecciones de tipo de barrio y número de viajes. La elección del tipo de barrio consta de 3 alternativas: CBD, Urban y Suburban, según la zona de residencia recogida en las encuestas. Mientras que la elección del número de viajes consta de 4 categorías ordinales: 0 viajes, 1-2 viajes, 3-4 viajes y 5 o más viajes. A partir de la mejor especificación del modelo ordinal logit. Se desarrolló un modelo joint mixed-ordinal conjunto. Los resultados indican que las variables exógenas requieren un análisis exhaustivo de correlaciones con el fin de evitar resultados sesgados. ha determinado que es importante medir los atributos del BE donde se realiza el viaje, pero también la información municipal es muy explicativa de la movilidad individual. Por tanto, la percepción de las zonas de destino a nivel municipal es considerada importante. En el contexto de la Auto-selección (self-selection) es importante modelizar conjuntamente las decisiones. La Auto-selección existe, puesto que los parámetros estimados conjuntamente son significativos. Sin embargo, sólo ciertos atributos del entorno urbano son igualmente importantes sobre la elección de la zona de residencia y frecuencia de viajes. Para analizar la Propensión al Viaje, se desarrolló un modelo híbrido, formado por: una variable latente, un indicador y un modelo de elección discreta. La variable latente se denomina “Propensión al Viaje”, cuyo indicador en ecuación de medida es el número de viajes; la elección discreta es el tipo de tour. El modelo de elección consiste en 5 alternativas, según la jerarquía de actividades establecida en la tesis: HOME, no realiza viajes durante el día de estudio, HWH tour cuya actividad principal es el trabajo o estudios, y no se realizan paradas intermedias; HWHs tour si el individuo reaiza paradas intermedias; HOH tour cuya actividad principal es distinta a trabajo y estudios, y no se realizan paradas intermedias; HOHs donde se realizan paradas intermedias. Para llegar a la mejor especificación del modelo, se realizó un trabajo importante considerando diferentes estructuras de modelos y tres tipos de estimaciones. De tal manera, se obtuvieron parámetros consistentes y eficientes. Los resultados muestran que la modelización de los tours, representa una ventaja sobre la modelización de los viajes, puesto que supera las limitaciones de espacio y tiempo, enlazando los viajes realizados por la misma persona en el día de estudio. La propensión al viaje (PT) existe y es específica para cada tipo de tour. Los parámetros estimados en el modelo híbrido resultaron significativos y distintos para cada alternativa de tipo de tour. Por último, en la tesis se verifica que los modelos híbridos representan una mejora sobre los modelos tradicionales de elección discreta, dando como resultado parámetros consistentes y más robustos. En cuanto a políticas de transporte, se ha demostrado que los atributos del entorno urbano son más importantes que los LOS (Level of Service) en la generación de tours multi-etapas. la presente tesis representa el primer análisis empírico de la relación entre los tipos de tours y la propensión al viaje. El concepto Propensity to Travel ha sido desarrollado exclusivamente para la tesis. Igualmente, el desarrollo de un modelo conjunto RC-Number of trips basado en tres escalas de medida representa innovación en cuanto a la comparación de las escalas geográficas, que no había sido hecha en la modelización de la self-selection. The relationship between built environment (BE) and travel behaviour (TB) has been studied in a number of cases, using several methods - aggregate and disaggregate approaches - and different focuses – trip frequency, automobile use, and vehicle miles travelled and so on. Definitely, travel is generated by the need to undertake activities and obtain services, and there is a general consensus that urban components affect TB. However researches are still needed to better understand which components of the travel behaviour are affected most and by which of the urban components. In order to fill the gap in the research, the present dissertation faced two main objectives: (1) To contribute to the better understanding of the relationship between travel demand and urban environment. And (2) To develop an econometric model for estimating travel demand with urban environment attributes. With this purpose, the present thesis faced an exhaustive research and computation of land-use variables in order to find the best representation of BE for modelling trip frequency. In particular two empirical analyses are carried out: 1. Estimation of three dimensions of travel demand using dimensions of urban environment. We compare different travel dimensions and geographical scales, and we measure self-selection contribution following the joint models. 2. Develop a hybrid model, integrated latent variable and discrete choice model. The implementation of hybrid models is new in the analysis of land-use and travel behaviour. BE and TB explicitly interact and allow richness information about a specific individual decision process For all empirical analysis is used a data-base from a survey conducted in 2006 and 2007 in Madrid. Spatial attributes describing neighbourhood environment are derived from different data sources: National Institute of Statistics-INE (Administrative: municipality and district) and GIS (circular units). INE provides raw data for such spatial units as: municipality and district. The construction of census units is trivial as the census bureau provides tables that readily define districts and municipalities. The construction of circular units requires us to determine the radius and associate the spatial information to our households. The first empirical part analyzes trip frequency by applying an ordered logit model. In this part is studied the effect of socio-economic, transport and land use characteristics on two travel dimensions: trip frequency and type of tour. In particular the land use is defined in terms of type of neighbourhoods and types of dwellers. Three neighbourhood representations are explored, and described three for constructing neighbourhood attributes. In particular administrative units are examined to represent neighbourhood and circular – unit representation. Ordered logit models are applied, while ordinal logit models are well-known, an intensive work for constructing a spatial attributes was carried out. On the other hand, the second empirical analysis consists of the development of an innovative econometric model that considers a latent variable called “propensity to travel”, and choice model is the choice of type of tour. The first two specifications of ordinal models help to estimate this latent variable. The latent variable is unobserved but the manifestation is called “indicators”, then the probability of choosing an alternative of tour is conditional to the probability of latent variable and type of tour. Since latent variable is unknown we fit the integral over its distribution. Four “sets of best variables” are specified, following the specification obtained from the correlation analysis. The results evidence that the relative importance of SE variables versus BE variables depends on how BE variables are measured. We found that each of these three spatial scales has its intangible qualities and drawbacks. Spatial scales play an important role on predicting travel demand due to the variability in measures at trip origin/destinations within the same administrative unit (municipality, district and so on). Larger units will produce less variation in data; but it does not affect certain variables, such as public transport supply, that are more significant at municipality level. By contrast, land-use measures are more efficient at district level. Self-selection in this context, is weak. Thus, the influence of BE attributes is true. The results of the hybrid model show that unobserved factors affect the choice of tour complexity. The latent variable used in this model is propensity to travel that is explained by socioeconomic aspects and neighbourhood attributes. The results show that neighbourhood attributes have indeed a significant impact on the choice of the type of tours either directly and through the propensity to travel. The propensity to travel has a different impact depending on the structure of each tour and increases the probability of choosing more complex tours, such as tours with many intermediate stops. The integration of choice and latent variable model shows that omitting important perception and attitudes leads to inconsistent estimates. The results also indicate that goodness of fit improves by adding the latent variable in both sequential and simultaneous estimation. There are significant differences in the sensitivity to the latent variable across alternatives. In general, as expected, the hybrid models show a major improvement into the goodness of fit of the model, compared to a classical discrete choice model that does not incorporate latent effects. The integrated model leads to a more detailed analysis of the behavioural process. Summarizing, the effect that built environment characteristics on trip frequency studied is deeply analyzed. In particular we tried to better understand how land use characteristics can be defined and measured and which of these measures do have really an impact on trip frequency. We also tried to test the superiority of HCM on this field. We can concluded that HCM shows a major improvement into the goodness of fit of the model, compared to classical discrete choice model that does not incorporate latent effects. And consequently, the application of HCM shows the importance of LV on the decision of tour complexity. People are more elastic to built environment attributes than level of services. Thus, policy implications must take place to develop more mixed areas, work-places in combination with commercial retails.

Fine spatial pattern of an epiphytic lichen species is affected by habitat conditions in two forest types in the Iberian Mediterranean region

Persistence and abundance of species is determined by habitat availability and the ability to disperse and colonize habitats at contrasting spatial scales. Favourable habitat fragments are also heterogeneous in quality, providing differing opportunities for establishment and affecting the population dynamics of a species. Based on these principles, we suggest that the presence and abundance of epiphytes may reflect their dispersal ability, which is primarily determined by the spatial structure of host trees, but also by host quality. To our knowledge there has been no explicit test of the importance of host tree spatial pattern for epiphytes in Mediterranean forests. We hypothesized that performance and host occupancy in a favourable habitat depend on the spatial pattern of host trees, because this pattern affects the dispersal ability of each epiphyte and it also determines the availability of suitable sites for establishment. We tested this hypothesis using new point pattern analysis tools and generalized linear mixed models to investigate the spatial distribution and performance of the epiphytic lichen Lobaria pulmonaria, which inhabits two types of host trees (beeches and Iberian oaks). We tested the effects on L. pulmonaria distribution of tree size, spatial configuration, and host tree identity. We built a model including tree size, stand structure, and several neighbourhood predictors to understand the effect of host tree on L. pulmonaria. We also investigated the relative importance of spatial patterning on the presence and abundance of the species, independently of the host tree configuration. L. pulmonaria distribution was highly dependent on habitat quality for successful establishment, i.e., tree species identity, tree diameter, and several forest stand structure surrogates. For beech trees, tree diameter was the main factor influencing presence and cover of the lichen, although larger lichen-colonized trees were located close to focal trees, i.e., young trees. However, oak diameter was not an important factor, suggesting that bark roughness at all diameters favoured lichen establishment. Our results indicate that L. pulmonaria dispersal is not spatially restricted, but it is dependent on habitat quality. Furthermore, new spatial analysis tools suggested that L. pulmonaria cover exhibits a distinct pattern, although the spatial pattern of tree position and size was random.

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.

Partial order and contextual net semantics for atomic and locally atomic CC programs

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.