Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Bio-valorization of crude glycerol through polyhydroxyalkanoates production

Due to the prospective partial replacement of fossil fuels by biodiesel, its production has continuously grown in the last decade. The increase in global biodiesel production demands the development of sustainable applications of its main by-product, crude glycerol. In this thesis the feasibility of producing polyhydroxyalkanoates (PHA) by a mixed microbial community using crude glycerol as feedstock was investigated. Several incubation conditions were studied in order to maximize PHA production. The microbial population selected under aerobic dynamic feeding conditions had the ability to consume both major carbon fractions present in the crude, glycerol and methanol. Two biopolymers were stored, poly-3-hydroxybutyrate (PHB) and glucose biopolymer (GB), apparently using glycerol as the only carbon source for their production. The microbial enrichment obtained was able to accumulate up to 47% PHB of cell dry weight with a productivity of 0.24 g HA/L d. The overall PHA yield on total substrate consumed (0.32 g COD HB/g COD crude glycerol) was in the middle range of those reported in literature (0.08–0.58 g COD PHA/g COD real waste). The increase of temperature from 23ºC to 30ºC favored the culture fraction that accumulates glucose biopolymer with a maximum accumulation value of 25% of cell dry weight, which is an interesting value but not the main goal of this thesis. The fact that crude glycerol can be used to produce PHA without any pre-treatment step, makes the overall production process economically more competitive, reducing polymer final cost. This was the first study that demonstrates the valorization of the glycerol fraction present in the crude glycerol into PHA using an aerobic mixed microbial consortium.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

What should Fundação Calouste Gulbenkian do in order to attract the National Millennials?

Branding Lab

Which communication strategy should a male luxury (fashion) brand – associated with a luxury car brand – develop, in order to increase its awareness in Europe

This work project explores how a male luxury (fashion) brand (subsidiary) that is associated with a luxury car brand (parent company) should develop its communication strategy in order to increase awareness in Europe. For this purpose a quantitative research was conducted. The aim was to find out whether the company in question had low brand awareness among European luxury consumers. Hereafter, a qualitative research revealed important insights in regard to luxury communication among male luxury consumers. Both the results of the research and the recommendations of luxury experts laid the foundation for the development of a solution-oriented communication strategy. The result of the analysis crystallizes the importance of the shared heritage and the synergistic effects, of which the subsidiary should make vast use when communicating.

Comparative environmental life-cycle analysis of concretes using biomass and coal fly ashes as partial cement replacement material

Nowadays, the concrete production sector is challenged by attempts to minimize the usage of raw materials and energy consumption, as well as by environmental concerns. Therefore, it is necessary to choose better options, e.g. new technologies or materials with improved life-cycle performance. One solution for using resources in an efficient manner is to close the materials' loop through the recycling of materials that result either from the end-of-life of products or from being the by-product of an industrial process. It is well known that the production of Portland cement, one of the materials most used in the construction sector, has a significant contribution to the environmental impacts, mainly related with carbon dioxide emission. Therefore, the study and utilization of by-products or wastes usable as cement replacement in concrete can supply more sustainable options, provided that these type of concrete produced has same durability and equivalent quality properties as standard concrete. This work studied the environmental benefits of incorporating different percentages of two types of fly ashes that can be used in concrete as cement replacement. These ashes are waste products of power and heat production sectors using coal or biomass as fuels. The results showed that both ashes provide a benefit for the concrete production both in terms of environmental impact minimization and a better environmental performance through an increase in cement replacement. It is possible to verify that the incorporation of fly ashes is a sustainable option for cement substitution and a possible path to improve the environmental performance of the concrete industry.

Carbonation front progress in mortars containing fly ash considering the presence of chloride ions

