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.

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.

Induced Labor– Is There an Increased Risk of Perinatal Infection?

Objectives: To assess induced labor-associated perinatal infection risk at Hospital D.Estefânia from January to June of 2010 at Hospital de D. Estefânia’s delivery rooms, reviewing the indications for inducing labor as well as the techniques used. Material and Methods: Performing an historical prospective study searching the clinical processes as well as the mother and newborn’s computer database from January to June of 2010. An exposed and an unexposed group were created; the first group comprises pregnant women and their newborns whose labor was induced. The unexposed group is constituted by newborns and pregnant women whose labor was spontaneous. Labor induction was performed using intra-vaginal prostaglandins in women who didn’t start it spontaneously; perinatal infection was defined either clinically or using blood tests. The gestational age was ≥ 37 weeks for both groups. 19 variables were studied for both groups. Results: A total of 190 mother-newborn pairs were included: 55 in the exposed group and 135 in the unexposed group. 3 cases of perinatal infection were reported, two in the exposed group and one in the unexposed group. Preliminary data resulted in a perinatal infection rate of 3.6% in the exposed group and 0.7% in the unexposed group; preliminary data suggest that the risk of perinatal infection may be increased in up to 5-fold when labor is inducted. Conclusions: A larger series of patients and a multivariable analysis using logistic regression are both necessary in order to perform a more thorough assessment of labor induction’s role in perinatal infection risk. One must also try to distinguish labor inducing- and clinical practicesrelated factors.

Effects of Local Anesthetic on the Time Between Analgesic Boluses and the Duration of Labor in Patient-Controlled Epidural Analgesia: Prospective Study of Two Ultra-Low Dose Regimens of Ropivacaine and Sufentanil

BACKGROUND: Patient-controlled epidural analgesia with low concentrations of anesthetics is effective in reducing labor pain. The aim of this study was to assess and compare two ultra-low dose regimens of ropivacaine and sufentanil (0.1% ropivacaine plus 0.5 μg.ml-1 sufentanil vs. 0.06% ropivacaine plus 0.5 μg.ml-1 sufentanil) on the intervals between boluses and the duration of labor. MATERIAL AND METHODS: In this non-randomized prospective study, conducted between January and July 2010, two groups of parturients received patient-controlled epidural analgesia: Group I (n = 58; 1 mg.ml-1 ropivacaine + 0.5 μg.ml-1 sufentanil) and Group II (n = 57; 0.6 mg.ml-1 ropivacaine + 0.5 μg.ml-1 sufentanil). Rescue doses of ropivacaine at the concentration of the assigned group without sufentanil were administered as necessary. Pain, local anesthetic requirements, neuraxial blockade characteristics, labor and neonatal outcomes, and maternal satisfaction were recorded. RESULTS: The ropivacaine dose was greater in Group I (9.5 [7.7-12.7] mg.h-1 vs. 6.1 [5.1-9.8 mg.h-1], p < 0.001). A time increase between each bolus was observed in Group I (beta = 32.61 min, 95% CI [25.39; 39.82], p < 0.001), whereas a time decrease was observed in Group II (beta = -1.40 min, 95% CI [-2.44; -0.36], p = 0.009). The duration of the second stage of labor in Group I was significantly longer than that in Group II (78 min vs. 65 min, p < 0.001). CONCLUSIONS: Parturients receiving 0.06% ropivacaine exhibited less evidence of cumulative effects and exhibited faster second stage progression than those who received 0.1% ropivacaine.

Labor adjustment dynamics: An application of system GMM

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

Taxes and labor supply: Portugal, Europe, and the United States (Conference version)

I relate hours worked with taxes on consumption and labor. I propose a model and compare its predictions for Portugal, France, Spain, United Kingdom and United States. Hours per worker in Portugal decreased from 35.1 in 1986 to 32.6 in 2001. With only the parameters and the taxes for Portugal, the model predicts the hours worked in 2001 with an error of only 12 minutes from the actual hours. Across countries, most predictions differ from the data by one hour or less. The model is able to explain the trend in hours with only the changes in taxes.

