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.

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Caracterização de fibras de ion jelly® obtidas por electrofiação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Biomédica

Genotoxic effects in occupational exposure to formaldehyde: A study in anatomy and pathology laboratories and formaldehyde-resins production

ABSTRACT – Background: According to the Report on Carcinogens, formaldehyde ranks 25th in the overall U.S. chemical production, with more than 5 million tons produced each year. Given its economic importance and widespread use, many people are exposed to formaldehyde environmentally and/or occupationally. Presently, the International Agency for Research on Cancer classifies formaldehyde as carcinogenic to humans (Group 1), based on sufficient evidence in humans and in experimental animals. Manyfold in vitro studies clearly indicated that formaldehyde can induce genotoxic effects in proliferating cultured mammalian cells. Furthermore, some in vivo studies have found changes in epithelial cells and in peripheral blood lymphocytes related to formaldehyde exposure. Methods: A study was carried out in Portugal, using 80 workers occupationally exposed to formaldehyde vapours: 30 workers from formaldehyde and formaldehyde-based resins production factory and 50 from 10 pathology and anatomy laboratories. A control group of 85 non-exposed subjects was considered. Exposure assessment was performed by applying simultaneously two techniques of air monitoring: NIOSH Method 2541 and Photo Ionization Detection equipment with simultaneously video recording. Evaluation of genotoxic effects was performed by application of micronucleus test in exfoliated epithelial cells from buccal mucosa and peripheral blood lymphocytes. Results: Time-weighted average concentrations not exceeded the reference value (0.75 ppm) in the two occupational settings studied. Ceiling concentrations, on the other hand, were higher than reference value (0.3 ppm) in both. The frequency of micronucleus in peripheral blood lymphocytes and in epithelial cells was significantly higher in both exposed groups than in the control group (p < 0.001). Moreover, the frequency of micronucleus in peripheral blood lymphocytes was significantly higher in the laboratories group than in the factory workers (p < 0.05). A moderate positive correlation was found between duration of occupational exposure to formaldehyde (years of exposure) and micronucleus frequency in peripheral blood lymphocytes (r = 0.401; p < 0.001) and in epithelial cells (r = 0.209; p < 0.01). Conclusions: The population studied is exposed to high peak concentrations of formaldehyde with a long-term exposure. These two aspects, cumulatively, can be the cause of the observed genotoxic endpoint effects. The association of these cytogenetic effects with formaldehyde exposure gives important information to risk assessment process and may also be used to assess health risks for exposed worker

Development of electrospun Ion jelly fibers® for drug delivery

Dissertação para obtenção do Grau de Mestre em Biotecnologia

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.

Time-of-flight secondary ion mass spectrometry: new application for urinary stones analysis

Dissertação para obtenção do Grau de Doutor em Engenharia Física

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.

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

Atomic force microscopy assisted with electron and ion beam microscopy for the direct measurement of biostructures and DNA samples

Dissertation to obtain a Master degree in Biotechnology