The incorporation of fly ash (FA) in cementitious matrices have been frequently used in order to make the matrix more resistant to the action of chlorides. On the other hand, it is known that Ca (OH)2 existing in the matrix is partially consumed by the pozzolanic reactions, which facilitates the advancement of carbonation. Given that the combined action between carbonation and chloride penetration is a fact little known, we speculate about the behaviour of the matrix in this context. This study investigates the influence of the presence of chlorides on the carbonation in mortars with FA. Samples with 0% and 40% replacement of cement CEM I 42.5 R for FA were molded with water/binder 0.56 and 0.52 respectively. After 90 days of curing the specimens were subjected to cycles of immersion/drying for 56 days. Half of the samples was subjected to the following cycle: two days in a solution containing NaCl (concentration equal to 3.5 %); 12 days in the carbonation chamber (4% of CO2). The other half was: two days in water; 12 days in the carbonation chamber. Then, the development of carbonation was evaluated. The results indicate that the presence of chlorides influences the carbonation. The specimens submitted to the exclusive action of CO2 showed a greater depth of carbonation compared to that presented by the specimens subjected to combined action. This may be related to changes in properties of the matrix which may lead to further refinement of the pores and related to the presence of the salt that can lead to partial filling of the pores and the increase in moisture content.

A sixth-order finite volume method for the 1D biharmonic operator: application to intramedullary nail simulation

A new very high-order finite volume method to solve problems with harmonic and biharmonic operators for one- dimensional geometries is proposed. The main ingredient is polynomial reconstruction based on local interpolations of mean values providing accurate approximations of the solution up to the sixth-order accuracy. First developed with the harmonic operator, an extension for the biharmonic operator is obtained, which allows designing a very high-order finite volume scheme where the solution is obtained by solving a matrix-free problem. An application in elasticity coupling the two operators is presented. We consider a beam subject to a combination of tensile and bending loads, where the main goal is the stress critical point determination for an intramedullary nail.

A high order model for piezoelectric rods: an asymptotic approach

Preprint submitted to International Journal of Solids and Structures. ISSN 0020-7683

Learning joint representations for order and timing of perceptual-motor sequences: a dynamic neural field approach

Many of our everyday tasks require the control of the serial order and the timing of component actions. Using the dynamic neural field (DNF) framework, we address the learning of representations that support the performance of precisely time action sequences. In continuation of previous modeling work and robotics implementations, we ask specifically the question how feedback about executed actions might be used by the learning system to fine tune a joint memory representation of the ordinal and the temporal structure which has been initially acquired by observation. The perceptual memory is represented by a self-stabilized, multi-bump activity pattern of neurons encoding instances of a sensory event (e.g., color, position or pitch) which guides sequence learning. The strength of the population representation of each event is a function of elapsed time since sequence onset. We propose and test in simulations a simple learning rule that detects a mismatch between the expected and realized timing of events and adapts the activation strengths in order to compensate for the movement time needed to achieve the desired effect. The simulation results show that the effector-specific memory representation can be robustly recalled. We discuss the impact of the fast, activation-based learning that the DNF framework provides for robotics applications.

Combining non-dominance, objective-order and spread metric to extend firefly algorithm to multi-objective optimization

In this paper, we propose an extension of the firefly algorithm (FA) to multi-objective optimization. FA is a swarm intelligence optimization algorithm inspired by the flashing behavior of fireflies at night that is capable of computing global solutions to continuous optimization problems. Our proposal relies on a fitness assignment scheme that gives lower fitness values to the positions of fireflies that correspond to non-dominated points with smaller aggregation of objective function distances to the minimum values. Furthermore, FA randomness is based on the spread metric to reduce the gaps between consecutive non-dominated solutions. The obtained results from the preliminary computational experiments show that our proposal gives a dense and well distributed approximated Pareto front with a large number of points.

Cortisol, family coping and burden in informal caregivers of addicts

