New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

The capacity exchange protocol

This paper proposes a new strategy to integrate shared resources and precedence constraints among real-time tasks, assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among tasks to minimise the degree of deviation from the ideal system’s behaviour caused by inter-application blocking. The proposed Capacity Exchange Protocol (CXP) is simpler than other proposed solutions for sharing resources in open real-time systems since it does not attempt to return the inherited capacity in the same exact amount to blocked servers. This loss of optimality is worth the reduced complexity as the protocol’s behaviour nevertheless tends to be fair and outperforms the previous solutions in highly dynamic scenarios as demonstrated by extensive simulations. A formal analysis of CXP is presented and the conditions under which it is possible to guarantee hard real-time tasks are discussed.

Cantor exchange systems and renormalization

We prove a one-to-one correspondence between (i) C1+ conjugacy classes of C1+H Cantor exchange systems that are C1+H fixed points of renormalization and (ii) C1+ conjugacy classes of C1+H diffeomorphisms f with a codimension 1 hyperbolic attractor Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. However, we prove that there is no C1+alpha Cantor exchange system, with bounded geometry, that is a C1+alpha fixed point of renormalization with regularity alpha greater than the Hausdorff dimension of its invariant Cantor set.

Arc exchange systems and renormalization

We exhibit the construction of stable arc exchange systems from the stable laminations of hyperbolic diffeomorphisms. We prove a one-to-one correspondence between (i) Lipshitz conjugacy classes of C(1+H) stable arc exchange systems that are C(1+H) fixed points of renormalization and (ii) Lipshitz conjugacy classes of C(1+H) diffeomorphisms f with hyperbolic basic sets Lambda that admit an invariant measure absolutely continuous with respect to the Hausdorff measure on Lambda. Let HD(s)(Lambda) and HD(u)(Lambda) be, respectively, the Hausdorff dimension of the stable and unstable leaves intersected with the hyperbolic basic set L. If HD(u)(Lambda) = 1, then the Lipschitz conjugacy is, in fact, a C(1+H) conjugacy in (i) and (ii). We prove that if the stable arc exchange system is a C(1+HDs+alpha) fixed point of renormalization with bounded geometry, then the stable arc exchange system is smooth conjugate to an affine stable arc exchange system.

Modelling and optimization of the ion exchange membrane bioreactor for removal of anionic pollutants from drinking water streams

Dissertação para obtenção do Grau de Doutor em Engenharia Química, especialidade de Engenharia Bioquímica

A Avaliação Imobiliária e a sua relação com o Investimento

O presente relatório visa cumprir os requisitos da unidade curricular Dissertação, Projeto ou Estágio (DIPRE) do mestrado em Engenharia Civil do Instituto Superior de Engenharia do Porto (ISEP). O estágio curricular decorreu na empresa VPM - Vaz Pinto Mendes - Unipessoal Lda, sob o tema: “A avaliação imobiliária e a sua relação com o investimento”. A avaliação imobiliária visa determinar o valor associado aos bens imóveis. Pode ser aplicada a todo o tipo de bens imóveis, tais como: apartamentos e moradias uni e multifamiliares, espaços comerciais e de serviços, quintas, unidades hoteleiras e industriais, complexos desportivos, entre outros. A avaliação imobiliária poderá ser solicitada por parte de proprietários ou arrendatários dos imóveis, por empresas, tribunais, advogados e solicitadores. Apresenta diversos fins, tais como a determinação do valor de indemnização devido a expropriações, o financiamento hipotecário para compra ou construção de imóveis, partilhas, estudo de um investimento financeiro, intenção de venda ou arrendamento, efeitos fiscais ou apenas o simples conhecimento do valor aproximado das propriedades que se possui. O presente estudo visa abordar o atual mercado imobiliário nacional, o procedimento de realização de uma avaliação imobiliária e principalmente os métodos de avaliação tradicionais.

Behavior monitoring and behavioral exchange: an approach from geospatial technologies involving gamification techniques

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Treasury stocks: Evidence from Portuguese listed companies in 2010

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

The impact of sizeof the firm and exchange rate in the export propensity of domestic and foreign owned firms in a developing country: A study of the Brazilian exporters

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

How differently do our non-large companies listed on the Portuguese Stock Exchange perform?

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

The social stock exchange: A quantitative exploration

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

Comparing exchange market pressure in West and Southern African countries

We compare the performance of Cape Verde and Mozambique concerning financial credibility as measured by Exchange Market Pressure, an institutional feature that has often been overlooked in the literature as a relevant institution for economies. Drawing on previous research by Macedo et al. (2009), we expand their analysis and, using several definitions of “financial credibility”, all related to different angles on Exchange Market Pressure indices, we conclude that - against reasonable benchmarks in their respective regions - financial credibility has been very good for Cape Verde and fairly good for Mozambique.

Bond fund runs: The financial crisis case

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

Determinants of exchange rates: An empirical analysis

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