Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

Web Design como ferramenta de Comunicação Digital

WEB DESIGN COMO FERRAMENTA DE COMUNICAÇÃO DIGITAL: DESIGN E DESENVOLVIMENTO DE SITES, UTILIZANDO O GESTOR DE CONTEÚDOS WORDPRESS; DESIGN DE CONTEÚDOS VISUAIS PARA O FACEBOOK DE UMA MARCA

Effects of an exercise program on the functional capacity of patients with chronic Chagas' heart disease, evaluated by cardiopulmonary testing

INTRODUCTION: Despite all efforts to restrict its transmission, Chagas' disease remains a severe public health problem in Latin America, affecting 8-12 million individuals. Chronic Chagas' heart disease, the chief factor in the high mortality rate associated with the illness, affects more than half a million Brazilians. Its evolution may result in severe heart failure associated with loss of functional capacity and quality of life, with important social and medical/labor consequences. Many studies have shown the beneficial effect of regular exercise on cardiac patients, but few of them have focused on chronic Chagas' heart disease. METHODS: This study evaluated the effects of an exercise program on the functional capacity of patients with chronic Chagas' disease who were treated in outpatient clinics at the Evandro Chagas Institute of Clinical Research and the National Institute of Cardiology, Rio de Janeiro, Brazil. The exercises were performed 3 times a week for 1 h (30 min of aerobic activity and 30 min of resistance exercises and extension) over 6 months in 2010. Functional capacity was evaluated by comparing the direct measurement of the O2 uptake volume (VO2) obtained by a cardiopulmonary exercise test before and after the program (p < 0.05). RESULTS: Eighteen patients (13 females) were followed, with minimum and maximum ages of 30 and 72 years, respectively. We observed an average increase of VO2peak > 10% (p = 0.01949). CONCLUSIONS: The results suggest a statistically significant improvement in functional capacity with regular exercise of the right intensity.

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.

Desenvolvimento de aplicações de Sistemas de Informação Geográfica WEB para gestão de resíduos urbanos.

A gestão do território contribui para o desenvolvimento socioeconómico e para o alcance de necessidades coletivas. A gestão de recursos, por sua vez, é uma das vias para atingir tais propósitos, convocando agentes, entidades e serviços para a administração de um território. O crescimento social e económico e a expansão urbana das últimas décadas tiveram um impacto significativo no consumo de recursos e na decorrente produção de resíduos, fazendo da gestão dos mesmos um importante meio para a gestão de recursos, com contributo para a gestão do território. Neste contexto, surgem serviços de gestão de resíduos urbanos, que dependem de informação geográfica referente ao seu sistema e ao do ambiente territorial em que o mesmo se insere. Face ao dinamismo e às relações entre diversos fenómenos e elementos presentes no referido ambiente, o processo de gestão de resíduos urbanos torna-se um desafio cada vez mais exigente e heterogéneo, em matéria de decisão espacial. Por esse motivo, é indispensável possuir ferramentas que integrem vários dados e que possibilitem abordagens metodológicas orientadas para uma intervenção territorial mais realista. Para tal, existem diversos métodos e técnicas, assentes em Tecnologias de Informação e Comunicação, com uma considerável adesão a soluções de Sistemas de Informação Geográfica, dada a necessidade de manipular informação com carácter espacial referente à gestão de resíduos urbanos. No quadro atual da produção e da prestação de serviços através de rede digital, as plataformas Web desses Sistemas de Informação Geográfica constituem-se como um instrumento para gestão de resíduos. Considerando o exemplo do Gabinete de Estudos, Planeamento e Controlo, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, no presente Trabalho de Projeto, pretende-se avaliar a situação atual das metodologias e dos recursos tecnológicos que um serviço deste tipo possui, percebendo o contributo que aplicações de Sistemas de Informação Geográfica Web podem ter para a concretização da sua missão, na conjuntura atual da tecnologia, da informação e da comunicação na Administração Pública. Assim, o presente Trabalho de Projeto propõe também um modelo de desenvolvimento das referidas aplicações, assentes em Sistemas de Informação Geográfica Desktop e Web de código aberto, livres e gratuitos. As aplicações abarcam informação interna, referente ao sistema de resíduos urbanos, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, e informação externa diversa, referente ao seu território de intervenção. A integração e relação da informação interna e externa, com resultados nas aplicações, são apresentadas como possíveis meios de assistência aos procedimentos efetuados no Gabinete de Estudos, Planeamento e Controlo e à prestação efetiva do serviço de gestão de resíduos urbanos. Igualmente, é possível inferir a versatilidade, a aplicabilidade e o potencial de aplicações de Sistemas de Informação Geográfica, em diversas vertentes e escalas de gestão do território.

