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.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Diversity in Teams: Source of Conflict or Source of Creativity? Investigating Hidden Mental Models

The workforce in organizations today is becoming increasingly diverse. Consequently the role of diversity management is heavily discussed with respect to the question how diversity influences the productivity of a group. Empirical studies show that on one hand there is a potential for increasing productivity but on the other hand it might be as well that conflicts arise due to the heterogeneity of the group. Usually according empirical studies are based on interviews, questionnaires and/or observations. These methods imply that answers are highly selective and filtered. In order to make the invisible visible, to have access to mental models of team members the paper will present an empirical study on the self-understanding of groups based on an innovative research method, called “mind-scripting”.

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.

Estimation and hypothesis testing in mixed linear models

Dissertação apresentada para obtenção do Grau de Doutor em Matemática, Estatística, pela Universidade Nova de Lisboa, faculdade de Ciências e Tecnologia

Type System for the ComponentJ Programming Language

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.

Parallel texts alignment

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

A shared-disk parallel cluster file system

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

A debugging engine for parallel and distributed programs

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

Type inference for conversation types

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

A behavioral analysis tool for models of software systems

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

Cooperative memory and database transactions

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

Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

Percepção do estado de saúde de doentes com anticoagulação oral

RESUMO - O aumento da incidência das doenças crónicas representa um desafio enorme para todos os Sistemas de Saúde, pelo que a assistência de Saúde a doentes crónicos se tornou num problema das sociedades ocidentais. Os países mais pobres são os que mais sofrem, embora nos países desenvolvidos também se verifique um aumento notável das doenças crónicas. Estima-se que estas representem mais de 60% do total das doenças mundiais no ano 2020 (WHO, 2001). A adaptação dos actuais modelos de saúde aos doentes crónicos não atingiu os objectivos, o que conduziu a que, de há alguns anos a esta parte, se procure alternativas mais eficazes e eficientes. Uma das pressões do mercado que se fazem sentir será caracterizada por uma maior aposta na Promoção da Saúde e Prevenção da doença. O conceito de “Saúde” migrou de “não existência de doença” para “Bem-estar Físico e Psicológico”. Desta forma, o foco dos cuidados de saúde teve que ser adaptado, o que conduziu a uma situação em que o âmbito da prestação de cuidados de saúde é um contínuo de serviços que vai desde a promoção da saúde, medicina preventiva e medicina curativa aos cuidados continuados e cuidados paliativos. As tecnologias de informação e comunicação desempenharão um importante papel nesta tendência, permitindo estabelecer ligações contínuas entre os consumidores e prestadores de cuidados de saúde. Por outro lado, as potencialidades da Internet, das comunicações móveis, dispositivos portáteis e do instrumental electrónico, tornam-se evidentes no desenvolvimento de serviços de e-Saúde: para monitorização, seguimento e controlo dos doentes extra hospitalar - serviços estes centrados no doente. O objectivo geral do presente estudo consiste no desenho de um projecto de investigação para posterior avaliação da percepção do estado de saúde dos doentes seguidos na consulta de hipocoagulação do Hospital de Santa Marta. Devido à escassez de investigação na temática deste trabalho em Portugal, procedeu-se a um trabalho exploratório, descritivo, de carácter comparativo e enquadrado na abordagem quantitativa. O campo de análise consiste em comparar doentes que fazem anticoagulação oral, seguidos na consulta de cardiologia (consulta convencional), com os doentes seguidos no programa Airmed (através das comunicações móveis). 4 Para avaliação da percepção do estado de saúde foi utilizado o questionário SF-36.----ABSTRACT - The increasing incidence of chronic diseases represents an enormous challenge to the Health Systems and on cause of that, the Health Assistance to chronic patients became a concern of the Occidental society. The Countries with lower economical resources are the ones that suffers the most, but also the Developed countries have a noticeable increase of chronic diseases. It is estimated these will represent over 60% of total diseases world wide in 2020 (WHO,2001). The adaptation of the actual Health Models to chronic patients did not achieved it’s goals, what leaded to look for more effective and efficient alternatives. One of the more sensitive market pressure factor is to look for a better Health Promotion and Disease Prevention. The concept of “Health” merged from “Disease absence” to “Physic and Psychic Wellness”. In this way the Health Care focus had to be adapted, what drove to a status where the scope of the Health care is a continuum of services that goes from the Health Promotion, Preventive and Curative to Continued and Palliative Medical Care. The Information and Communication Technologies will play a crucial role in this trend, allowing to establish continued connections between patients and Health Care providers. In parallel the potential of the Internet, mobile communications, portable devices and electronic instruments became evident to deploy e-Health services: to monitor, follow-up and control of patients outside the Hospital. The overall objective of the present study is an Investigation Project Design to further evaluate the health status perception of the patients followed in the consultation for Hypocoagulation in the “Hospital de Santa Marta”. Due to lack of investigation in this thematic, in Portugal, this study is developed in an exploratory way, descriptive, comparative, within a scope of a quantified approach. The analysis field consists on comparing patients prescribed with oral anticoagulants and followed-up at the

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering