Sandstone building stones are important in the building elements of Portuguese monuments, particularly in the western and southern regions. Alveolization due to salt crystallization was the most important degradation pattern found in the old sandstone façades of St. Leonardo’s Church, a Portuguese monument built in Atouguia da Baleia village in the Middle Age. Its sandstone façades have a widespread distribution of deep and large alveolization patterns mainly on portals and vaults that appeared as a result of the past and present vicinity of seashore. In this paper a summary of conservation interventions carried out in the past century in St. Leonardo’s Church is presented, as well as a summary of the studies carried out in the last decade. Then the degradation patterns on the sandstone walls of St. Leonard’s Church are shown and finally the evolution of the alveolization occurred on the sandstone walls over the last sixty to seventy years is analysed. Visual inspection of sandstone walls is compared with a survey performed by laser scanning, which seems to be a powerful technology to carry out 3D geometric modelling of the building elements of stone monuments and also the 3D mapping of stone degradation patterns.

Sustainable supply chain design is nowadays an important topic where not only economic and environmental aspects should be accounted for, but also social aspects are to be considered. A mathematical programming model was developed and a case-study was performed considering two different social indicators: one that prefers facility location in regions of lower GDP and the other in regions of higher unemployment rate. Results show that the outcome depends on the indicator used. However, for the case presented, minimum cost solution also corresponds to a good social solution regarding GDP, which could translate into economic incentives for the company.

n/a

The use of randomly distributed steel fibres in the concrete mix improves its mechanical properties. In the particular case of a flat slab-column connection, this solution can provide slabs with an increased load capacity and deformation capacity, allowing a potential reduction of reinforcement. This work presents the experimental study of the behaviour of SFRC flat slabs up to failure under a concentrated loading, accompanied by the study of the mechanical properties of the SFRC, which consisted in three-point loading notched beams, compression and splitting tests. In this study, the hooked end steel fibre dosages varied between 0{%} and 1.25{%} by volume. Test results showed that the inclusion of steel fibres influences both slab stiffness and its load capacity. Increments of load capacity up to 64{%} were obtained in slabs with SFRC compared with the reference slab without fibres. The experimental results were compared with the predictions provided by several existing models. © 2014 Elsevier Ltd. All rights reserved.

Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.

This technical report describes the research goals and results of the SpreadSheet as a Programming Paradigm research project. This was a project funded by Funda{\c c}ão para a Ciencia e Tecnologia – FCT: the Portuguese research foundation, under reference FCOMP-01-0124-FEDER-010048, that ran from May 2010 till July 2013. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on October 2013. It describes the goals of the project, and the different research tasks presenting the deliver- ables of each of them. It also presents the management and result dissemination work performed during the project's execution. The document includes also a self assess- ment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.

Transactional memory (TM) is consistently making its way into mainstream programming, being already deployed by some of the major CPU manufacturers and in several reference compilers. To cope with requirements such as scalability and dependability, recent proposals explore the combination of TM with data replication, bringing TM to distributed environments - conceiving distributed transactional memory (DTM). However, current DTM frameworks support only full data replication. They provide the best possible level of tolerance to data loss, but limit the system's total storage capacity to the capacity of the node with fewer resources, and require coordination among all the system's nodes, an approach bound to hamper scalability in large scale systems. In this context, a partial data replication strategy can help to lessen these shortcomings. Each node replicates only a subset of the system's dataset, an approach that aims at combining the best of data distribution and full replication, while trying to attenuate their disadvantages. The key idea is to allow the dataset to be distributed among the participating nodes and to decrease the number of nodes that have to participate in a transaction's confirmation, as any given transaction only has to be confirmed by the nodes that replicate the data items in its read and write sets. By distributing the data and reducing the coordination cost among nodes, partial data replication leverages the system's scalability. Although this strategy has already been explored by the distributed databases research field, it is yet to be addressed in the context of (D)TM. More specifically, partial data replication has been broadly applied in key-value stores, and even though these work on in-memory data and support transactions, they present significant differences when compared with DTM systems for general purpose programming languages. To this extent, we propose PARdstm, to the best of our knowledge, the first DTM framework to include support for partial data replication. As such, the contributions of this work are: a reasoning on how partial data replication shall be supported in general purpose programming languages (Java, in particular), and a modular software framework that embeds such principles to provide a highly expressive and non-intrusive programming API. Initial experimental results give evidence that our approach may enhance scalability in large scale systems, when compared to full data replication. An ongoing comprehensive study will allow us to assess in which contexts of use (workloads, number of nodes, etc.) partial data replication may be an effective alternative.

Anaerobic organisms have molecular systems to detoxify reactive oxygen species when transiently exposed to oxygen. One of these systems is superoxide reductase, which reduces O2 (.-) to H2 O2 without production of molecular oxygen. In order to complete the reduction of superoxide anion, superoxide reductase requires an electron, delivered by its redox partners, which in Desulfovibrio gigas are rubredoxin and/or desulforedoxin. In this work, we characterized the interaction of Desulfovibrio gigas superoxide reductase with both electron donors by using steady-state kinetics, 2D NMR titrations, and backbone relaxation measurements. The rubredoxin surface involved in the electron transfer complex with superoxide reductase comprises the solvent-exposed hydrophobic residues in the vicinity of its metal center (Cys9, Gly10, Cys42, Gly43, and Ala44), and a Kd of 3 muM at 59 mM ionic strength was estimated by NMR. The ionic strength dependence of superoxide-mediated rubredoxin oxidation by superoxide reductase has a maximum kapp of (37 +/- 12) min(-1) at 157 mM. Relative to the electron donor desulforedoxin, its complex with superoxide reductase was not detected by chemical shift perturbation, though this protein is able to transfer electrons to superoxide reductase with a maximum kapp of (31 +/- 7) min(-1) at an ionic strength of 57 mM. Competition experiments using steady-state kinetics and NMR spectroscopy (backbone relaxation measurements and use of a paramagnetic relaxation enhancement probe) with Fe-desulforedoxin in the presence of (15) N-Zn-rubredoxin showed that these two electron donors compete for the same site on the enzyme surface, as shown in the model structure of the complex generated by using restrained molecular docking calculations. These combined strategies indicate that the two small electron donors bind in different manners, with the desulforedoxin complex being a short lived electron transfer complex or more dynamic, with many equivalent kinetically competent orientations.