Correlation between microdilution, Etest, and disk diffusion methods for antifungal susceptibility testing of fluconazole against Candida sp. blood isolates

INTRODUCTION: Antifungal susceptibility testing assists in finding the appropriate treatment for fungal infections, which are increasingly common. However, such testing is not very widespread. There are several existing methods, and the correlation between such methods was evaluated in this study. METHODS: The susceptibility to fluconazole of 35 strains of Candida sp. isolated from blood cultures was evaluated by the following methods: microdilution, Etest, and disk diffusion. RESULTS: The correlation between the methods was around 90%. CONCLUSIONS: The disk diffusion test exhibited a good correlation and can be used in laboratory routines to detect strains of Candida sp. that are resistant to fluconazole.

WEB TV. Uma proposta na área das ciências da comunicação

Este relatório descreve as fases essenciais do desenvolvimento de uma proposta para uma Web TV num contexto universitário e sugere um modelo multimédia baseado num princípio de folksonomia. Este projecto pretende ser uma mais valia na forma como o trabalho académico é divulgado e partilhado e visa ser um instrumento que dá visibilidade ao trabalho desenvolvido numa instituição académica, dinamiza a relação entre alunos e professores e torna possível a publicação dos mesmos para o publico em geral. Foi desenvolvido a pensar nas especificidades do Departamento de Ciências da Comunicação (DCC) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (FCSH-UNL), sobretudo ao nível dos conteúdos de media produzidos nos ateliers e cadeiras práticas. Modelo que pode ser aplicado a outras instituições em contextos idênticos. A Web TV representa, no universo dos média, um conjunto muito alargado de aplicações que abrange a publicidade, o divertimento, o jornalismo e o ensino entre outras. O ensino é provavelmente a área em que a Web TV mais pode contribuir como meio privilegiado de divulgação e partilha de informação tanto dentro como fora de uma instituição universitária. Com a Web TV podem ser apresentados e criados os mais diversos conteúdos, como, por exemplo: conferências, aulas, documentários, teses e/ou qualquer outro conteúdo de texto ou multimédia que seja de natureza científica. As competências da Web 2.0, aplicadas na Web TV que proponho, conferem-lhe características únicas para a promoção e divulgação do conhecimento científico, revestindo assim este projecto de especial importância.

Relatório de estágio na agência Ogilvy. A importância dos testes de usabilidade e do Responsive Web Design no desenvolvimento de projetos digitais

O presente relatório de estágio enquadra-se no método de avaliação final do Mestrado em Novos Media e Práticas Web, da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa e pretende abordar o trabalho desenvolvido por mim durante o estágio curricular realizado na agência de comunicação e publicidade Ogilvy. O estágio decorreu entre novembro de 2014 e fevereiro de 2015, durante o qual desempenhei o cargo de online producer e fui supervisionada por Sara Cabral Fonseca, diretora de projeto. Todos os trabalhos tiveram como objetivo principal o acompanhamento e conhecimento do processo ligado ao desenvolvimento de projetos digitais, desde o briefing até à programação e conteúdo. Os trabalhos compreenderam a realização de testes de usabilidade em deskop e mobile dos sites e aplicações desenvolvidos pelo departamento digital da empresa, e também o apoio na realização de tarefas ligadas à gestão de conteúdos de vários websites. Este relatório resulta de todo o trabalho concretizado e pretende efetuar uma contextualização teórica ligada à importância dos testes de usabilidade e do Responsive Web Design (RWD) na implementação de projetos digitais.

QEAT: Pergunta, Responde e Interage. Projeto de Comunicação de Nutrição na Web

