Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

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

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

Evaluation of a volunteered geographical information trust measure in the case of OpenStreetMap

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

Health care needs and resources distribution: How to allocate financial resources in primary care trust?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Empirically testing the dimensions of consumer trust in e-commerce

In the fields of marketing and general management, many are the contributions of literature relating trust and e‐commerce. Trust is perceived as an issue that concerns the consumers’ intention to purchase. As so, in this research, a path model is empirically tested in order to develop solutions for Internet vendors on how to deal with consumers and increase their trust. The path model measures how the dimensions of trust, named as competence, integrity and benevolence positively influence the overall trust of the consumers and at the same time how the sources of trust – consumer characteristics, firm characteristics, website infrastructure and interactions influence those dimensions. The data used to test the model was collected in Portugal, through 365 valid cases. Findings revealed that consumers, which have high level of overall trust, are more likely to intent to purchase online.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Trust, alliance management capability and the alliance management function: A comparative analysis of Portuguese SMEs

Strategic alliances represent a key driver for internationalization and growth, being the purpose of this work project to better understand the intertwined relationship between trust and the existence of an alliance management position. Previous research supports the positive impact of such position in stock market returns. However, little attention has been given to the impact of such position on the level of trust in the collaborative arrangement, which is deemed to be a key driver for alliance success. A qualitative comparative case-study of three Portuguese SMEs is used to draw conclusions from the literature to real life business cases and it demonstrates the positive impact of an alliance management position on trust.

Critérios de adequação em ecocardiografia e a repercussão clinica no outcome do paciente: a realidade do Lister Hospital - East and North Hertfordshire NHS Trust, Reino Unido

RESUMO - Introdução: Os critérios de adequação (Appropriate Use Criteria - AUC) em Ecocardiografia Transtorácica (ETT) foram publicados com o intuito de permitir o uso racional da ecocardiografia, de influenciar decisões clinicas, prestar cuidados de saúde de elevada qualidade e melhorar o outcome dos pacientes. A relação entre a adequação destes e o seu impacto clinico ainda não se encontra largamente estudada. Objectivo: Neste estudo pretendeu-se avaliar o grau de adesão aos AUC em ETT, em diferentes contextos de atendimento e de acordo com diferentes especialidades, bem como o impacto clínico do exame no outcome do paciente, num hospital público terciário no Reino Unido. Metodologia: 859 ETTs realizados consecutivamente no mês de Janeiro de 2014, foram revistos por forma a avaliar a sua adequação e foram classificados como adequados, incertos ou inadequados de acordo com as guidelines de 2011. De seguida os registos dos pacientes foram revistos com o intuito de avaliar o impacto clinico dos ETTs e foram classificados de acordo com uma das 3 seguintes categorias: (1) alteração ativa dos cuidados – por continuação ou descontinuação dos cuidados como resultado do ETT, (2) continuação dos cuidados – sem continuação ou descontinuação dos cuidados, mas comunicação ao paciente dos resultados do ETT, (3) sem alteração dos cuidados – os cuidados ao paciente já estavam a ser aplicados previamente ao resultado do ETT, causa de sintomas já estabelecida no momento da requisição para exame, exame prévio explicativo dos sintomas e sem indicação aguda para novo ETT, terapêutica não alterada ou inexistência de documentação relativa aos achados ecocardiográficos. Pacientes cujos registos não se encontravam disponíveis foram excluídos (259). Todas as classificações foram avaliadas por uma cardiologista independente, sem relação direta com o estudo. Resultados: A nossa amostra apresentou uma média de idades de 63 ± 17 anos, com uma equilíbrio de géneros. A maioria dos exames foi solicitada em contexto de ambulatório (81,4%), pela Cardiologia (50,3%) e pela Medicina Geral e Familiar (13,4%). Relativamente aos achados ecocardiográficos dos exames, 7,6% demonstraram disfunção sistólica do ventrículo esquerdo moderada a grave, 4,0% revelaram doença valvular grave e 5,1% hipertensão pulmonar significativa. Em relação à adequação dos pedidos para ETTs, 76,5% foram adequados, 7,1% inadequados e 12,6% incertos. Relativamente ao impacto clínico dos ETTs, 42,7% dos exames revelaram uma alteração ativa nos cuidados, 15,6% mostraram uma continuação dos cuidados e 11,5% demonstraram não haver alteração nos cuidados. A idade (P=0,05), o contexto de atendimento (P<0,01) e o pedido realizado pela especialidade medicina geral e familiar (MGF) (P=0,02) foram os preditores mais importantes de uma alteração ativa nos cuidados. Numa perspectiva de prestação de cuidados a uma população mais idosa, o contexto de atendimento, a presença de achados ecocardiográficos significativos e a não alteração dos cuidados apresentam uma relação significativa com a idade. Conclusões: Os dados demonstram que quase 8 em cada 10 ETTs foram considerados adequados e que 4 em cada 10 exames não apresentaram alteração ativa dos cuidados.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

A trust model for cloud computing environment

This paper presents a proposal for a management model based on reliability requirements concerning Cloud Computing (CC). The proposal was based on a literature review focused on the problems, challenges and underway studies related to the safety and reliability of Information Systems (IS) in this technological environment. This literature review examined the existing obstacles and challenges from the point of view of respected authors on the subject. The main issues are addressed and structured as a model, called "Trust Model for Cloud Computing environment". This is a proactive proposal that purposes to organize and discuss management solutions for the CC environment, aiming improved reliability of the IS applications operation, for both providers and their customers. On the other hand and central to trust, one of the CC challenges is the development of models for mutual audit management agreements, so that a formal relationship can be established involving the relevant legal responsibilities. To establish and control the appropriate contractual requirements, it is necessary to adopt technologies that can collect the data needed to inform risk decisions, such as access usage, security controls, location and other references related to the use of the service. In this process, the cloud service providers and consumers themselves must have metrics and controls to support cloud-use management in compliance with the SLAs agreed between the parties. The organization of these studies and its dissemination in the market as a conceptual model that is able to establish parameters to regulate a reliable relation between provider and user of IT services in CC environment is an interesting instrument to guide providers, developers and users in order to provide services and secure and reliable applications.

Tribunais nacionais e tutela jurisdicional efetiva: da cooperação à integração judiciária no contencioso da união europeia

Tese de Doutoramento em Ciências Jurídicas (área de especialização em Ciências Jurídicas Públicas).

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

On trust, knowledge, sharing and innovation

Organisations continuously innovate, create, and are competitive if they improve their performance through continuous intellectual capital development, a key resource for value creation and organisational performance driver. Apart from sustaining competitive advantage, intellectual capital is increasingly important due to its ability to increase shareholder value, especially in public organisations. Employee learning, talent development, and knowledge creation allow the organisation to generate innovative ideas due to the quickness of knowledge obsolescence. The organisation's dynamic capabilities create and re-ignite organisational competencies for business sustainability being co-ordinated by well-structured organisational strategic routines ensuring continuous value creation streams into the business. This chapter focuses on the relationship between notions of knowledge sharing and trust in organisations. Lack of trust can impact negatively organisational knowledge sharing, dependent on trust, openness, and communication. The research sample included graduates and postgraduate students from two universities in Portugal. The findings revealed different perceptions according to the age group.