Group decision making and Quality-of-information in e-Health systems

Knowledge is central to the modern economy and society. Indeed, the knowledge society has transformed the concept of knowledge and is more and more aware of the need to overcome the lack of knowledge when has to make options or address its problems and dilemmas. One’s knowledge is less based on exact facts and more on hypotheses, perceptions or indications. Even when we use new computational artefacts and novel methodologies for problem solving, like the use of Group Decision Support Systems (GDSSs), the question of incomplete information is in most of the situations marginalized. On the other hand, common sense tells us that when a decision is made it is impossible to have a perception of all the information involved and the nature of its intrinsic quality. Therefore, something has to be made in terms of the information available and the process of its evaluation. It is under this framework that a Multi-valued Extended Logic Programming language will be used for knowledge representation and reasoning, leading to a model that embodies the Quality-of-Information (QoI) and its quantification, along the several stages of the decision-making process. In this way, it is possible to provide a measure of the value of the QoI that supports the decision itself. This model will be here presented in the context of a GDSS for VirtualECare, a system aimed at sustaining online healthcare services.

Multi index model - uma abordagem para aplicação ao mercado accionista em Portugal

O mercado accionista, de uma forma global, tem-se revelado nos últimos tempos uma das principais fontes de incentivo ao mercado de valores mobiliários. O seu impacto junto do público em geral é enorme e a sua importância para as empresas é vital. Interessa, então, perceber como é que a teoria financeira tem obordado a avaliação e a compreensão do processo de formação de uma cotação. Desde os anos 50 até aos dias de hoje, interessa perceber como é que os diferentes autores têm tratado esta abordagem e quais os resultados deste confronto. Interessa sobretudo perceber o abordogem de Stephen Ross e a teoria do arbitragem. Na sequência desta obordagem e com o aparecimento do Multi Index Model, passou a ser possível extimar com maior precisão a evolução da cotação, na medida em que esta estaria dependente de um vasto conjunto de variavéis, que abragem uma vasta área de influência. O contributo de Ross é por isso decisivo. No final interessa reter a melhor técnica e teoria, que defende os interesses do investidor. Face o isto resta, então, saber qual a melhor técnica estatística para proceder a estes estudos empíricos.

Analysis of the domain of applicability of an algorithm for a resources system selection problem for Distributed/Agile/Virtual Enterprises integration

The process of resources systems selection takes an important part in Distributed/Agile/Virtual Enterprises (D/A/V Es) integration. However, the resources systems selection is still a difficult matter to solve in a D/A/VE, as it is pointed out in this paper. Globally, we can say that the selection problem has been equated from different aspects, originating different kinds of models/algorithms to solve it. In order to assist the development of a web prototype tool (broker tool), intelligent and flexible, that integrates all the selection model activities and tools, and with the capacity to adequate to each D/A/V E project or instance (this is the major goal of our final project), we intend in this paper to show: a formulation of a kind of resources selection problem and the limitations of the algorithms proposed to solve it. We formulate a particular case of the problem as an integer programming, which is solved using simplex and branch and bound algorithms, and identify their performance limitations (in terms of processing time) based on simulation results. These limitations depend on the number of processing tasks and on the number of pre-selected resources per processing tasks, defining the domain of applicability of the algorithms for the problem studied. The limitations detected open the necessity of the application of other kind of algorithms (approximate solution algorithms) outside the domain of applicability founded for the algorithms simulated. However, for a broker tool it is very important the knowledge of algorithms limitations, in order to, based on problem features, develop and select the most suitable algorithm that guarantees a good performance.

Bertrand model under incomplete information

We consider a Bertrand duopoly model with unknown costs. The firms' aim is to choose the price of its product according to the well-known concept of Bayesian Nash equilibrium. The chooses are made simultaneously by both firms. In this paper, we suppose that each firm has two different technologies, and uses one of them according to a certain probability distribution. The use of either one or the other technology affects the unitary production cost. We show that this game has exactly one Bayesian Nash equilibrium. We analyse the advantages, for firms and for consumers, of using the technology with highest production cost versus the one with cheapest production cost. We prove that the expected profit of each firm increases with the variance of its production costs. We also show that the expected price of each good increases with both expected production costs, being the effect of the expected production costs of the rival dominated by the effect of the own expected production costs.

