Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Visualization of clusters in geo-referenced data using three-dimensional self-organizing maps

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Multy-dimensional composition by objectives in aspect-oriented requirements analysis

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

Famílias de pessoas com síndromes psicóticas : análise dimensional e avaliação da efectividade de uma intervenção em grupos para familiares

RESUMO:Enquadramento teórico Nas famílias das pessoas com síndromas psicóticas, a história natural da prestação de cuidados informais é ainda pouco conhecida. Independentemente disso, o impacto sobre os cuidadores tem sido alvo de intervenções familiares (IF) psicoeducativas. Não esquecendo que contextos clínicos diferentes, como é o caso das demências, exibem, nas famílias, especificidades a explorar, torna-se crucial aperfeiçoar métodos para avaliação de grupos de risco e estudo da efectividade das IF. As intervenções em grupos para familiares (IGF) são exequíveis e cobrem parte das necessidades das famílias. Ao invés de outras IF, falta evidência inequívoca de que as IGF influenciem o prognóstico da esquizofrenia (diminuindo as taxas de recaída ou melhorando o funcionamento dos doentes). Em Portugal, são praticamente inexistentes dados sobre avaliação de IGF. O estudo FAPS (FAmílias de Pessoas com PSicose) teve como objectivos: estudar a adesão a uma IGF, avaliar a efectividade desta e estudar prospectivamente uma coorte de familiares que não tivessem aderido (considerando dimensões da experiência de cuidar e preditores putativos: suporte social, coping, sentido de coerência-SOC, covariáveis clínico-funcionais do doente). Adicionalmente, intentou a validação do Involvement Evaluation Questionnaire, versão europeia (IEQ-EU), numa população portuguesa.

Geometry based visualization with OpenCL

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

In situ measured cross section geometry of old timber structures and its influence on structural safety

Old timber structures may show significant variation in the cross section geometry along the same element, as a result of both construction methods and deterioration. As consequence, the definition of the geometric parameters in situ may be both time consuming and costly. This work presents the results of inspections carried out in different timber structures. Based on the obtained results, different simplified geometric models are proposed in order to efficiently model the geometry variations found. Probabilistic modelling techniques are also used to define safety parameters of existing timber structures, when subjected to dead and live loads, namely self-weight and wind actions. The parameters of the models have been defined as probabilistic variables, and safety of a selected case study was assessed using the Monte Carlo simulation technique. Assuming a target reliability index, a model was defined for both the residual cross section and the time dependent deterioration evolution. As a consequence, it was possible to compute probabilities of failure and reliability indices, as well as, time evolution deterioration curves for this structure. The results obtained provide a proposal for definition of the cross section geometric parameters of existing timber structures with different levels of decay, using a simplified probabilistic geometry model and considering a remaining capacity factor for the decayed areas. This model can be used for assessing the safety of the structure at present and for predicting future performance.

The differential effects of switching costs and attractiveness of alternatives on customer loyalty

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Validation of NASA rotor 67 with openFOAM's transonic density-based solver

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Long-term behaviour of railway transitions under dynamic loading application to soft soil sites

Dissertação para obtenção do Grau de Doutor em Engenharia Civil

Differential exploitation of cashew - a low conflict crop - by sympatric humans and chimpanzees

Modification of natural areas by human activities mostly has a negative impact on wildlife by increasing the geographical and ecological overlap between people and animals. This can result in escalating levels of competition and conflict between humans and wildlife, for example over crops. However, data on specific crops and crop parts that are unattractive to wildlife yet important for human livelihoods are surprisingly scarce, especially considering their potential application to reducing crop damage by wildlife. Here we examine the co-utilization of a nationally important and spatially abundant cash crop, cashew Anacardium occidentalis, by people and chimpanzees Pan troglodytes verus inhabiting a forested–agricultural matrix in Cantanhez National Park in Guinea-Bissau. In this Park people predominantly harvest the marketable cashew nut and discard the unprofitable fruit whereas chimpanzees only consume the fruit. Local farmers generally perceive a benefit of raiding by chimpanzees as they reportedly pile the nuts, making harvesting easier. By ensuring that conflict levels over crops, especially those with high economic importance, remain low, the costs of living in proximity to wildlife can potentially be reduced. Despite high levels of deforestation associated with cashew farming, these findings point to the importance of cashew as a low-conflict crop in this area.

Collateral, default penalties and infinite horizon equilibrium

Pascoa and Seghir (2009) noticed that when collateralized promises become subject to utility penalties on default, Ponzi schemes may occur. However, equilibrium exists in some interesting cases. Under low penalties, equilibrium exists if the collateral does not yield utility (for example, when it is a productive asset or a security). Equilibrium exists also under more severe penalties and collateral utility gains, when the promise or the collateral are nominal assets and the margin requirements are endogenous: relative inflation rates and margin coefficients can make the income effects dominate the penalty effects. An equilibrium refinement avoids no-trade equilibria with unduly repayment beliefs. Our refinement differs from the one used by Dubey, Geanakoplos and Shubik (2005) as it does not eliminate no trade equilibria whose low delivery rates are consistent with the propensity to default of agents that are on the verge of selling.

R&D spillovers in an endogenous growth model with physical capital, human capital and varieties

There is a family of models with Physical, Human capital and R&D for which convergence properties have been discussed (Arnold, 2000a; Gómez, 2005). However, spillovers in R&D have been ignored in this context. We introduce spillovers in this model and derive its steady-state and stability properties. This new feature implies that the model is characterized by a system of four differential equations. A unique Balanced Growth Path along with a two dimensional stable manifold are obtained under simple and reasonable conditions. Transition is oscillatory toward the steady-state for plausible values of parameters.

Transitional dynamics of an endogenous growth model with an erosion effect

The convergence features of an Endogenous Growth model with Physical capital, Human Capital and R&D have been studied. We add an erosion effect (supported by empirical evidence) to this model, and fully characterize its convergence properties. The dynamics is described by a fourth-order system of differential equations. We show that the model converges along a one-dimensional stable manifold and that its equilibrium is saddle-path stable. We also argue that one of the implications of considering this “erosion effect” is the increase in the adherence of the model to data.

Development of a satellite based PM10 concentration product for urban areas

Dissertação para obtenção do Grau de Doutor em Engenharia do Ambiente

Mobile image processing to support educational geometry games

The mobile IT era is here, it is still growing and expanding at a steady rate and, most of all, it is entertaining. Mobile devices are used for entertainment, whether social through the so-called social networks, or private through web browsing, video watching or gaming. Youngsters make heavy use of these devices, and even small children show impressive adaptability and skill. However not much attention is directed towards education, especially in the case of young children. Too much time is usually spent in games which only purpose is to keep children entertained, time that could be put to better use such as developing elementary geometric notions. Taking advantage of this pocket computer scenario, it is proposed an application geared towards small children in the 6 – 9 age group that allows them to consolidate knowledge regarding geometric shapes, forming a stepping stone that leads to some fundamental mathematical knowledge to be exercised later on. To achieve this goal, the application will detect simple geometric shapes like squares, circles and triangles using the device’s camera. The novelty of this application will be a core real-time detection system designed and developed from the ground up for mobile devices, taking into account their characteristic limitations such as reduced processing power, memory and battery. User feedback was be gathered, aggregated and studied to assess the educational factor of the application.