Taxes and labor supply: Portugal, Europe, and the United States

I relate hours worked with taxes on consumption and labor for Portugal, France, Spain, United Kingdom and United States. From 1986 to 2001, hours per worker in Portugal decreased from 35.1 to 32.6. With the parameters for Portugal, the model predicts hours worked in 2001 with an error of only 12 minutes from the actual hours. Across countries, most predictions differ from the data by one hour or less. The model is not sensible to special assumptions on the parameters. I calculate the long run effects of taxes on consumption, hours, capital and welfare for Portugal. I extend the model to discuss implications for Social Security. I discuss the steady state and the transition from a pay-as-you-go to a fully funded system.

Optimal job design in the presence of implicit contracts

We characterize the optimal job design in a multitasking environment when the firms rely on implicit incentive contracts (i.e., bonus payments). Two natural forms of job design are compared: (i) individual accountability, where each agent is assigned to a particular job and assumes full responsibility for its outcome; and (ii) team accountability, where a group of agents share responsibility for a job and are jointly accountable for its outcome. The key trade-off is that team accountability mitigates the multitasking problem but may weaken the implicit contracts. The optimal job design follows a cut-off rule: firms with high reputation concerns opt for team accountability, whereas firms with low reputation concerns opt for individual accountability. Team accountability is more likely the more acute the multitasking problem is. However, the cut-off rule need not hold if the firm combines implicit incentives with explicit pay-per-performance contracts.

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.

CSR practices and labor retention: How can these variables be related?

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

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.

On the labor share the long-run equilibrium and its adjustment process

This research computes an Equilibrium Labor Share using a VECM for a panel of 19 countries, analyzes what determines the speed at which the labor share adjusts towards that equilibrium and decomposes this adjustment in terms of real wages and employment. Results suggest that the speed at which a country adjusts decreases with employment protection legislation and labor taxes. Most countries’ labor shares adjustment is made through real wages changes instead of changing employment, suggesting that wage moderation policies may play an important role on the adjustment process without harming employment. Keywords: Equilibrium

A wave of change: Labor market and social security impacts of the EU refugee inflow

The recent massive inflow of refugees to the European Union (EU) raises a number of unanswered questions on the economic impact of this phenomenon. To examine these questions, we constructed an overlapping-generations model that describes the evolution of the skill premium and of the welfare benefit level in relevant European countries, in the aftermath of an inflow of asylum-seekers. In our simulation, relative wages of skilled workers increase between 8% and 11% in the period of the inflow; their subsequent time path is dependent on the initial skill premium. The entry of migrants creates a fiscal surplus of about 8%, which can finance higher welfare benefits in the subsequent periods. These effects are weaker in a scenario where refugees do not fully integrate into the labor market.

On the labor share the long-run equilibrium and its adjustment process

This research computes an Equilibrium Labor Share using a VECM for a panel of 19 countries, analyzes what determines the speed at which the labor share adjusts towards that equilibrium and decomposes this adjustment in terms of real wages and employment. Results suggest that the speed at which a country adjusts decreases with employment protection legislation and labor taxes. Most countries’ labor shares adjustment is made through real wages changes instead of changing employment, suggesting that wage moderation policies may play an important role on the adjustment process without harming employment.

Assessing the role of social networks on migrant labor market outcomes: Evidence from a representative immigrant survey

What role do social networks play in determining migrant labor market outcomes? We examine this question using data from a random sample of 1500 immigrants living in Ireland. We propose a theoretical model formally predicting that immigrants with more contacts have additional access to job offers, and are therefore better able to become employed and choose higher paid jobs. Our empirical analysis confirms these findings, while focusing more generally on the relationship between migrants’ social networks and a variety of labor market outcomes (namely wages, employment, occupational choice and job security), contrary to the literature. We find evidence that having one more contact in the network is associated with an increase of 11pp in the probability of being employed and with an increase of about 100 euros in the average salary. However, our data is not suggestive of a network size effect on occupational choice and job security. Our findings are robust to sample selection and other endogeneity concerns.