The contribution of multitemporal information from multispectral satellite images for automatic land cover classification at the national scale

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems

CardioML: integrating personal cardiac information for ubiquous diagnosis and analysis

The latest medical diagnosis devices enable the performance of e-diagnosis making the access to these services easier, faster and available in remote areas. However this imposes new communications and data interchange challenges. In this paper a new XML based format for storing cardiac signals and related information is presented. The proposed structure encompasses data acquisition devices, patient information, data description, pathological diagnosis and waveform annotation. When compared with similar purpose formats several advantages arise. Besides the full integrated data model it may also be noted the available geographical references for e-diagnosis, the multi stream data description, the ability to handle several simultaneous devices, the possibility of independent waveform annotation and a HL7 compliant structure for common contents. These features represent an enhanced integration with existent systems and an improved flexibility for cardiac data representation.

Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Multi-agent Systems

Decentralised co-operative multi-agent systems are computational systems where conflicts are frequent due to the nature of the represented knowledge. Negotiation methodologies, in this case argumentation based negotiation methodologies, were developed and applied to solve unforeseeable and, therefore, unavoidable conflicts. The supporting computational model is a distributed belief revision system where argumentation plays the decisive role of revision. The distributed belief revision system detects, isolates and solves, whenever possible, the identified conflicts. The detection and isolation of the conflicts is automatically performed by the distributed consistency mechanism and the resolution of the conflict, or belief revision, is achieved via argumentation. We propose and describe two argumentation protocols intended to solve different types of identified information conflicts: context dependent and context independent conflicts. While the protocol for context dependent conflicts generates new consensual alternatives, the latter chooses to adopt the soundest, strongest argument presented. The paper shows the suitability of using argumentation as a distributed decentralised belief revision protocol to solve unavoidable conflicts.

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

Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model

Many-core platforms are an emerging technology in the real-time embedded domain. These devices offer various options for power savings, cost reductions and contribute to the overall system flexibility, however, issues such as unpredictability, scalability and analysis pessimism are serious challenges to their integration into the aforementioned area. The focus of this work is on many-core platforms using a limited migrative model (LMM). LMM is an approach based on the fundamental concepts of the multi-kernel paradigm, which is a promising step towards scalable and predictable many-cores. In this work, we formulate the problem of real-time application mapping on a many-core platform using LMM, and propose a three-stage method to solve it. An extended version of the existing analysis is used to assure that derived mappings (i) guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications, and (ii) provide an environment to perform load balancing for e.g. energy/thermal management, fault tolerance and/or performance reasons.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

The inhibitory activity of synthetic compounds and ions against transporters of multi-drug resistant bacteria

