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.

Continuidade e mudança. O sistema internacional no post‐Guerra Fria

O fim da Guerra Fria é um caso inédito de mudança pacífica da estrutura internacional, em que os Estados Unidos e a União Soviética transcendem a divisão bipolar para decidir os termos da paz no quadro das instituições que definem o modelo de ordenamento multilateral, consolidando a sua legitimidade. Nesse contexto, ao contrário dos casos precedentes de reconstrução internacional no fim de uma guerra hegemónica, o novo sistema do post-Guerra Fria, caracterizado pela unipolaridade, pela regionalização e pela homogeneização, forma-se num quadro de continuidade institucional. A ordem política do post-Guerra Fria é um sistema misto em que as tensões entre a hierarquia unipolar e a anarquia multipolar, a integração global e a fragmentação regional e a homogeneidade e a heterogeneidade política, ideológica e cultural condicionam as estratégias das potências. As crises internacionais vão pôr à prova a estabilidade da nova ordem e a sua capacidade para garantir mudanças pacíficas. A primeira década do post-Guerra Fria mostra a preponderância dos Estados Unidos e a sua confiança crescente, patente nas Guerras do Golfo Pérsico e dos Balcãs, bem como na crise dos Estreitos da Formosa. A reacção aos atentados do "11 de Setembro" revela uma tentação imperial da potência unipolar, nomeadamente com a invasão do Iraque, que provoca uma crise profunda da comunidade de segurança ocidental. A vulnerabilidade do centro da ordem internacional é confirmada pela crise constitucional europeia e pela crise financeira global. Essas crises não alteram a estrutura de poder mas aceleram a erosão da ordem multilateral e criam um novo quadro de possibilidades para a evolução internacional, que inclui uma escalada dos conflitos num quadro de multipolaridade regional, uma nova polarização entre as potências democráticas conservadoras e uma coligação revisionista autoritária, bem como a restauração de um concerto entre as principais potências internacionais.

Anatomy of the portuguese stock market risk and return in the 1977-2012 period

This paper analyses the Portuguese stock market since it reopened in 1977, with a special focus on the evolution of the statistic and stochastic characteristics of the market return throughout this 36 year period. The market return for the period of time between 1977 and 2012 (September 28th) is estimated and then compared with the return that would have been achieved with Government bonds and treasury bills, which allows us to confirm that the hierarchy of return / risk across the different financial instruments is verified. The market risk premium for this 36 year period is also estimated and a comparison with other markets is performed, suggesting that the Portuguese market’s risk has not been compensated by an adequate return. The study also examines the evolution of the Portuguese market’s volatility in the 1977-2012 period and compares it with other markets, showing the existence of extremely high peaks during the first 11 years, but indicating a downwards trend throughout the whole period under analysis. Finally, the correlation between market returns for Portugal and for other countries and the degree of integration are estimated and their evolution throughout time is assessed, leading to the conclusion that the performance of the Portuguese stock market has become increasingly correlated with major European markets – correlation with some markets close to 0.70 from 2000 onwards-, but that country-specific risk factors are still relevant.

A multi-criteria decision support system for a routing problem in waste collection

Autor proof

Decision methods applied to solve a safety problem on a waste treatment facility

To solve a health and safety problem on a waste treatment facility, different multicriteria decision methods were used, including the PROV Exponential decision method. Four alternatives and ten attributes were considered. We found a congruent solution, validated by the different methods. The AHP and the PROV Exponential decision method led us to the same options ordering, but the last method reinforced one of the options as being the best performing one, and detached the least performing option. Also, the ELECTRE I method results led to the same ordering which allowed to point the best solution with reasonable confidence. This paper demonstrates the potential of using multicriteria decision methods to support decision making on complex problems such as risk control and accidents prevention.

Descentralização e flexibilidade organizacional: implicações para a gestão de recursos humanos

Dissertação de mestrado em Estudos de Gestão

Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

Implementing a site waste management plan: a case study of a medium sized building contractor in Ireland

Construction and demolition waste management is becoming increasingly important on construction sites as landfill space in Ireland is rapidly depleting and waste management costs are rising. Due to these factors waste management plans are seen as a good response to minimising waste on site and this thesis aims to investigate how to implement such a plan on a practical case study as well as investigating the legislation regarding construction and demolition waste along with market availability for the reuse of the waste. Main contractor surveys were also carried out in order to gain a better understanding of current attitudes within the industry and these surveys are analysed in chapter five. A survey was also carried out among sub-contractors but this survey has not been used for this thesis as the study is on-going. The primary aim of this thesis is to examine the waste hierarchy opportunities that are available for construction and demolition waste in Ireland and to examine the effects of management strategies on construction and demolition waste reduction at the project level. A partnership was developed with Carey Developments Ltd in Co. Galway and an analysis of their waste management practices was undertaken. The primary case study will be the ‘Taylors Hill’ project in Co. Galway where work commenced in March, 2012. The secondary aim of the thesis is to develop specific waste minimisation strategies for the company and to develop a training tool kit for use on site.

