Durability indicators comparison for SCC and CC in tropical coastal environments

Self-compacting concrete (SCC) demands more studies of durability at higher temperatures when subjected to more aggressive environments in comparison to the conventional vibrated concrete (CC). This work aims at presenting results of durability indicators of SCC and CC, having the same water/binder relations and constituents. The applied methodologies were electrical resistivity, diffusion of chloride ions and accelerated carbonation experiments, among others, such as microstructure study, scanning electron microscope and microtomography experiments. The tests were performed in a research laboratory and at a construction site of the Pernambuco Arena. The obtained results shows that the SCC presents an average electrical resistivity 11.4% higher than CC; the average chloride ions diffusion was 63.3% of the CC; the average accelerated carbonation penetration was 45.8% of the CC; and the average open porosity was 55.6% of the CC. As the results demonstrated, the SCC can be more durable than CC, which contributes to elucidate the aspects related to its durability and consequent prolonged life cycle.

The trading relationship between the EU and Mercosur: the mediatory role of Brazil

Dissertação de mestrado em European and Transglobal Business Law

Uma teoria da justiça libertarista: contribuições de Nozick e Steiner

Dissertação de mestrado em Filosofia Política

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef

A performance-based method for seismic evaluation of masonry walls strengthened with RC layers

A conventional method for seismic strengthening of masonry walls is externally application of reinforced concrete layer (shotcrete). However, due to the lack of analytical and experimental information on the behavior of strengthened walls, the design procedures are usually followed based on the empirical relations. Using these design procedures have resulted in massive strengthening details in retrofitting projects. This paper presents a computational framework for nonlinear analysis of strengthened masonry walls and its versatility has been verified by comparing the numerical and experimental results. Based on the developed numerical model and available experimental information, design relations and failure modes are proposed for strengthened walls in accordance with the ASCE 41 standard. Finally, a sample masonry structure has been strengthened using the proposed and available conventional methods. It has been shown that using the proposed method results in lower strengthening details and appropriate (ductile) failure modes