RESUMO: Sessenta e três derivados de hidantoína foram utilizados para avaliar possíveis efeitos de modulação na actividade das bombas de efluxo (BE) na Salmonella NCTC 13349 utilizando um método fluorimétrico semi-automático. Nenhum dos compostos apresentaram actividade anti-bacteriana até concentrações de 240 mg/L. Entre todos os compostos, SZ-7 demonstrou possuir propriedades de modulação de effluxo na presença de glucose. Para testar esta actividade, estirpes de Salmonella resistentes à ciprofloxacina, induzidas a elevados níveis de resistência com sobre-expressão de BE, foram expostas ao SZ-7. Este derivado afectou a susceptibilidade das estirpes à ciprofloxacina. Uma vez que os 63 compostos estudados apresentaram pouco efeito inibitório /cumulativo, apesar de serem conhecidos pelos seus efeitos moduladores de BE-dependentes de iões em eucariotas, foi questionado o papel dos iões na regulação de BE bacterianas, que poderão influenciar a eficácia de novos compostos. Para este estudo, utilizamos a Escherichia coli AG100 como modelo, devido ao extenso conhecimento no que respeita a estrutura e actividade das BE. Devido à importância de iões de cálcio (Ca2+) nos canais de transporte membranar e na actividade de ATPases, a sua actividade na modulação do efluxo foi investigada. De resultados anteriormente obtidos concluiu-se que a pH 5 o efluxo é independente de energia metabólica; contudo, a pH 8 é absolutamente dependente, sendo que o Ca2+ é indispensável para manter a actividade das ATPases bacterianas. A acumulação/effluxo de EtBr pela E. coli AG100 foi determinada na presença/ausência de Ca2+, clorpromazina (inibidor de ligação de Ca2+ a proteínas), e ácido etilenodiamino tetra-acético (quelante de Ca2+). Acumulação/effluxo aumentou a pH 8, contudo o Ca2+ reverte estes efeitos evidenciando a sua importância no funcionamento das BE bacterianas. Em resumo este trabalho colocou em evidência que muitos aspectos bioquímicos e bioenergéticos devem ser tomados em consideração no estudo da resistência bacteriana mediada por BE.------- ABSTRACT: Sixty-three hydantoin derivatives were evaluated for their modulating effects on efflux pump (EP) activity of Salmonella NCTC 13349 utilizing a semi-automatic fluorometric method. None of the compounds presented antibacterial activities at concentrations as high as 240 mg/L. Among all compounds, SZ-7 showed possible efflux modulating activity in the presence of glucose, indicative of a potential EP inhibitor. To verify its potential effects, ciprofloxacin-resistant Salmonella strains, induced to high level resistance with over-expressing EPs, were exposed to SZ-7. This derivative affected the susceptibility of the ciprofloxacin-resistant strains. Since the 63 compounds studied had very low inhibitory/accumulative effects, even though their known for being efficient in modulating ion-driven eukaryotic EPs, we questioned whether ions had a leading role in regulating bacterial EPs, influencing the effectiveness of new compounds. For this study we used Escherichia coli AG100 as a model, due to the extensive knowledge on its EPs structure and activity. Owing the importance of calcium ions (Ca2+) for membrane transport channels and activity of ATPases, the role of Ca2+ was investigated. From previous results we concluded that at pH 5 efflux is independent of metabolic energy; however, at pH 8 it is entirely dependent of metabolic energy and the Ca2+ ions are essential to maintain the activity of bacterial ATPases. Accumulation and efflux of ethidium bromide (EtBr) by E. coli AG100 was determined in the presence and absence of Ca2+, chlorpromazine (inhibitor of Ca2+-binding to proteins), and ethylenediaminetetraacetic acid (Ca2+ chelator). Accumulation of EtBr increased at pH 8; however Ca2+ reversed these effects providing information as to the importance of this ion in the regulation of bacterial EP systems. Overall this work puts in evidence that many biochemical and bioenergetic aspects related to the strains physiology need to be taken into consideration in bacterial drug resistance mediated by EPs.

A simulation model for lean, agile, resilient and green supply chain management: practices and interoperability assessment

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Business model analysis of Mobitto: How to solve the chicken and egg problem of a multi-sided platform?

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

New visualization model for large scale biosignals analysis

Benefits of long-term monitoring have drawn considerable attention in healthcare. Since the acquired data provides an important source of information to clinicians and researchers, the choice for long-term monitoring studies has become frequent. However, long-term monitoring can result in massive datasets, which makes the analysis of the acquired biosignals a challenge. In this case, visualization, which is a key point in signal analysis, presents several limitations and the annotations handling in which some machine learning algorithms depend on, turn out to be a complex task. In order to overcome these problems a novel web-based application for biosignals visualization and annotation in a fast and user friendly way was developed. This was possible through the study and implementation of a visualization model. The main process of this model, the visualization process, comprised the constitution of the domain problem, the abstraction design, the development of a multilevel visualization and the study and choice of the visualization techniques that better communicate the information carried by the data. In a second process, the visual encoding variables were the study target. Finally, the improved interaction exploration techniques were implemented where the annotation handling stands out. Three case studies are presented and discussed and a usability study supports the reliability of the implemented work.