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

Sistema de deteção de arritmias

Esta dissertação apresenta o trabalho realizado no âmbito da unidade curricular de Tese/Dissertação (TEDI), do 2º ano, do Mestrado em Engenharia Eletrotécnica e de Computadores no ramo de Automação e Sistemas. O principal objetivo desta dissertação consiste no desenvolvimento de um sistema que permita efetuar a deteção de um determinado número de anomalias num sinal eletrocardiográfico. O coração é um dos órgãos mais importantes do corpo humano. É ele que recebe e bombeia o sangue pelo organismo. Isto é, recebe sangue pobre em oxigénio, encaminha-o para os pulmões onde será enriquecido em oxigénio. O sangue enriquecido em oxigénio é então encaminhado novamente para o coração que será enviado para todas as partes do corpo humano. O eletrocardiograma desempenha um papel fundamental de modo a diagnosticar eventuais anomalias no correto funcionamento do coração. Estas anomalias podem dever-se a diversos fatores como tabaco, colesterol, pressão sanguínea alta ou diabetes entre outros. As anomalias associadas ao ritmo cardíaco são denominadas de arritmias. As arritmias são fundamentalmente originadas pela alteração da frequência ou do ritmo cardíaco. Utilizando a lógica difusa, pretendeu-se desenvolver um sistema que fizesse a identificação de um determinado número de tipos de batimentos entre os quais: o bloqueio do ramo esquerdo (LBBB), bloqueio do ramo direito (RBBB), contração prematura ventricular (VPC) e contração prematura auricular (APC). Todos os desenvolvimentos efetuados, a nível de programação, são neste documento relatados de forma a constituírem um possível guia para a utilização deste tipo de sistemas. Mais ainda, descrevem-se nele toda a pesquisa efetuada e as alternativas de desenvolvimento selecionadas. O Sistema de Deteção de Arritmias (SDA) desenvolvido mostrou-se eficaz desde que o utilizador consiga identificar corretamente os parâmetros que lhe são pedidos. A interface gráfica desenvolvida permitiu também uma maior facilidade durante a análise do sinal eletrocardiográfico.

Health care marketing: the theory of planned behavior applied to patients' choise between private and public providers in the portuguese health care system.

Dissertation submitted in partial fulfillment of the requirements for degree of Master in Statistics and Information Management.

Depositions of rulers in the later middle ages: on the theory of th "useless ruler" and its practical utilization

pp. 157-168

Intervenção centrada no brincar: um estudo de caso em criança institucionalizada

Dentro dos vários processos de Intervenção Precoce, elegemos o brincar, enquanto ato sempre presente na criança. Na revisão de literatura verifica-se uma quase inexistência de estudos de Intervenções centradas no jogo em crianças institucionalizadas desde os 0 anos. Assim, partimos de duas questões fulcrais: quais os riscos associados à institucionalização prolongada e precoce, e de que modo o jogo e o brincar potenciam o desenvolvimento e a aprendizagem da criança em risco biológico e sociocultural. O presente estudo tem como objetivo promover, através de um estudo de caso, a relação do lúdico com o desenvolvimento e a aprendizagem, imprescindíveis numa criança em situação de institucionalização. Partimos da problemática da institucionalização infantil, expondo os diversos trabalhos apresentados pela revisão bibliográfica relativamente aos riscos associados à condição de institucionalização. Os diversos estudos sublinham que, efetivamente, não será a única solução para as crianças em risco, apontando para a legislação atual que prevê o acolhimento familiar como solução viável e mais ajustada às necessidades das crianças. Apresentamos ainda a teoria do desenvolvimento de Vygotsky como fundamento teórico-prático deste trabalho de intervenção centrada no brincar.

Carbon key-properties for microcystin adsorption in drinking water treatment: structure or surface chemistry?

Dissertação para Obtenção de Grau de Mestre em Engenharia Química e Bioquímica

“The past is a foreign country”? Acculturation theory and the anthropology of globalization

Etnográfica, 15 (2): 313-336

Coalition of distributed generation units to Virtual Power Players - a game theory approach

