Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Coalition of distributed generation units to Virtual Power Players - a game theory approach

Smart Grids (SGs) have emerged as the new paradigm for power system operation and management, being designed to include large amounts of distributed energy resources. This new paradigm requires new Energy Resource Management (ERM) methodologies considering different operation strategies and the existence of new management players such as several types of aggregators. This paper proposes a methodology to facilitate the coalition between distributed generation units originating Virtual Power Players (VPP) considering a game theory approach. The proposed approach consists in the analysis of the classifications that were attributed by each VPP to the distributed generation units, as well as in the analysis of the previous established contracts by each player. The proposed classification model is based in fourteen parameters including technical, economical and behavioural ones. Depending of the VPP strategies, size and goals, each parameter has different importance. VPP can also manage other type of energy resources, like storage units, electric vehicles, demand response programs or even parts of the MV and LV distribution network. A case study with twelve VPPs with different characteristics and one hundred and fifty real distributed generation units is included in the paper.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

An assessment of the social and economic cohesion aspects of the development of the information society in Europe

Neste trabalho pretende consolidar-se a contribuição portuguesa para o estudo comunitário “Na Assessment of the Social and Economic Cohesion Aspects of the Development of the Information Society in Europe” elaborado por um consórcio europeu liderado pela Nexus Europe e em que intervém o ISEGI- Instituto Superior de Estatística e Gestão de Informação, da Universidade Nova de Lisboa, como parceiro nacional português.

The effects of rent control in Lisbon

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Evolution in public procurement and the impact of e-procurement platforms: A case study

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Development of chitosan-based microparticles for pulmonary drug delivery

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

How to monitor and improve Unilever JM Supply Chain processes to become the best of Portugal’s sector in 2015?

Unilever Jerónimo Martins is a Portuguese joint-venture leading firm in what concerns the supply chain industry of fast-moving consumer goods in Portugal. The scope of analysis of this Work Project is focusing on Unilever-JM operations and services in the Portuguese market regarding quality, efficiency and effectiveness over B2B customers. It will be analysed the possibility of development and implementation of a performance measurement system, Tableau de Bord, which will be crucial for the identification of potential opportunities of improvement with impact in the supply chain processes. This will be completed through the establishment of KPI’s to monitor and manage periodically logistics, planning and customer service processes’ performance, which are the ones where the bottlenecks are impacting more in the supply chain. In this work project the nexus causality for the problems will also be discussed and some recommendations will be prepared to tackle the inefficiencies found through the monitoring of the previous core processes, in order to improve efficacy and quality service of the supply chain.

What hides behind the fixed-term contracts wage gap?

In Portugal, about 20% of full-time workers are employed under a fixed-term contract. Using a rich longitudinal matched employer-employee dataset for Portugal, with more than 20 million observations and covering the 2002-2012 period, we confirm the common idea that fixed-term contracts are not desirable when compared to permanent ones, by estimating a conditional wage gap of -1.7 log points. Then, we evaluate the sources of that wage penalty by combining a three way high-dimensional fixed effects model with the decomposition of Gelbach (2014), in which the three dimensions considered are the worker’s unobserved ability, the firm’s compensation wage policy and the job title effect. It is shown that the average worker with a fixed-term contract is less productive than his/her permanent counterparts, explaining -3.92 log points of the FTC wage penalty. Additionally, the sorting of workers into lower-paid job titles is also responsible for -0.59 log points of the wage gap. Surprisingly, we found that the allocation of workers among firms mitigates the existing wage penalty (in 4.23 log points), as fixed-term workers are concentrated into firms with a more generous compensation policy. Finally, following Figueiredo et al. (2014), we further control for the worker-firm match characteristics and reach the conclusion that fixed-term employment relationships have an overrepresentation of low quality worker-firm matches, explaining 0.65 log points of the FTC wage penalty.

Macroeconomic effects of monetary policy in the Eurozone

To study the macroeconomic effects of unconventional monetary policy across the different countries of the eurozone, I develop an identification scheme to disentangle conventional from non-conventional policy shocks, using futures contracts on overnight interest rates and the size of the European Central Bank balance sheet. Setting these shocks as endogenous variables in a structural vector autoregressive (SVAR) model, along with the CPI and the employment rate, estimated impulse response functions of policy to macroeconomic variables are studied. I find that unconventional policy shocks generated mixed effects in inflation but had a positive impact on employment, with the exception of Portugal, Spain, Greece and Italy where the employment response is close to zero or negative. The heterogeneity that characterizes the responses shows that the monetary policy measures taken in recent years were not sufficient to stabilize the economies of the eurozone countries under more severe economic conditions.

Market value of corruption

This paper studies the impact of the Brazilian anticorruption legislation, PL 6826/2010, on stock returns. I show that, around the law approval date, the greater the link between the corporate and political worlds, the worse is the companies’ performance. Companies awarded with public contracts in 2012 suffer more with the new legislation approval. Firms with above median contract values have 2.9% lower returns than its peers. The negative effect is more pronounced for bigger and more complex entities, associated with higher levels of Corporate Responsibility and Governance and not subject to the US FCPA.

Contingent contracts

International businesses bring with them additional negotiation complexities and extra risks, thus calling for negotiation integrative solutions and additional legal protection. The recent economic crisis forced, companies, including SMEs, to look for international markets and face these additional complexities and issues. In the search for a practical and simplified solution, to serve less sophisticated companies, this paper brings insights from the negotiation literature to a specific legal issue. Specifically, I investigate the negotiation and use of contingent agreements as a tool for facilitating the negotiation process and managing risk in international deals. Looking into an international sale of goods from Portugal to Brazil, this paper proposes the structuring of two contingent contracts related to two category of products in order to demonstrate the potential benefits of some of its relevant features, specifically the creation of incentives and identification and allocation of future risks. In general, the structuring of contingent agreements is likely to provide positive results in mitigating the issues of lack of trust and dealing with the additional risks derived from international deals, therefore facilitating and improving the overall quality of the deal.

Bombyx mori Silk Fibers: An outstanding family of materials

Designing novel multifunctional materials from natural resources is a challenging goal that has increasingly attracted researchers. Recently, the great potential of silk fibers has been recognized. The target readers for this review are researchers from different backgrounds (i.e., non-specialists in silk research) with special interests on the physical–chemical characterization of silk fibers, since their knowledge is crucial for the improvement of existent silk-based biomaterials and the basis for the development of new products. Examples of usual applications of Bombyx mori silk fibers are given and some of the most recent and exciting progress in new technological fields, is presented.

Sefficiency (sustainable efficiency) of water–energy–food entangled systems

Supplemental data for this article can be accessed at http://dx.doi.org/10.1080/07900627.2015.1070091. It includes an easy-to-use spreadsheet that calculates the efficiencies used in this paper, that is Sefficiency with energy considerations.