Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Public knowledge and perceptions of connected health

Rationale, aims and objectives: This study aims to examine the public's knowledge and perceptions of connected health (CH).

Methods: A structured questionnaire was administered by face-to-face interview to an opportunistic sample of 1003 members of the public in 11 shopping centres across Northern Ireland (NI). Topics included public knowledge of CH, opinions about who should provide CH and views about the use of computers in health care. Multivariable analyses were conducted to assess respondents' willingness to use CH in the future.

Results: Sixty-seven per cent of respondents were female, 31% were less than 30 years old and 22% were over 60 years. Most respondents had never heard of CH (92%). Following a standard definition, the majority felt CH was a good idea (≈90%) and that general practitioners were in the best position to provide CH; however, respondents were equivocal about reductions in health care professionals' workload and had some concerns about the ease of device use. Factors positively influencing willingness to use CH in the future included knowledge of someone who has a chronic disease, residence in NI since birth and less concern about the use of information technology (IT) in health care. Those over 60 years old or who felt threatened by the use of IT to store personal health information were less willing to use CH in the future.

Conclusion: Increased public awareness and education about CH is required to alleviate concerns and increase the acceptability of this type of care.

Detecting the work statistics through Ramsey-like interferometry

Out-of-equilibrium statistical mechanics is attracting considerable interest due to the recent advances in the control and manipulations of systems at the quantum level. Recently, an interferometric scheme for the detection of the characteristic function of the work distribution following a time-dependent process has been proposed [L. Mazzola et al., Phys. Rev. Lett. 110 (2013) 230602]. There, it was demonstrated that the work statistics of a quantum system undergoing a process can be reconstructed by effectively mapping the characteristic function of work on the state of an ancillary qubit. Here, we expand that work in two important directions. We first apply the protocol to an interesting specific physical example consisting of a superconducting qubit dispersively coupled to the field of a microwave resonator, thus enlarging the class of situations for which our scheme would be key in the task highlighted above. We then account for the interaction of the system with an additional one (which might embody an environment), and generalize the protocol accordingly.

Challenges of managing medications for older people at transition points of care

In clinical practice, pharmacists play a very important role in identifying and correcting medication discrepancies as older patients move across transition points of care. With increasing complexity of health care needs of older people, these discrepancies are likely to increase. The major concern with identifying and correcting medication discrepancies is that medication reconciliation is considered a retrospective problem – that is, dealing with medication discrepancies after they have occurred. It is argued here that a more proactive stance should be taken where doctors, nurses and pharmacists collectively work together to prevent medication discrepancies from happening in the first place. Improved involvement of patients and family members will help to facilitate better management of medications across transition points of care. Efficient use of information technology aids, such as electronic medication reconciliation tools, should also assist with organizational systems problems associated with the working culture, heavy workloads, and staff and skill mix of health professionals.

A telematic platform towards regional connected healthcare

As tecnologias de informação e comunicação na área da saúde não são só um instrumento para a boa gestão de informação, mas antes um fator estratégico para uma prestação de cuidados mais eficiente e segura. As tecnologias de informação são um pilar para que os sistemas de saúde evoluam em direção a um modelo centrado no cidadão, no qual um conjunto abrangente de informação do doente deve estar automaticamente disponível para as equipas que lhe prestam cuidados, independentemente de onde foi gerada (local geográfico ou sistema). Este tipo de utilização segura e agregada da informação clínica é posta em causa pela fragmentação generalizada das implementações de sistemas de informação em saúde. Várias aproximações têm sido propostas para colmatar as limitações decorrentes das chamadas “ilhas de informação” na saúde, desde a centralização total (um sistema único), à utilização de redes descentralizadas de troca de mensagens clínicas. Neste trabalho, propomos a utilização de uma camada de unificação baseada em serviços, através da federação de fontes de informação heterogéneas. Este agregador de informação clínica fornece a base necessária para desenvolver aplicações com uma lógica regional, que demostrámos com a implementação de um sistema de registo de saúde eletrónico virtual. Ao contrário dos métodos baseados em mensagens clínicas ponto-a-ponto, populares na integração de sistemas em saúde, desenvolvemos um middleware segundo os padrões de arquitetura J2EE, no qual a informação federada é expressa como um modelo de objetos, acessível através de interfaces de programação. A arquitetura proposta foi instanciada na Rede Telemática de Saúde, uma plataforma instalada na região de Aveiro que liga oito instituições parceiras (dois hospitais e seis centros de saúde), cobrindo ~350.000 cidadãos, utilizada por ~350 profissionais registados e que permite acesso a mais de 19.000.000 de episódios. Para além da plataforma colaborativa regional para a saúde (RTSys), introduzimos uma segunda linha de investigação, procurando fazer a ponte entre as redes para a prestação de cuidados e as redes para a computação científica. Neste segundo cenário, propomos a utilização dos modelos de computação Grid para viabilizar a utilização e integração massiva de informação biomédica. A arquitetura proposta (não implementada) permite o acesso a infraestruturas de e-Ciência existentes para criar repositórios de informação clínica para aplicações em saúde.