Smart Grids (SGs) have emerged as the new paradigm for power system operation and management, being designed to include large amounts of distributed energy resources. This new paradigm requires new Energy Resource Management (ERM) methodologies considering different operation strategies and the existence of new management players such as several types of aggregators. This paper proposes a methodology to facilitate the coalition between distributed generation units originating Virtual Power Players (VPP) considering a game theory approach. The proposed approach consists in the analysis of the classifications that were attributed by each VPP to the distributed generation units, as well as in the analysis of the previous established contracts by each player. The proposed classification model is based in fourteen parameters including technical, economical and behavioural ones. Depending of the VPP strategies, size and goals, each parameter has different importance. VPP can also manage other type of energy resources, like storage units, electric vehicles, demand response programs or even parts of the MV and LV distribution network. A case study with twelve VPPs with different characteristics and one hundred and fifty real distributed generation units is included in the paper.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

Competitive paths for methanol decomposition on ruthenium: a DFT study

Methanol decomposition is one of the key reactions in direct methanol fuel cell (DMFC) state-of-the-art technology, research, and development. However, its mechanism still presents many uncertainties, which, if answered, would permit us to refine the manufacture of DMFCs. The mechanism of methanol decomposition on ruthenium surfaces was investigated using density functional theory and a periodic supercell approach. The possible pathways, involving either initial C−H, C−O or O−H scission, were defined from experimental evidence regarding the methanol decomposition on ruthenium and other metallic surfaces. The study yielded the O−H scission pathway as having both the most favorable energetics and kinetics. The computational data, which present a remarkable closeness with the experimental results, also indicate methanol adsorption, the starting point in all possible pathways, to be of weak nature, implying a considerable rate of methanol desorption from the ruthenium, compromising the reaction.

Key-CRDT stores

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

Do outro lado da sala... Relatório de Estágio da Prática Educativa

Este relatório de estágio integra-se na unidade curricular de Integração Curricular: Prática Educativa e Relatório de Estágio, inserida no segundo ano do Mestrado em Ensino do 1.º e 2.º Ciclo do Ensino Básico. Neste sentido, tem como propósito dar a conhecer o percurso realizado pela mestranda nos dois contextos educativos onde desenvolveu a sua Prática Educativa Supervisionada. Sendo a Prática o momento em que teoria e práxis se articulam, evidencia, num primeiro momento, o enquadramento académico e profissional que deve nortear a ação do professor. Inicia-se, assim, pelos pressupostos legais que fundamentam a formação de professores e a Prática Educativa Supervisionada, seguindo-se algumas considerações sobre a dimensão profissional e pressupostos teóricos e práticos que devem orientar o professor na sua ação, destacando-se, neste sentido, a reflexão e a investigação nos diferentes momentos da ação docente. Descreve, num segundo momento, o contexto educativo onde a mestranda se integrou, seguindo-se uma análise reflexiva e devidamente fundamentada das experiências educativas vivenciadas em par pedagógico, nos dois contextos, nomeadamente, a Escola Eb1/Ji dos Miosótis e a Escola Eb2/3 Pêro Vaz de Caminha. Todo este trabalho de cooperação se realizou em par pedagógico, possibilitando a construção de conhecimentos e de vivências partilhadas que foram, sem dúvida, enriquecedoras. Este relatório de estágio pretende evidenciar o crescimento da mestranda a nível pessoal e profissional e apresenta-se como o culminar de uma etapa marcante na sua vida, a formação inicial de professores. Fica, desta forma, a certeza de que o verdadeiro caminho se inicia agora, um caminho esse que será certamente repleto de novos desafios e aprendizagens.

O contrato psicológico na expatriação

