Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Intelligent decision support systems for collaboration in industrial plants

Dissertação apresentada para obtenção do Grau de Doutor em Sistemas de Informação Industriais, Engenharia Electrotécnica, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Declarative approach to data extraction of web pages

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfilment of the requirements for the degree of Master in Computer Science

The impact of pharmaceutical policy measures: a structural-break approach

Pharmaceutical spending in many other countries has had a steep increase in the last decade. The Portuguese Government has adopted several measures to reduce pharmaceutical expenditure growth, ranging from increased co-payments to price decreases determined administratively. Promotion of generic consumption has also ranked high in political priorities. We assess the overall impact of the several policy measures on total pharmaceutical spending, using monthly data over the period January 1995 – August 2008. Endogenous structural breaks (time-series) methods were employed. Our findings suggest that policy measures aimed at controlling pharmaceutical expenditure have been, in general, unsuccessful. Two breaks were identified. Both coincide with administratively determined price decreases. Measures aimed at increasing competition in the market had no visible effect on the dynamics of Government spending in pharmaceutical products. In particular, the introduction of reference pricing had only a transitory effect of less than one year, with historical growth resuming quickly. The consequence of it is a transfer of financial burden from the Government to the patients, with no apparent effect on the dynamics of pharmaceutical spending. This strongly suggests that pharmaceutical companies have been able to adjust to policy measures, in order to sustain their sales. It remains a challenge for the future to identify firms’ strategies that supported continued growth of sales, despite the several policy measures adop

SOLAP+: extending the interaction model

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Design of New Materials for Passive Vibration Control

The aim of this contribution is to extend the techniques of composite materials design to non-linear material behaviour and apply it for design of new materials for passive vibration control. As a first step a computational tool allowing determination of macroscopic optimized one-dimensional isolator behaviour was developed. Voigt, Maxwell, standard and more complex material models can be implemented. Objective function considers minimization of the initial reaction and/or displacement peak as well as minimization of the steady-state amplitude of reaction and/or displacement. The complex stiffness approach is used to formulate the governing equations in an efficient way. Material stiffness parameters are assumed as non-linear functions of the displacement. The numerical solution is performed in the complex space. The steady-state solution in the complex space is obtained by an iterative process based on the shooting method which imposes the conditions of periodicity with respect to the known value of the period. Extension of the shooting method to the complex space is presented and verified. Non-linear behaviour of material parameters is then optimized by generic probabilistic meta-algorithm, simulated annealing. Dependence of the global optimum on several combinations of leading parameters of the simulated annealing procedure, like neighbourhood definition and annealing schedule, is also studied and analyzed. Procedure is programmed in MATLAB environment.

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Framework development for providing accessibility to qualitative spatial calculi

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

Sensor Data Visualization in Virtual Globe

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

Context-aware personalization environment for mobile computing

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A framework for semantic checking of information systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Price linkages in pharmaceutical markets

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

On the cloud deployment of a session abstraction for service/data aggregation

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Data queries over heterogeneous sources

Dissertação para obtenção do Grau de Mestre em Engenharia Informática