Analysis, modeling, design and optimization of future communications systems: from theory to practice

Esta tese descreve uma framework de trabalho assente no paradigma multi-camada para analisar, modelar, projectar e optimizar sistemas de comunicação. Nela se explora uma nova perspectiva acerca da camada física que nasce das relações entre a teoria de informação, estimação, métodos probabilísticos, teoria da comunicação e codificação. Esta framework conduz a métodos de projecto para a próxima geração de sistemas de comunicação de alto débito. Além disso, a tese explora várias técnicas de camada de acesso com base na relação entre atraso e débito para o projeto de redes sem fio tolerantes a atrasos. Alguns resultados fundamentais sobre a interação entre a teoria da informação e teoria da estimação conduzem a propostas de um paradigma alternativo para a análise, projecto e optimização de sistemas de comunicação. Com base em estudos sobre a relação entre a informação recíproca e MMSE, a abordagem descrita na tese permite ultrapassar, de forma inovadora, as dificuldades inerentes à optimização das taxas de transmissão de informação confiáveis em sistemas de comunicação, e permite a exploração da atribuição óptima de potência e estruturas óptimas de pre-codificação para diferentes modelos de canal: com fios, sem fios e ópticos. A tese aborda também o problema do atraso, numa tentativa de responder a questões levantadas pela enorme procura de débitos elevados em sistemas de comunicação. Isso é feito através da proposta de novos modelos para sistemas com codificação de rede (network coding) em camadas acima da sua camada física. Em particular, aborda-se a utilização de sistemas de codificação em rede para canais que variam no tempo e são sensíveis a atrasos. Isso foi demonstrado através da proposta de um novo modelo e esquema adaptativo, cujos algoritmos foram aplicados a sistemas sem fios com desvanecimento (fading) complexo, de que são exemplos os sistemas de comunicação via satélite. A tese aborda ainda o uso de sistemas de codificação de rede em cenários de transferência (handover) exigentes. Isso é feito através da proposta de novos modelos de transmissão WiFi IEEE 801.11 MAC, que são comparados com codificação de rede, e que se demonstram possibilitar transferência sem descontinuidades. Pode assim dizer-se que esta tese, através de trabalho de análise e de propostas suportadas por simulações, defende que na concepção de sistemas de comunicação se devem considerar estratégias de transmissão e codificação que sejam não só próximas da capacidade dos canais, mas também tolerantes a atrasos, e que tais estratégias têm de ser concebidas tendo em vista características do canal e a camada física.

A adoção de social media por museus como uma ferramenta de comunicação : proposta de um modelo para o desenho de estratégias de comunicação