Application of Fuzzy Variables for Systems of Management Decision Support

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

Aceitação e preferência de frutos para oviposição em duas populações de Ceratitis capitata (Diptera, Tephritidae)

The influence of four host fruits, orange (Citrus sinensis L.), papaya (Carica papaya L.), mango (Mangifera indica L.) and apple (Malus domestica Borkh) on oviposition behavior of Ceratitis capitata (Wiedemann, 1824) was evaluated. Experiments were carried out on two C. capitata laboratory-reared populations: one with artificial diet for 10 years with periodic introduction of wild flies and other reared with artificial diet for 20 years without wild flies introduction. In acceptance experiments two pieces of a single fruit type were exposed to a group of 10 females; after 48 hours, these were changed by two new pieces of the same fruit type, and, in the end of the fourth day, the experiments were concluded. In preference experiments, two pieces of different fruits were offered to the females. These experiments were driven under the same conditions of the acceptance ones. Acceptance and preference experiments for both populations showed the following choice hierarchy: papaya > mango > orange > apple. The acceptance experiments showed no differences in the number of eggs/female/day laid in the first 48 hours and in the last 48 hours of the experiments. The amount of eggs in the two pieces of fruits offered to the females was similar. In spite of the two populations present similar behavior in relation to host hierarchy, the number of laid eggs was different, being larger for the population reared without wild flies introduction.

Valuation of defaultable bonds and debt restructuring

In this paper we develop a contingent valuation model for zero-coupon bonds with default. In order to emphasize the role of maturity time and place of the lender’s claim in the hierarchy of debt of a firm, we consider a firm that issues two bonds with different maturities and different seniorage. The model allows us to analyze the implications of both debt renegotiation and capital structure of a firm on the prices of bonds. We obtain that renegotiation brings about a significant change in the bond prices and that the effect is dispersed through different channels: increasing the value of the firm, reallocating payments, and avoiding costly liquidation. Moreover, the presence of two creditors leads to qualitatively different implications for pricing, while emphasizing the importance of bond covenants and renegotiation of the entire debt.

Weak systems of Gandy, Jensen and Devlin

In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.

Market Competition and Lower Tier Incentives

The relationship between competition and performance-related pay has been analysed in single-principal-single-agent models. While this approach yields good predictions for managerial pay schemes, the predictions fail to apply for employees at lower tiers of a firm's hierarchy. In this paper, a principal-multi-agent model of incentive pay is developed which makes it possible to analyze the effect of changes in the competitiveness of markets on lower tier incentive payment schemes. The results explain why the payment schemes of agents located at low and mid tiers are less sensitive to changes in competition when aggregated firm data is used. JEL classification numbers: D82, J21, L13, L22. Keywords: Cournot competition, Contract delegation, Moral hazard, Entry, Market size, Wage cost.

Changes in reproductive roles are associated with changes in gene expression in fire ant queens.

Abstract In species with social hierarchies, the death of dominant individuals typically upheaves the social hierarchy and provides an opportunity for subordinate individuals to become reproductives. Such a phenomenon occurs in the monogyne form of the fire ant, Solenopsis invicta, where colonies typically contain a single wingless reproductive queen, thousands of workers and hundreds of winged nonreproductive virgin queens. Upon the death of the mother queen, many virgin queens shed their wings and initiate reproductive development instead of departing on a mating flight. Workers progressively execute almost all of them over the following weeks. To identify the molecular changes that occur in virgin queens as they perceive the loss of their mother queen and begin to compete for reproductive dominance, we collected virgin queens before the loss of their mother queen, 6 h after orphaning and 24 h after orphaning. Their RNA was extracted and hybridized against microarrays to examine the expression levels of approximately 10 000 genes. We identified 297 genes that were consistently differentially expressed after orphaning. These include genes that are putatively involved in the signalling and onset of reproductive development, as well as genes underlying major physiological changes in the young queens.

Combining classification techniques to define topo-climatic landscapes

Landscape classification tackles issues related to the representation and analysis of continuous and variable ecological data. In this study, a methodology is created in order to define topo-climatic landscapes (TCL) in the north-west of Catalonia (north-east of the Iberian Peninsula). TCLs relate the ecological behaviour of a landscape in terms of topography, physiognomy and climate, which compound the main drivers of an ecosystem. Selected variables are derived from different sources such as remote sensing and climatic atlas. The proposed methodology combines unsupervised interative cluster classification with a supervised fuzzy classification. As a result, 28 TCLs have been found for the study area which may be differentiated in terms of vegetation physiognomy and vegetation altitudinal range type. Furthermore a hierarchy among TCLs is set, enabling the merging of clusters and allowing for changes of scale. Through the topo-climatic landscape map, managers may identify patches with similar environmental conditions and asses at the same time the uncertainty involved.