Estudo da degradação de membranas arquitetónicas

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

A paisagem (urbana) no cinema. Um último plano de leitura

(Excerto) «O jardim familiar (primeira fase do abandono): montões informes de silvedo, buxo descabelado, urtigas, flores selvagens. As palmeiras de pouco porte incharam tanto que fazem pensar em anões velhos, doentes, com as suas cabeleiras, as suas folhas emaranhadas, caindo em arco até ao chão». Assim se abre o convite de Carlos de Oliveira a uma deambulação por entre o interior-exterior de uma paisagem que a todo o instante se inventa. Sobre as memórias, os lugares, erguem-se dunas, vozes, intensidades de luz e passos que negrejam. São infinitos os modos de descrever uma paisagem... mas o que é, antes de mais, a paisagem? Admite-se que os seres humanos, confrontados coma natureza, tenham desde logo encetado uma íntima relação com o mundo do visível. Porém, uma tal «visão», motivada pelo reconhecimento do carácter vital da natureza, não implica necessariamente uma «experiência estética», resultante dos efeitos do universo exterior sobre o olhar. Na verdade, impõe-se uma certa distância como condição de possibilidade e de transformação subjectiva do território em paisagem. Nascida da percepção individual, a construção da «paisagem» funda-se num impulso fusional com um lugar que se torna estrangeiro e, desse modo, objecto de reflexão.

Indicadores chave de sustentabilidade para edifícios residenciais em estrutura metálica

Dissertação de mestrado integrado em Engenharia Civil

A survey of distributed data aggregation algorithms

Distributed data aggregation is an important task, allowing the de- centralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting val- ues result from the distributed computation of functions like count, sum and average. Some application examples can found to determine the network size, total storage capacity, average load, majorities and many others. In the last decade, many di erent approaches have been pro- posed, with di erent trade-o s in terms of accuracy, reliability, message and time complexity. Due to the considerable amount and variety of ag- gregation algorithms, it can be di cult and time consuming to determine which techniques will be more appropriate to use in speci c settings, jus- tifying the existence of a survey to aid in this task. This work reviews the state of the art on distributed data aggregation algorithms, providing three main contributions. First, it formally de nes the concept of aggrega- tion, characterizing the di erent types of aggregation functions. Second, it succinctly describes the main aggregation techniques, organizing them in a taxonomy. Finally, it provides some guidelines toward the selection and use of the most relevant techniques, summarizing their principal characteristics.

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Interação entre arquiteto e engenheiro de estruturas em fases preliminares da conceção estrutural: oportunidades e desafios das metodologias BIM

Dissertação de mestrado integrado em Engenharia Civil

A integração de técnicas BIM nos elementos de projeto de aplicação de sistemas de pré-esforço

Dissertação de mestrado integrado em Engenharia Civil

Otimização de custos, consumos energéticos e emissões de gases com efeito de estufa na reabilitação de edifícios residenciais de baixa densidade

Dissertação de mestrado integrado em Engenharia Civil

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.

Validation of the Portuguese Version of EHP-30 (The Endometriosis Health Profile-30)

Introduction: Endometriosis Health Profile Questionnaire-30 is currently the most used questionnaire for quality of life measurement in women with endometriosis. The aim of this study is to evaluate the psychometric properties and to validate the Portuguese Endometriosis Health Profile Questionnaire-30 version. MATERIAL AND METHODS A sequential sample of 152 patients with endometriosis, followed in a Portugal reference center, were asked to complete a questionnaire on social and demographic features, the Portuguese version of the Endometriosis Health Profile Questionnaire-30 and of the Short Form Health Survey 36 Item â version 2. Appropriate statistical analysis was performed using descriptive statistics, factor analysis, internal consistency, item-total correlation and convergent validity. RESULTS Factorial analysis confirmed the validity of the five-dimension structure of the Endometriosis Health Profile Questionnaire-30 core questionnaire, which explained 83.2% of the total variance. All item-total correlations presented acceptable results and high internal consistency, with Cronbach's alpha ranging between 0.876 and 0.981 for the core questionnaire and between 0.863 and 0.951 for the modular questionnaire. Significant negative associations between similar scales of Endometriosis Health Profile Questionnaire-30 and Short Form Health Survey 36 Item â version 2 were demonstrated. Data completeness achieved was high for all dimensions. The emotional well-being scale in the core questionnaire and the infertility scale in the modular section had the highest median scores, and therefore the most negative impact on the quality of life of participating women. DISCUSSION The test-retest reliability and responsiveness of the questionnaire should be evaluated in future studies. CONCLUSION The present study demonstrates that the Portuguese version of the Endometriosis Health Profile Questionnaire-30 is a valid, reliable and acceptable tool for evaluating the health-related quality of life of Portuguese women with endometriosis.

A integração do Building Information Modeling (BIM) num projeto de reabilitação

Dissertação de mestrado integrado em Engenharia Civil

Aplicação de metodologias BIM no contexto da construção da nova ponte sobre o Rio Dão

Dissertação de mestrado integrado em Engenharia Civil