Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Supply chain integration model: practices and customer values

Dissertation to obtain PhD in Industrial Engineering

Contributo da modelação participada para a avaliação integrada da sustentabilidade. O caso da avaliação ambiental estratégica

A Avaliação Integrada da Sustentabilidade (AIS) é um processo cíclico e interactivo. O conjunto de princípios subjacentes à AIS dizem respeito aos trade‐offs entre valores, horizontes longos e curtos, entre domínios sociais, económicos e ecológicos e entre diferentes níveis de escalas de análise. Um processo de AIS inclui um sistema de interesse que é caracterizado por um problema persistente, motivando o potencial de uma política de intervenção, culminando numa decisão ponderada que recomende ou rejeite uma dada proposta. A Avaliação Ambiental Estratégica (AAE) surge como uma avaliação de Planos, Programas ou Políticas, no sentido de enquadrar desde uma fase inicial de planeamento, as questões ambientais, a um nível estratégico. Muitos autores e diversas equipas de AAE encaram já estes processos de uma forma integrada. A literatura evidenciou algumas lacunas apontadas a este processo, bem como o espaço existente para novos métodos. A modelação participada consiste numa ferramenta baseada na metodologia de dinâmica de sistemas, apresentando‐se como uma plataforma promissora no envolvimento de partes interessadas nos processos de tomada de decisão em ambiente. Qualquer forma de participação num processo de modelação, pode ser aceite como modelação participada. Estes processos foram bastante bem sucedidos em alguns casos de planeamento com vista à sustentabilidade. Neste sentido, efectuou‐se uma análise comparativa de um conjunto de AAE’s, considerando uma escala de cinco parâmetros (factores de avaliação, indicadores, participação, alternativas e efeitos cumulativos). Esta análise teve o intuito de facilitar o entendimento sobre o comportamento das AAE relativamente a estes aspectos, de forma a identificar oportunidades de melhoria. Foram realizadas entrevistas a um conjunto de peritos na área de AAE, com o objectivo de recolher a opinião sobre este tema. Posteriormente, foi desenvolvido um modelo conceptual de aplicação da modelação participada a processos de AAE. Este modelo não tem o objectivo de se sobrepor às metodologias existentes mas tenta colmatar alguns aspectos menos conseguidos da AAE revelados pela análise comparativa entre as AAE’s e pelas entrevistas realizadas. Conclui‐se que esta metodologia, mais propriamente a modelação participada em dinâmica de sistemas, poderá contribuir positivamente para processos de AAE. As principais vantagens surgem numa fase de definição de âmbito, nomeadamente na estruturação do processo participativo, na identificação das inter‐relações entre os diferentes factores de avaliação e na identificação de alternativas e efeitos cumulativos. Pode também ser útil para a fase de avaliação de efeitos, através da construção de um modelo de simulação, sendo que esta fase demonstrou alguns pontos fracos relacionados com a informação disponível e a morosidade do processo.

Strategic account management: the path to gain customer loyalty

The account management field works closely with the sales team, serving as the customer’s primary point of contact. This project’s purpose was to understand if shifting the account management from brand centric to customer centric, would be the best fit for a Portuguese Pharmaceutical company. This customer centric approach - Strategic Account Management (SAM) - was studied, understanding the implicated trade-offs to the company. The workforce was probed about the project and their comments were analyzed. The conclusion points to an implementation of SAM and proposes the adaptations to follow in order to smooth the change.

Overcoming the “European Paradox”: The role of Regional Innovation Systems (RIS) in translating R&D investments into economic and employment growth

The emergence of the so-called “European Paradox” shows that R&D investment is not maximally effective and that increasing the scale of public R&D expenditures is not sufficient to generate employment and sustained economic growth. Increasing Governmental R&D Investment is far from being a “panacea” for stagnant growth. It is worth noting that Government R&D Investment does not have a statistically significant impact on employment, indicating the need to assess the trade-offs of policies that could lead to significant increases in government expenditure. Surprisingly, Governmental R&D Employment does not contribute to “mass-market” employment, despite its quite important role in reducing Youth-Unemployment. Despite the negative side-effects of Governmental R&D Employment on both GVA and GDP, University R&D Employment appears to have a quite important role in reducing Unemployment, especially Youth-Unemployment, while it also does not have a downside in terms of economic growth. Technological Capacity enhancement is the most effective instrument for reducing Unemployment and is a policy without any downside regarding sustainable economical development. In terms of wider policy implications, the results reinforce the idea that European Commission Research and Innovation policies must be restructured, shifting from a transnational framework to a more localised, measurable and operational approach.

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.

