A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Structures spatiales dans la pensée religieuse grecque de l'époque archaïque : la représentation de quelques espaces insondables: l'éther, l'air, l'abîme marin

Cette thèse se propose d’étudier les façons dont la pensée et l’imaginaire grec de l’époque archaïque se représentaient quelques pans du réel qui ne se laissaient jamais voir ni atteindre: l’éther, l’air et l’abîme marin. Vu le caractère insondable de ces espaces, l’imagination et l’abstraction se sont ingéniées à les appréhender par un discours spécifique et à les intégrer dans le système de connaissances et de croyances propre à l’époque en leur assignant une place dans le système de l’univers, en les rattachant à une hiérarchie de l’ordre cosmologique, en leur donnant une forme, en classant leurs objets et en les rapportant aux modèles du monde connu, en les aménageant par les moyens les plus divers. Une étude des formes d’expression de la pensée grecque archaïque, autant littéraires qu’iconographiques, permet de cerner les diverses formes de représentation des domaines inaccessibles et les modèles d’organisation spatiale issus de ce type de pensée. Grâce à la dialectique particulière qui ressort du rapport entre espace et mouvement, cette thèse se propose également d’interroger le corpus des sources grecques archaïques sous des angles jusqu’ici peu explorés: comment maîtrise-t-on l’espace par les déplacements physiques en dehors des parcours terrestres? Comment les schémas du mouvement dans l’espace se sont-ils forgés? Comment les dichotomies issues de la logique spatiale archaïque (haut/bas, droite/gauche, est/ouest, en deça/au-delà, etc.) influent-elles sur la structuration spatiale? Quelles espèces d’espace révèlent les déplacements à travers les différents niveaux du monde, que ce soit ceux des dieux, ceux des mortels et d’autres entités, forces physiques et substances privilégiées dans le commerce avec le divin et le monde d’en haut? Ces analyses mettent en valeur les façons dont l’imagination et l’abstraction plutôt que l’expérience vécue ont contribué, à leur façon, à structurer l’espace et à forger l’image du monde comme κόσμος, monde mis en ordre et soumis autant aux lois physiques qu’aux lois divines.

Architecture and other Architectures: Mapping the Production of Insular Space in the Pearl River Delta (China) and Jakarta (Indonesia)

Globalization is widely regarded as the rise of the borderless world. However in practice, true globalization points rather to a “spatial logic” by which globalization is manifested locally in the shape of insular space. Globalization in this sense is not merely about the creation of physical fragmentation of space but also the creation of social disintegration. This study tries to proof that global processes also create various forms of insular space leading also to specific social implications. In order to examine the problem this study looks at two cases: China’s Pearl River Delta (PRD) and Jakarta in Indonesia. The PRD case reveals three forms of insular space namely the modular, concealed and the hierarchical. The modular points to the form of enclosed factories where workers are vulnerable for human-right violations due to the absent of public control. The concealed refers to the production of insular space by subtle discrimination against certain social groups in urban space. And the hierarchical points to a production of insular space that is formed by an imbalanced population flow. The Jakarta case attempts to show more types of insularity in relation to the complexity of a mega-city which is shaped by a culture of exclusion. Those are dormant and hollow insularity. The dormant refers to the genesis of insular– radical – community from a culture of resistance. The last type, the hollow, points to the process of making a “pseudo community” where sense of community is not really developed as well as weak social relationship with its surrounding. Although global process creates various expressions of territorial insularization, however, this study finds that the “line of flight” is always present, where the border of insularity is crossed. The PRD’s produces vernacular modernization done by peasants which is less likely to be controlled by the politics of insularization. In Jakarta, the culture of insularization causes urban informalities that have no space, neither spatially nor socially; hence their state of ephemerality continues as a tactic of place-making. This study argues that these crossings possess the potential for reconciling venue to defuse the power of insularity.

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Lógicas espaciais das empresas franqueadas do ramo comercial de confecções e calçados: cidades médias e consumo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Lógicas espaciais das empresas franqueadas do ramo comercial de confecções e calçados: cidades médias e consumo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

La construcción de la oligarquía inmobiliario-financiera en la ciudad neoliberal. El caso de Palma (Mallorca)

