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.

Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Bioenergy competency centre: study of the bioenergy potencial in the centre region of Portugal.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Gestão integrada da doença : uma abordagem experimental de gestão em sa

RESUMO - Os sistemas de saúde deparam-se, actualmente, com novos paradigmas, ao nível da qualidade da prestação de cuidados de saúde, bem como no que se refere à necessidade de controlo dos custos com o sector da saúde, obrigando as organizações a adaptarem-se por forma a fornecerem a resposta mais adequada às crescentes necessidades dos indivíduos. O reconhecimento desta realidade tem levado os governos de muitos países a definir políticas orientadas para problemas de saúde específicos e a adoptar estratégias de intervenção que privilegiam uma abordagem integrada com o objectivo de melhorarem progressivamente o nível de saúde das populações, a qualidade dos cuidados prestados e a eficiência na utilização de recursos. Em Portugal, a aplicação dos princípios que estiveram na base dos modelos de gestão da doença, deu origem ao modelo experimental de Gestão Integrada da Doença, que incorpora a gestão clínica da doença, centrada no doente, com especial enfoque na sua autogestão e na clarificação das melhores práticas profissionais, visando a sua uniformização; a reorganização do modelo de prestação de cuidados, com a criação de Centros de Elevada Diferenciação e Centros de Tratamento, com especiais preocupações no que concerne à orientação do doente no sistema para que os cuidados lhe seja ministrados no nível mais adequado; um modelo de financiamento específico, indexado aos resultados, que reflicta a adopção das melhores práticas; um sistema de informação que permita a monitorização e avaliação constante deste processo. O desenvolvimento deste modelo organizacional tem-se revelado como uma estratégia inovadora e como uma ferramenta de elevado potencial para a melhoria da prestação de cuidados de saúde e para a promoção de uma maior efectividade e eficiência, tal como poderá, ainda, constituirse como um veículo, importante e permanente, de informação de apoio à decisão em Saúde. Este modelo visa, no fundo, promover uma acção concertada no sentido da obtenção de uma intervenção precisa, através da mobilização de recursos adequados, que permitam uma melhoria do estado de saúde, da qualidade de vida e do bem-estar global dos doentes. Esta abordagem passa pela colaboração e coordenação dos diferentes níveis de prestação de cuidados, no sentido de oferecerem cuidados integrados de saúde, com níveis de qualidade elevados em termos de prevenção, diagnóstico, tratamento, reabilitação e acompanhamento. ------------------------ --ABSTRACT – The health systems are faced with new paradigms, on one hand in the healthcare services delivered to the populations, and on the other hand, in the need to control costs in the health sector, forcing organizations to adapt and provide the most appropriate response to the individuals growing needs. The magnitude of this problem, in terms of public health, requires the adoption of a directed, targeted, planned and integrated action, based on clear and well defined strategies in order to obtain health gains, improving the quality of care and streamlining the costs. In Portugal, the application of those principles forming the basis of the disease management models, led to the Integrated Disease Management model which, apart from the clinical management of the disease, also incorporates the healthcare delivery structure reorganization, a specific financing model based on an information system that allows the process monitoring and evaluation. The development of Integrated Disease Management models is a central strategy and a tool for improving healthcare delivery, more effectively and efficiently, and can even be an important and permanent vehicle of information for health decision support. Therefore, it is important to promote a concerted action towards achieving a precise intervention, mobilizing the resources, improving the health status, quality of life and the overall patients’ wellbeing. This action means increasing collaboration and coordination of the different levels of care, offering integrated healthcare s

Land use / land cover change detection: an object oriented approach, Münster, Germany

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

Spatial metrics and Landsat data for urban landuse change detection: case of Addis Ababa, Ethiopia.

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

RepComp - replicated software components for improved performance

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

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

Microtheories for SDI - Accounting for diversity of local conceptualisations at a global level

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

A crop-land allocation model: A case study in La Rioja, Spain

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

Providing energy efficiency location-based strategies for buildings using linked open data

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

Probabilistic constraint reasoning

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

Building clusters for CRM strategies by mining airlines customer data

Trabalho de Projeto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Detecting and evaluating land cover change in the eastern half of East Timor (1972-2011)

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

Metodologia da determinação de prioridades no planeamento regional de saúde : uma proposta

RESUMO - O estabelecimento de prioridades determina a sustentabilidade de qualquer sistema de saúde, pelo que urge identificar os procedimentos, metodologias e critérios de priorização. Não existem critérios nem métodos universais de os combinar, sendo que a sua seleção depende do contexto de aplicação. O presente projeto de estudo exploratório-descritivo tem por finalidade a criação de uma proposta de metodologia a adotar na determinação de prioridades do Plano Regional de Saúde de Lisboa e Vale do Tejo 2011-2016, contextualizada à região, tempo e circunstâncias. O estudo está organizado em duas etapas metodológicas: uma revisão bibliográfica, dirigida à identificação do método e dos critérios de determinação de prioridades, e a realização de um painel de Delphi, para validação do método de determinação de prioridades proposto, definição dos critérios e suas ponderações. Tendo sido encontrada evidência na literatura sobre as vantagens da utilização da Análise Multicritério da Tomada de Decisão, através da utilização do Método Aditivo Linear, na determinação de prioridades em saúde, foi selecionada esta metodologia, que obteve a concordância de 85% dos participantes para a sua utilização no contexto em estudo, na primeira ronda do painel de Delphi. Os resultados preliminares do estudo, obtidos na primeira ronda, mostram que um dos onze critérios propostos foi excluído, tendo sido sugeridos sete novos critérios pelos participantes, que serão sujeitos a análise nas rondas subsequentes. Os resultados obtidos poderão servir de base a estudos mais aprofundados nesta área e contribuir para o debate sobre os critérios subjacentes ao processo de determinação de prioridades em saúde.