A nutrição e a alimentação. Dois conceitos tão pessoais quanto públicos, que geram discussão e abrem espaço a mitos e crenças. O interesse coletivo nestes assuntos é causa e consequência da grande quantidade de informação, por vezes pouco rigorosa, outras contraditória, disponível online. Impõe-se portanto não só a transmissão de informação fidedigna, que reflita o estado atual da ciência, mas também a criação de espaços de diálogo, capazes de suscitar sentido crítico, num contexto de interação e comunicação online. Contextualiza-se assim a relevância do projeto QEAT, uma plataforma de comunicação de ciência, assente numa matriz de Envolvimento Público da Ciência ou Public Engagement with Science (PES), na sua expressão em inglês. O QEAT pretende ser um espaço de referência online, que promove o diálogo ao serviço da informação sobre alimentação e nutrição. Uma plataforma onde há espaço para o esclarecimento, a discussão e a participação, reunindo especialistas e não especialistas na mesma missão de comunicar nutrição. O modelo eleito seguirá um formato de rede social de pergunta e resposta (SQ&A), aproveitando a interatividade e a transversalidade destes canais de comunicação, abrindo aos diferentes públicos a possibilidade de participar na plataforma com perguntas, ideias, conteúdos. Desta forma, as ciências da nutrição e alimentação serão o tópico dominante das conversas, abertas a todos os interessados, instigadas e moderadas pelos gestores da plataforma. O canal QEAT será alimentado por conteúdos coproduzidos por nutricionistas, cientistas e diferentes profissionais da comunicação, no âmbito do projeto, a par de conteúdos produzidos pelos utilizadores (user generated contents), sujeitos a uma votação, ou seja, um controlo de qualidade. Todos os contribuidores vão construindo a sua reputação de acordo com a validade dos conteúdos que produzem. Uma gestão de conteúdos que permite por um lado monitorizar a qualidade e o rigor da informação, mas também perceber os tópicos que interessam aos utilizadores, bem como as suas dúvidas. A implementação deste projeto procura criar um espaço de referência online capaz de funcionar como um repositório dinâmico de informação sobre nutrição; e fomentar uma relação bidirecional entre os diferentes públicos do projeto. Da persecução destes objetivos, espera-se que resultem novas ideias, conhecimentos e direções dos caminhos a tomar no sentido de uma comunicação responsável na área da nutrição.

External quality assessment in the voluntary counseling and testing centers in the Brazilian Amazon using dried tube specimens: results of an effectiveness evaluation

INTRODUCTION : In 2011, the Brazilian Ministry of Health rolled out a program for the external quality assessment of rapid human immunodeficiency virus (HIV) tests using the dried tube specimen (DTS) method (EQA-RT/DTS-HIV). Our objective was to evaluate the implementation of this program at 71 voluntary counseling and testing centers (VCTCs) in the Brazilian Legal Amazonian area one year after its introduction. METHODS : Quantitative and qualitative study that analyzed secondary data and interviews with healthcare workers (HCWs) (n=39) and VCTC coordinators (n=32) were performed. The assessment used 18 key indicators to evaluate the three dimensions of the program's logical framework: structure, process, and result. Each indicator was scored from 1-4, and the aggregate results corresponding to the dimensions were expressed as proportions. The results were compared to the perceptions of the HCWs and coordinators regarding the EQA-RT/DTS-HIV program. RESULTS: The aggregate scores for the three dimensions of structure, process, and result were 91.7%, 78.6%, and 95%, respectively. The lowest score in each dimension corresponded to a different indicator: access to Quali-TR online system 39% (structure), registration in Quali-TR online system 38.7% (process), and VCTC completed the full process in the program's first round 63.4% (result). Approximately 36% of the HCWs and 52% of the coordinators reported enhanced trust in the program for its rapid HIV testing performance. CONCLUSIONS: All three program dimensions exhibited satisfactory results (>75%). Nevertheless, the study findings highlight the need to improve certain program components. Additionally, long-term follow-ups is needed to provide a more thorough picture of the process for external quality assessment.

Building 3D City Models: Testing and Comparing Laser Scanning and Low-Cost UAV Data Using FOSS Technologies

Contém resumo