A evolução da Internet, e em especial da Web, originou alterações significativas na forma como o indivíduo comunica, conduzindo até que a Web 2.0 tenha mudado o ponto gravitacional da comunicação online, fazendo que o enfoque passasse a ser no acesso às pessoas e não apenas no acesso à informação. Os social media permitem que os indivíduos comuniquem e interajam de formas inovadoras e colaborativas, alterando definitivamente a forma como estes se relacionam e, como o presente estudo pretende, em parte, demonstrar, as instituições culturais e museológicas não são indiferentes a esta mudança de paradigma comunicacional. As exigências e transformações da sociedade atual, intimamente ligada às tecnologias da informação e comunicação, têm levantado novas questões às instituições museológicas, conduzindo a que os museus enfrentem novos desafios de transformação do seu papel social, potenciando o seu cariz eminentemente comunicacional através da utilização das ferramentas Web 2.0 e social media. Os social media possibilitam a evolução do papel do museu, de um fornecedor de informação, para um potenciador de conhecimento, dando aos seus visitantes a possibilidade de participar e explorar, de forma dinâmica e ativa, criando a base para a conceção de novas perspetivas e visões sobre o museu e o objeto museológico. Os social media oferecem novas formas de colaboração com o público e, desta forma, permite que o museu conheça melhor a sua audiência, podendo ajustar-se na gestão e curadoria, com a contribuição dessas novas ideias e visões. No entanto, o desafio, para o sector museológico, da utilização dessas ferramentas com base em estratégias de comunicação adequadas, representa uma tarefa que se mostra por vezes complexa pela inexistência de diretrizes de aplicação e medição de resultados nos social media. Este trabalho concentra-se num estudo com vista à proposta de um conjunto de diretrizes que guiem o design de estratégias de comunicação do museu, através dos social media. Para tal, estudou-se a relação existente entre os museus e os social media, tanto a nível nacional como a nível internacional, reconhecendo o tipo de utilização que fazem dos social media e caracterizando que tipo de conteúdos e quais as ferramentas utilizadas. Deste estudo, entrevistas e outras observações, identificou-se projetos pioneiros na utilização de blogues, wikis, youtube, redes sociais, etc, e concebeu-se, de forma detalhada, modelo orientador da utilização dos social media como ferramenta de comunicação. Parte integrante deste estudo foi a aplicação prática destas diretrizes a museus no concreto, sendo possível a aplicação, medição de resultados e ajustes ao modelo desenvolvido. Os social media apoiam o museu a cumprir o seu papel e função social, aproximando-o do público, cada vez mais diverso e heterogéneo, tornando o online como uma forma essencial de comunicação museológica.

Developing Web Design Skills Through Group Critiquing and Feedback.

The aim of this quasi-experimental research study was to investigate whether guided small-group discussions that involved explaining, analysing or justifying design and followed a modeling session from the teacher could improve students' creativity in web design. The convenience sample comprised of 37 third year students of the ""Publication Design and Hypermedi Technology"" program at John Abbott College in Sainte-Anne-de-Bellvue, Quebec who had enrolled in the Web Design course offered in the Fall semester of 2011. The primary instrument of this study was a set of two assigments for the course. A traditional teaching method was used during the first assignment and a small-group teaching strategy was implemented during the second one. Another instrument used in this research was a questionnaire on willingness to participate in teamwork. The last instrument of this study was a questionnaire on the type of intelligences that students possessed. It is hoped that the knowledge gathered from the study will add to the information about group-work activities and critiquing in particular.

Radiological protection and nuclear engineering studies in multi-MW target systems

Tese de doutoramento, Física, Universidade de Lisboa, Faculdade de Ciências, 2014

Consolidação de conceitos de bases de dados com recurso à metodologia de aprendizagem baseada em projeto

Relatório da prática de ensino supervisionada, Mestrado em Ensino da Informática, Universidade de Lisboa, 2014

Open-domain web-based multiple document : question answering for list questions with support for temporal restrictors

Tese de doutoramento, Informática (Ciências da Computação), Universidade de Lisboa, Faculdade de Ciências, 2015

Brazil's Emerging Roadmap for Internet Governance

Thesis (Master's)--University of Washington, 2014

Literacia de informação na Polícia de Segurança Pública

Orientadora: Doutora Anabela Mesquita Teixeira Sarmento