El capitalismo financiero, mediante la financiarización del suelo y su conversión en capital ficticio ha reconfigurado el sistema de extracción de sus plusvalías, facilitando la disolución de la dicotomía propietario-promotor. El giro emprendedor de la ciudad neoliberal ha promovido un nuevo rol económico y político del espacio urbano, potenciando el papel del promotor en la toma de decisiones, e impulsando la construcción de una nueva élite: la oligarquía inmobiliario-financiera. Se pretende analizar la red empresarial que dicta la lógica espacial de Palma.

La lucha por la tierra en la Huasteca Potosina (México): de peones a patrones

El presente trabajo consiste en un análisis acerca de las luchas por la tierra que se han venido produciendo en la región mexicana de la Huasteca Potosina, principalmente a raíz de la puesta en marcha del proyecto Pujal-Coy en 1973, cuando ocurre una transformación espacial que provoca toda una serie de conflictos por la apropiación del territorio a manos de nuevos pobladores frente a las instancias de gobierno encargadas del reparto agrario. Este proceso aparecerá marcado por la transformación del estatus socioeconómico de un importante colectivo en el momento en el que se convierten en propietarios de tierras. La metodología desarrollada es de carácter interdisciplinar al combinar el análisis geopolítico a escala local, el trabajo etnográfico en comunidades rurales y la revisión histórica. El resultado de la investigación ha sido la comprensión de la lógica espacial que define a esta región de México a partir de las contradicciones entre las prácticas espaciales hegemónicas y los contra-espacios que las poblaciones locales construyen como alternativa a las primeras.

"Porta do Céu": o processo de cristianização da Freguesia de Nossa Senhora da Apresentação (1681-1714)

This study aims to analyze the process of Christianization space in the different areas of the Parish of Our lady of Presentation between 1681 and 1714. To accomplish this goal, the main primary sources researched was the parish records of baptism. Thus, areas of the parish were designed based on two fundamental concepts: Christianization of the locations (and souls), based on the study of Claudia Damasceno, who worked with the notion of ecclesiastical circumscription, adapted for the case of Parish of Our lady of Presentation, and the concept of local experimentation, by Yi-Fu Tuan. Christianization the areas was the process of transformation of spatial logic, found previously by the Portuguese, by overlapping the ecclesiastical logic over Indigenous perception, through buildings construction, to initiate people to Catholicism. The experiment, in turn, would be made by the local residents studied and by religious themselves, making these areas, in places, in the sense of achieving new local meanings. It was verified, therefore, that Parish of Our lady of Presentation had at least three distinct places, the City of Natal, the villages around and the parish missions. Then, the focus of this thesis is to analyze how settlers used these different places as religious meanings.

A classification methodology for the risk of weed infestation using fuzzy logic

Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.

Spatial portability of numerical models of leaf wetness duration based on empirical approaches

Leaf wetness duration (LWD) models based on empirical approaches offer practical advantages over physically based models in agricultural applications, but their spatial portability is questionable because they may be biased to the climatic conditions under which they were developed. In our study, spatial portability of three LWD models with empirical characteristics - a RH threshold model, a decision tree model with wind speed correction, and a fuzzy logic model - was evaluated using weather data collected in Brazil, Canada, Costa Rica, Italy and the USA. The fuzzy logic model was more accurate than the other models in estimating LWD measured by painted leaf wetness sensors. The fraction of correct estimates for the fuzzy logic model was greater (0.87) than for the other models (0.85-0.86) across 28 sites where painted sensors were installed, and the degree of agreement k statistic between the model and painted sensors was greater for the fuzzy logic model (0.71) than that for the other models (0.64-0.66). Values of the k statistic for the fuzzy logic model were also less variable across sites than those of the other models. When model estimates were compared with measurements from unpainted leaf wetness sensors, the fuzzy logic model had less mean absolute error (2.5 h day(-1)) than other models (2.6-2.7 h day(-1)) after the model was calibrated for the unpainted sensors. The results suggest that the fuzzy logic model has greater spatial portability than the other models evaluated and merits further validation in comparison with physical models under a wider range of climate conditions. (C) 2010 Elsevier B.V. All rights reserved.