Nos últimos anos, o número de expatriados tem apresentado uma tendência de crescimento a nível mundial. Desta forma, a gestão de expatriados, que integra o subsistema da gestão internacional de recursos humanos, passa a ter uma atenção renovada e tem vindo a crescer enquanto área de intervenção de gestão de recursos humanos. Por sua vez, o contrato psicológico tem sido visto, cada vez mais, como um fator relevante na explicação das relações laborais e o número de estudos em torno desta temática tem aumentado. O sucesso da expatriação é diretamente influenciado pelo contrato psicológico e depende, em grande parte, da forma como são desenvolvidas as práticas de GRH (Homem & Tolfo, 2008). Desta forma, é essencial compreender a reação dos trabalhadores perante a mudança (Bligh & Carsten, 2005; Shield, Thorpe, & Nelson, 2002), uma vez que o comportamento de resposta aos mesmos pode ser um contributo para marcar a diferença decisiva entre o sucesso ou o fracasso da missão internacional. Neste mesmo contexto, assiste-se a uma crescente atenção sobre o contributo que o Contrato Psicológico pode ter em contextos de incerteza. O individuo, enquanto trabalhador de uma organização que decide aceitar uma missão internacional e ir viver para outro país, tem necessidade de se enquadrar num relacionamento contínuo e motivador com a entidade empregadora. A noção do contrato psicológico torna-se fundamental para o entendimento das relações de trabalho, a partir das perceções das pessoas envolvidas. Muitos dos aspetos destes relacionamentos são implícitos (não escritos) o que pode provocar diferentes interpretações sobre as expectativas, promessas e obrigações entre partes. Vários autores defendem que o contrato psicológico é um meio fundamental na compreensão e gestão das atitudes e comportamentos dos indivíduos nas organizações (Bunderson, 2001; Kraimer, Wayne, Liden, & Sparrow, 2005; Lemire & Rouillard, 2005). O objetivo deste trabalho é conhecer o estado do contrato psicológico nos expatriados: antes da missão, após a fase de adaptação ao país de destino e na repatriação. Foi utilizada a metodologia qualitativa e para tal, foi aplicada uma entrevista individual semiestruturada e um questionário sociográfico às pessoas que se encontravam, à data, expatriadas. No total foram realizadas dez entrevistas e a análise das entrevistas foi efetuada através da Grounded Theory. Os resultados sugerem que há apenas cumprimento do contrato psicológico na fase da preparação da missão internacional, havendo, por outro lado, incumprimento do contrato psicológico durante a expatriação e na repatriação, de acordo com a perceção que os expatriados têm acerca do fim da expatriação. No entanto, a maioria dos expatriados entrevistados avalia positivamente a experiência da expatriação, apesar de as organizações parecerem ter apenas algumas regras estabelecidas de suporte ao expatriado, nomeadamente suporte logístico e financeiro, e não disporem de um programa completo e aprofundado de suporte à gestão da expatriação. Os resultados sugerem ainda que é essencial que as organizações estimulem a comunicação com os expatriados e fomentem o suporte que deve ser constante e intrínseco a todas as fases da expatriação, a fim de evitar a sensação de “abandono”.

Fiscal decentralisation and economic theory

There is no complete overview or discussion of the literature of the economics of federalism and fiscal decentralization, even though scholarly interest in the topic has been increasing significantly over recent years. This paper provides a general, brief but comprehensive overview of the main insights from the literature on fiscal federalism and decentralization. In doing so, literature on fiscal federalism and decentralization is grouped into two main approaches: “first generation of theories” and “second generation of theories”.

TWO NEW RECORDS OF Isomyia paurogonita FANG AND FAN, 1986 AND Sumatria latifrons Malloch, 1926 (DIPTERA: CALLIPHORIDAE) FROM NORTHERN THAILAND, WITH REVISED KEY TO THE SPECIES OF Isomyia

During the annual fly survey at Doi Nang Kaew in Doi Saket District, Chiang Mai Province of Thailand in 2011, Isomyia paurogonitaFang & Fan, 1986 (Diptera: Calliphoridae) and Sumatria latifrons Malloch, 1926 (Diptera: Calliphoridae) were collected for the first time in Thailand. They are the rare species of the subfamily Rhiniinae (tribe Cosminini). Prior to this finding, fifteen species of Isomyia and two species of Sumatriawere recorded from Thailand. Therefore, 96 blow fly species have been found in this country. These new locality records of both flies are very important for further research on their biology and ecology in Thailand.