Choosing between past and future regret

Sometimes decisions imply trade-offs that force people to accept missing an opportunity in the past or in the future. It has not yet been clarified whether a past miss or a future miss elicits more regret. In a direct comparison, Shani, Danziger, and Zeelenberg found support for the greater impact of future misses. In an experimental design with 216 students, we replicated their study and tested the strength of the future miss in a separate evaluation and with different periods. The results show that future misses cause less regret than past misses do when evaluated separately. However, future misses made participants change their feelings of regret more than past misses did. Feelings of regret did not decrease when future misses were further away. Our findings support the strength of future misses on regret but also show contrasting effects when evaluated separately. This indicates the further need for research in this topic.

The impacts of free trade agreements on use of antidumping

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

When do trade reforms imply larger poverty reductions?

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

Endogenous spillovers in the trade-off between centralization and decentralization

In this paper, we revisit the classical trade-off between centralized and decentralized provision of local public goods, in a setting where interregional spillovers depend on the level of a national public good. We compare the standard benevolent planner approach with a political economy in which decisions, in a centralized system, are undertaken by a non-cooperative legislature with no separation of powers. We observe that the policy-maker in a centralized system is able to play both with local public goods and spillovers, a mechanism that is not available under a decentralized system. When compared to the traditional exogenous spillovers assumption, this improves the case for centralization under the standard benevolent planner approach. However, the same is not necessarily true in the non-cooperative legislature, as in this case the interests of the legislator do not need to be aligned with those of the society. Finally, we extend the traditional political economy analysis by considering a legislature in which decisions are undertaken by different committees (separation of powers), and show that it performs better than the original non-cooperative legislature, greatly improving the case for centralization.

Determinants of Portuguese trade: 1986-2010

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

The Nagasaki-Macao Trade between 1612 and 1618: Carlo Spinola S.J. Procurator of Japan

A nossa dissertação tem como objetivo analisar os compromissos e as obrigações do procurador da Companhia de Jesus no Japão durante os anos em que Carlo Spinola foi escolhido para ocupar tal posição, a segunda em ordem de importância, conforme o jesuíta italiano Francesco Pasio. O ofício de procurador era uma das posições que levavam os missionários da Companhia a lidar diretamente com as autoridades japonesas em Nagasáqui, uma vez que cabia ao procurador receber, verificar e distribuir os bens pertencentes à missão e que eram carregados no navio português de Macau. Além disso, o procurador, juntamente com outros padres superiores, tinha também incumbidas tarefas políticas relativas ao capitão-mor e aos Portugueses no Japão. Spinola assumiu o cargo quando o bakufu começou a mudar a sua atitude em relação à Igreja de Roma, devido a várias causas que, em parte, envolviam também a Companhia de Jesus, com conseqüências negativas para a missão. Para fornecer uma compreensão profunda deste cargo, propomos uma comparação entre o procuradorado de Spinola e outros procuradores no Japão, tendo escolhido em particular o caso do Português João Rodrigues Tçuzu. Além disso, uma vez que o Japão era um caso particular dentro do Padroado Português, parece-nos pertinente efectuar outra comparação e apresentar também o caso - embora mais conciso - do procurador da província brasileira da Companhia de Jesus. Através deste estudo de casos, tentaremos definir o procurador, tanto do ponto de vista prático - ou seja, os seus deveres, os seus compromissos e os seus recursos – como de uma perspectiva moral e filosófica – olhando para a literatura canônica produzida desde os primeiros tempos da Igreja Cristã. Até agora, a históriografia sobre e de autoria jesuítica apenas aborda o cargo de procurador de forma marginal. O nosso trabalho vai preencher essa lacuna. Além disso, o estudo do papel do procurador permite-nos, inevitavelmente, uma melhor compreensão dos mecanismos de participação da Companhia de Jesus no comércio entre Macau e Nagasáqui, desde o seu início – selado por Alessandro Valignano – até ao seu fim – contemporâneo do término do procuradorado de Spínola.

Firms survival and international trade: The impact of exports and imports

Double Degree. A Work Project presented as part of the requirements for the Award of a Masters in Management from Nova School of Business and Economics and Maastricht University.

Beyond the carry trade: Optimal currency portfolios

Author's Pre-print