This study focuses on the prospective mediation role of family coping between burden and cortisol levels in informal caregivers of addicts as well as on the feasible use of two different ways to analyse the salivary cortisol levels. Participants were 120 Portuguese informal caregivers of addicts. The cortisol samples were collected at awakening, 45 minutes later and after a 30 minute presentation of images taken from the International Affective Picture System. Family coping and caregiver burden were measured using the Portuguese versions of the Caregiver Reaction Assessment, and the Family Crisis Oriented Personal Evaluation Scale. Cortisol samples were collected in salivettes and the results were computed in order to determine the Area Under the Curve scores (AUCg, AUCi). Results found family coping to be negatively correlated with burden and AUCg levels (i.e. overall intensity) and positively correlated with either AUCg and AUCi (i.e. change over time). The mediation model revealed that family coping was a partial mediator in the relationship between the burden and AUCg levels. Therefore, Family Coping appears to be an essential variable in understanding the stress response and should be considered in further studies and interventions. In addition, the use of two different formulas for calculating cortisol levels provided important new information concerning the relationship between cortisol, burden and family coping. It seems that burden has a more profound effect on the overall intensity of the neuroendocrine response to caregiver stress and not so much on the sensitivity of the system.

Suporte social em cuidadores informais de dependentes de substâncias.

Os cuidadores informais têm de lidar com situações potencialmente causadoras de stress e Sobrecarga. Uma amostra com 120 cuidadores de Dependentes de Substâncias, residentes em Portugal, completou uma bateria de questionários que incluía o BDI (Beck, Ward, Mendelson, Mock, & Erbaugh, 1961; McIntyre & Araújo-Soares, 1999), BSI (Canavarro, 1999; Derogatis, 1975, 1993), CRA (Given, et al., 1992), WHOQOL – Bref (Fleck, 2000; Vaz Serra, et al., 2006) e o IESSS (Ensel & Woelfel, 1986; Faria, 1999). De seguida, os participantes foram distribuídos por três grupos (G1, G2 e G3), dependendo do tempo de abstinência do familiar a quem prestavam cuidados. O estudo explorou a relação entre diversas variáveis clínicas e psicológicas e o suporte social nesses cuidadores. Os resultados revelaram que a coabitação com o paciente, o distress psicológico, a qualidade de vida (relações sociais e psicológica) e a sobrecarga são preditores, do suporte social explicando 48% da variância observada. O modelo de mediação demonstrou que o suporte social é um mediador parcial da relação entre o distress e a sobrecarga, explicando 60% da variância observada. Deste modo, verifica-se a importância de intervir no suporte social no sentido de diminuir o impacto do distress e sobrecarga nos cuidadores.

Measurement of the correlation between flow harmonics of different order in lead-lead collisions at root S-NN=2.76 TeV with the ATLAS detector

Correlations between the elliptic or triangular flow coefficients vm (m=2 or 3) and other flow harmonics vn (n=2 to 5) are measured using sNN−−−−√=2.76 TeV Pb+Pb collision data collected in 2010 by the ATLAS experiment at the LHC, corresponding to an integrated lumonisity of 7 μb−1. The vm-vn correlations are measured in midrapidity as a function of centrality, and, for events within the same centrality interval, as a function of event ellipticity or triangularity defined in a forward rapidity region. For events within the same centrality interval, v3 is found to be anticorrelated with v2 and this anticorrelation is consistent with similar anticorrelations between the corresponding eccentricities ϵ2 and ϵ3. On the other hand, it is observed that v4 increases strongly with v2, and v5 increases strongly with both v2 and v3. The trend and strength of the vm-vn correlations for n=4 and 5 are found to disagree with ϵm-ϵn correlations predicted by initial-geometry models. Instead, these correlations are found to be consistent with the combined effects of a linear contribution to vn and a nonlinear term that is a function of v22 or of v2v3, as predicted by hydrodynamic models. A simple two-component fit is used to separate these two contributions. The extracted linear and nonlinear contributions to v4 and v5 are found to be consistent with previously measured event-plane correlations.