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.

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.

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.

Disclosing Carbon Monoxide Protection in Cerebral Ischemia: Insights into the cellular mechanisms

Dissertation presented to obtain the PhD degree in Biochemistry, Neurosciences

Urban containment: An effective tool for environmental protection?

This paper examines the effectiveness of urban containment policies to protect forestland from residential conversion and to increase the provision of forest public goods in the presence of irreversible investments and policy uncertainty. We develop a model of a single landowner that allows for switching between competing land uses (forestry and residential use) at some point in the future. Our results show that urban containment policies can protect (even if temporarily) forestland from being developed but must be supplemented with policies that influence the length and number of harvesting cycles if the goal is to increase nontimber benefits. The threat of a development prohibition creates incentives for preemptive timber harvesting and land conversion. In particular, threatened regulation creates an incentive to shorten rotation cycles to avoid costly land-use restrictions. However, it has an ambiguous effect on forestland conversion as the number of rotation cycles can also be adjusted to maximize the expected returns to land. Finally, in the presence of irreversibility, forestland conversion decisions should be done using real option theory rather than net present value analysis

Lor’s - Women personal rain protection solutions

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