Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Type-based protocol conformance and aliasing control in concurrent java programs

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

An approach to teach Calculus/Mathematical Analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

Spill-over effects in multi-partner loyalty programs

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

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

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

Positioning of Ontario University Business Programs - Guelph-Humber

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

Participatory Surveillance and Mathematical Models in Epidemiologic Research: Successes and Challenges

Theoretical epidemiology aims to understand the dynamics of diseases in populations and communities. Biological and behavioral processes are abstracted into mathematical formulations which aim to reproduce epidemiological observations. In this thesis a new system for the self-reporting of syndromic data — Influenzanet — is introduced and assessed. The system is currently being extended to address greater challenges of monitoring the health and well-being of tropical communities.(...)

Mathematical and numerical methods for inverse problems using fundamental solutions techniques

Fundação para a Ciência e a Tecnologia - SFRH/BD/27914/2006

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality