Orchestration of heterogeneous middleware services and its application to a comand and control platform

MSC Dissertation in Computer Engineering

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Assessing scenarios on the future of work

In this paper will be discussed different types of scenarios and the aims for using scenarios. Normaly they are being used by organisations due to the need to anticipate processes, to support policy-making and to understand the complexities of relations. Such organisations can be private companies, R&D organisations and networks of organisations, or even by some public administration institutions. Some cases will be discussed as the methods for ongoing scenario-building process (Shell Internacional). Scenarios should anticipate possible relations among social actors as in the Triple Helix Model, and is possible to develop strategic intelligence in the innovation process that would enable the construction of scenarios. Such processes can be assessed. The focus will be made in relation to the steps chosen for the WORKS scenarios. In this case is there a model of work changes that can be used for foresight? Differences according to sectors were found, as well on other dimensions. Problems of assessment are analysed with specific application to the scenario construction methods.

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

Estimation of infection rate in epidemic models with multiple populations

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Especialização em Actuariado, Estatística e Investigação Operacional

Ditopic molecular architectures for the recognition of anionic species

Dissertation presented to obtain the Ph.D degree in Chemistry

The International Multilateral System: Imperatives of Change, Potential Scenarios and Suggestions for the Future

Thesis presented to satisfy the necessary requirements for obtaining a PhD degree in International Relation with specialization in Globalization and the Environment,

Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

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

Automated segmentation, tracking and evaluation of bacteria in microscopy images

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Evaluation of a new vaccine based on pDNA and recombinant protein against Helicobacter pylori

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

A communication strategy for Continente: proposals to promote fresh products of Continente’s own brands

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

Safe reuse of treated urban wastewater in Praia, Cape Verde: a case study

Dissertação para a obtenção do Grau de Mestre em Engenharia e Gestão da Água

Development of population-specific function assessment intrument in Lebanon

RESUMO: Contexto: O funcionamento tem sido reconhecido como um dos principais indicadores de resultados para avaliar se as pessoas beneficiam das intervenções destinadas a melhorar a sua saúde mental. O funcionamento refere-se à forma como um indivíduo consegue responder às suas tarefas e solicitações, dos seus familiares e da sua comunidade, de acordo com os requisitos do local e a cultura em que vive (eg, tarefa de cozinhar e limpar para as mulheres em algumas culturas ). O funcionamento é altamente dependente da cultura - por isso, tem sido recomendado o desenvolvimento de medidas de funcionamento específicas de cada cultura. Desenvolver localmente os instrumentos de medida evita problemas de adequação, associados com a adaptação de instrumentos ocidentais. Embora os instrumentos criados desta forma sejam específicos de um meio cultural, eles são simultaneamente "transculturais", no sentido em que cada um se refere às tarefas mais importantes para a população local . Esta abordagem mostrou-se útil para investigadores e agências de ajuda (eg, ONGs) que trabalham em países não-ocidentais . Este estudo descreve o trabalho da agência International Medical Corps (IMC) na criação e validação de um questionário de funcionamento específico nas dimensões cultura e gênero, no Líbano, destinado a avaliar eventuais melhorias em pessoas que receberam intervenções de para problemas de saúde mental, a nível dos cuidados primários de saúde. Método: O instrumento foi desenvolvido usando um método que é uma alternativa à abordagem existente de adaptação de instrumentos ocidentais a outras culturas e situações; esta abordagem é rápida e exequível, tendo já demonstrado ser útil no desenvolvimento de instrumentos válidos e fidedignos. Inicialmente, foi solicitado que as pessoas identificassem, de uma lista livre, as tarefas mais importantes para cuidar de si próprias, da sua família e da sua comunidade; as tarefas identificadas foram posteriormente usadas como base para um instrumento de avaliação de funcionamento culturalmente válido. A partir daqui, foram desenvolvidos questionários específicos da comunidade em questão, posteriormente testados no terreno nas vertentes da validade (de conteúdo, facial e de constructo) e da fiabilidade (teste-reste e inter-entrevistadores). Resultados. O estudo resultou na criação e validação de um questionário de funcionamento específico de cultura e gênero capaz de medir efectivamente a capacidade de execução de tarefas importantes do quotidiano,como parte da avaliação de resultados levada a cabo por profissionais da CSP previamente treinados na identificação, suporte e encaminhamento de pessoas com problemas de saúde mental no Líbano. Conclusão. Neste trabalho descreve-se o desenvolvimento de um questionário de funcionamento específico de cultura e gênero, orientado para a avaliação de resultados, num contexto mais lato de um sistema abrangente de avaliação e monitorização de um serviço comunitário. --------------ABSTRACT: Background. Functioning has been recognized as one of the most important key outcomes to assess whether people benefit from interventions aimed to improve their mental health. Functioning refers to how well na individual can complete the tasks and demands for themselves, their family, and their community which are required by them depending on the setting and the culture they live in (e.g. task of cooking and cleaning for women in some cultures). Functioning is highly dependent on culture. Therefore, it has been recommended to develop culture-specific measures of function. Developing instruments locally avoids the problems of limited local relevance and appropriateness associate with adapting western instruments. Although each instrument created in this way is culturally bound, they are “cross cultural” in the sense that each refers to the tasks most important to local people. This approach proves useful for both researchers and aid agencies working in non-western countries. This study describes International Medical Corps’ (IMC) work in Lebanon to create and validate a culture and gender specific functioning questionnaire to assess improvements in people who received treatment interventions for mental health problems at the primary health care (PHC) level. Method. The measure was developed using a method that is an alternative to the existing approach of adapting western function instruments to other cultures and situations; an approach which has been demonstrated as rapid, feasible and which can yield valid and reliable instruments. Function was assessed by first asking local people what tasks are important to care for themselves, their family and their community using free listing, then using these tasks as the basis for a culturally valid function assessment instrument. Community specific function questionnaires based on these tasks were then created, and field-tested for validity using content, face and construct validity methods, and also field tested for reliability using inter-rater and test retest reliability methods. Results. The study resulted in the creation and validation of a culture and gender specific functioning questionnaire that would effectively measure the ability to do tasks important to daily existence, as part of assessing client level outcomes where PHC providers were trained in the identification, management and referral of people with mental health problems in Lebanon. Conclusion. The paper describes a successful pilot for developing culture and gender specific functioning questionnaires that evaluate client level outcomes as part of a more comprehensive system for monitoring and evaluation of community based case management supports and services.

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

Adaptation as a part of system resilience. insights from fish producers organizations in Portugal

Complex problems of globalized society challenge its adaptive capacity. However, it is precisely the nature of these human induced problems that provide enough evidence to show that adaptability may not be on a resilient path. This thesis explores the ambiguity of the idea of adaptation (and its practice) and illustrates the ways in which adaptability contributes to resilience of social ecological systems. The thesis combines a case study and grounded theory approach and develops an analytical framework to study adaptability in resource users’ organizations: from what it depends on and what the key challenges are for resource management and system resilience. It does so for the specific case of fish producers’ organizations (POs) in Portugal. The findings suggest that while ecological and market context, including the type of crisis, may influence the character of fishers’ adaptation within POs (i.e. anticipatory, maladaptive and reactively adaptive), it does not determine it. Instead, it makes agency even more crucial (i.e. leadership, trust and agent’s perceptions in terms of their impact on fishers’ motivation to learn from each other). In sum, it was found that internal adaptation can improve POs’ contribution to fishery management and resilience, but it is not a panacea and may, in some cases, increase system vulnerability to change. Continuous maladaptation of some Portuguese POs points at a basic institutional problem (fish market regime), which clearly reduces fisheries resilience as it promotes overfishing. However, structural change may not be sufficient to address other barriers to Portuguese fishers’ (PO members) adaptability, such as history (collective memory) and associated problematic self-perceptions. The agency (people involved in structures and practices) also needs to change. What and how institutional change and agency change build on one another (e.g. comparison of fisheries governance in Portugal and other EU countries) is a topic to be explored in further research.