Urbanismo participativo e resiliência das comunidades: especificação de uma aplicação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

A importância do profissional de relações públicas no e-commerce em Portugal

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Interação cultural e interpretatio na epigrafia votiva: o caso da fachada ocidental do conuentus Bracaraugustanus

Dissertação de mestrado em Arqueologia

Plano de revitalização do centro histórico de Braga

Dissertação de mestrado em Políticas Comunitárias e Cooperação Territorial

Global and local coordinates

This chapter described the global and local coordinate systems utilized in the formulation of spatial multibody systems. Global coordinate system is considered in the present work to denote the inertia frame. Additionally, body-fixed coordinate systems, also called local coordinate systems, are utilized to describe local properties of points that belong to a particular body. Furthermore, the process of transforming local coordinates into global coordinates is characterized by considering a transformation matrix. In the present work, Cartesian coordinates are utilized to locate the center of mass of each rigid body, as well as the location of any point that belongs to a body.

Euler angles, Bryant angles and Euler parameters

This chapter deals with the different approaches for describing the rotational coordinates in spatial multibody systems. In this process, Euler angles and Bryant angles are briefly characterized. Particular emphasis is given to Euler parameters, which are utilized to describe the rotational coordinates in the present work. In addition, for all the types of coordinates considered in this chapter, a characterization of the transformation matrix is fully described.

Angular velocity and acceleration

In this chapter, a complete characterization of the angular velocity and angular acceleration for rigid bodies in spatial multibody systems are presented. For both cases, local and global formulations are described taking into account the advantages of using Euler parameters. In this process, the transformation between global and local components of the angular velocity and time derivative of the Euler parameters are analyzed and discussed in this chapter.

A importância dos espaços verdes para a promoção de Guimarães a capital verde da Europa

Relatório de estágio de mestrado em Geografia (área de especialização em Planeamento e Gestão do Território)

Georeferencing historical documents: the case of the Dume Boundary

Much of the information of historical documents about the territory and property are defined on textual form. This information is mostly geographic and defines territorial areas, its limits and boundaries. For the treatment of this data, we have defined one information system where the treatment of the documental references for the study of the settlement and landscape implies a systematization of the information, normalization, integration and graphic and cartographic representation. This methodology was applied to the case study of the boundary of the monastery-diocese of Dume, in Braga - Portugal, for which there are countless documents and references to this site, but where the urban pressure has mischaracterized very significantly the landscape, making the identification of territorial limits quite difficult. The work carried out to give spatial and cartographic expression to the data, by defining viewing criteria according to the recorded information, proved to be a central working tool in the boundary study and in understanding the dynamics of the sites in the various cultural periods.

Prevalence of hypertension in the urban population of Catanduva, in the State of São Paulo, Brazil

OBJECTIVE: To study the prevalence of systemic hypertension and its control in the population of Catanduva, in the state of São Paulo, Brazil. METHODS: We carried out a randomized cross-sectional population-based study of the urban population of Catanduva with individuals above 18 years of age (688 individuals accounting for 0.9% of the referred population). We interviewed study participants to analyze the major qualitative and quantitative variables that could influence the hypertensive scenario and the risk for systemic hypertension. Blood pressure was measured through the indirect method according to the III Consenso Brasileiro de Hipertensão (III Brazilian Consensus on Hypertension), which established blood pressure levels > or = 140/90 mm Hg as hypertensive. RESULTS: The prevalence of systemic hypertension was higher in individuals with: (1) history of hypertension (p<0.0001); (2) diabetes mellitus (p=0.05); (3) body mass index (B. M. I) > or = 25 kg/m² (p<0.001); (4) low educational level (p<0.0001); (5) familial income ranging from 1 to 5 minimum wages (p<0.05); (6) unmarried status (divorced/separated and widow(er)s) (p<0.0001). Of the interviewed individuals, 27.6% (p=0.05) had blood pressure levels under control. CONCLUSION: Our study showed that the prevalence of systemic hypertension was 31.5%, and that 27.6% of the individuals interviewed had blood pressure levels under control at the time of the interview.

Random walk forecast of urban water in Iran under uncertainty

There are two significant reasons for the uncertainties of water demand. On one hand, an evolving technological world is plagued with accelerated change in lifestyles and consumption patterns; and on the other hand, intensifying climate change. Therefore, with an uncertain future, what enables policymakers to define the state of water resources, which are affected by withdrawals and demands? Through a case study based on thirteen years of observation data in the Zayandeh Rud River basin in Isfahan province located in Iran, this paper forecasts a wide range of urban water demand possibilities in order to create a portfolio of plans which could be utilized by different water managers. A comparison and contrast of two existing methods are discussed, demonstrating the Random Walk Methodology, which will be referred to as the â On uncertainty pathâ , because it takes the uncertainties into account and can be recommended to managers. This On Uncertainty Path is composed of both dynamic forecasting method and system simulation. The outcomes show the advantage of such methods particularly for places that climate change will aggravate their water scarcity, such as Iran.

Noise mapping for an urban area: study case: old city of Damascus, Syria

Dissertação de mestrado em Engenharia Urbana

Dos ciclos e sistemas aos interstícios de Creixomil: entre o seu conhecimento e transformação potencial

Dissertação de mestrado integrado em Arquitectura (área de especialização em Território)

Symbolae Antillanae,seu, Fundamenta florae Indiae Occidentalis /editi Ignatius Urban.

v.1 1898-1900