Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

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.

Using social semantic knowledge to improve annotations in personal photo collections

Instituto Politécnico de Lisboa (IPL) e Instituto Superior de Engenharia de Lisboa (ISEL)apoio concedido pela bolsa SPRH/PROTEC/67580/2010, que apoiou parcialmente este trabalho

Integration of a mobile autonomous robot in a surveillance multi-agent system

This dissertation aims to guarantee the integration of a mobile autonomous robot equipped with many sensors in a multi-agent distributed and georeferenced surveillance system. The integration of a mobile autonomous robot in this system leads to new features that will be available to clients of surveillance system may use. These features may be of two types: using the robot as an agent that will act in the environment or by using the robot as a mobile set of sensors. As an agent in the system, the robot can move to certain locations when alerts are received, in order to acknowledge the underlying events or take to action in order to assist in resolving this event. As a sensor platform in the system, it is possible to access information that is read from the sensors of the robot and access complementary measurements to the ones taken by other sensors in the multi-agent system. To integrate this mobile robot in an effective way it is necessary to extend the current multi-agent system architecture to make the connection between the two systems and to integrate the functionalities provided by the robot into the multi-agent system.

Automated quantitative analysis of MCC-IMS spectra

Ion Mobility Spectrometry coupled with Multi Capillary Columns (MCC -IMS) is a fast analytical technique working at atmospheric pressure with high sensitivity and selectivity making it suitable for the analysis of complex biological matrices. MCC-IMS analysis generates its information through a 3D spectrum with peaks, corresponding to each of the substances detected, providing quantitative and qualitative information. Sometimes peaks of different substances overlap, making the quantification of substances present in the biological matrices a difficult process. In the present work we use peaks of isoprene and acetone as a model for this problem. These two volatile organic compounds (VOCs) that when detected by MCC-IMS produce two overlapping peaks. In this work it’s proposed an algorithm to identify and quantify these two peaks. This algorithm uses image processing techniques to treat the spectra and to detect the position of the peaks, and then fits the data to a custom model in order to separate the peaks. Once the peaks are separated it calculates the contribution of each peak to the data.

Assessment of integration of the leprosy program into primary health care in Aracaju, state of Sergipe, Brazil

INTRODUCTION: The aim of this study was to assess the epidemiological and operational characteristics of the Leprosy Program before and after its integration into the Primary healthcare Services of the municipality of Aracaju-Sergipe, Brazil. METHODS: Data were drawn from the national database. The study periods were divided into preintegration (1996-2000) and postintegration (2001-2007). Annual rates of epidemiological detection were calculated. Frequency data on clinico-epidemiological variables of cases detected and treated for the two periods were compared using the Chi-squared (χ2) test adopting a 5% level of significance. RESULTS: Rates of detection overall, and in subjects younger than 15 years, were greater for the postintegration period and were higher than rates recorded for Brazil as a whole during the same periods. A total of 780 and 1,469 cases were registered during the preintegration and postintegration periods, respectively. Observations for the postintegration period were as follows: I) a higher proportion of cases with disability grade assessed at diagnosis, with increase of 60.9% to 78.8% (p < 0.001), and at end of treatment, from 41.4% to 44.4% (p < 0.023); II) an increase in proportion of cases detected by contact examination, from 2.1% to 4.1% (p < 0.001); and III) a lower level of treatment default with a decrease from 5.64 to 3.35 (p < 0.008). Only 34% of cases registered from 2001 to 2007 were examined. CONCLUSIONS: The shift observed in rates of detection overall, and in subjects younger than 15 years, during the postintegration period indicate an increased level of health care access. The fall in number of patients abandoning treatment indicates greater adherence to treatment. However, previous shortcomings in key actions, pivotal to attaining the outcomes and impact envisaged for the program, persisted in the postintegration period.

Simplified wind turbine models for wind energy integration into power systems

This paper analyses the boundaries of simplified wind turbine models used to represent the behavior of wind turbines in order to conduct power system stability studies. Based on experimental measurements, the response of recent simplified (also known as generic) wind turbine models that are currently being developed by the International Standard IEC 61400-27 is compared to complex detailed models elaborated by wind turbine manufacturers. This International Standard, whose Technical Committee was convened in October 2009, is focused on defining generic simulation models for both wind turbines (Part 1) and wind farms (Part 2). The results of this work provide an improved understanding of the usability of generic models for conducting power system simulations.

Barriers preventing the successful integration of mental health services into Primary Health Care in Nigeria : a mixed methods approach

RESUMO: A Nigéria tem uma população estimada em cerca de 170 milhões de pessoas. O número de profissionais de saúde mental é muito diminuto, contando apenas com 150 psiquiatras o que perfaz aproximadamente um rácio de psiquiatra: população de mais de 1:1 milhão de pessoas. O Plano Nacional de Saúde Mental de 1991 reconheceu esta insuficiência e recomendou a integração dos serviços de saúde mental nos cuidados de saúde primários (CSP). Depois de mais de duas décadas, essa política não foi ainda implementada. Este estudo teve como objetivos mapear a estrutura organizacional dos serviços de saúde mental da Nigéria, e explorar os desafios e barreiras que impedem a integração bem-sucedida dos serviços de saúde mental nos cuidados de saúde primários, isto segundo a perspectiva dos profissionais dos cuidados de saúde primários. Com este objetivo, desenvolveu-se um estudo exploratório sequencial e utilizou-se um modelo misto para a recolha de dados. A aplicação em simultâneo de abordagens qualitativas e quantitativas permitiram compreender os problemas relacionados com a integração dos serviços de saúde mental nos CSP na Nigéria. No estudo qualitativo inicial, foram realizadas entrevistas com listagens abertas a 30 profissionais dos CSP, seguidas de dois grupos focais com profissionais dos CSP de duas zonas governamentais do estado de Oyo de forma a obter uma visão global das perspectivas destes profissionais locais sobre os desafios e barreiras que impedem uma integração bem-sucedida dos serviços de saúde mental nos CSP. Subsequentemente, foram realizadas entrevistas com quatro pessoas-chave, especificamente coordenadores e especialistas em saúde mental. Os resultados do estudo qualitativo foram utilizados para desenvolver um questionário para análise quantitativa das opiniões de uma amostra maior e mais representativa dos profissionais dos CSP do Estado de Oyo, bem como de duas zonas governamentais locais do Estado de Osun. As barreiras mais comummente identificadas a partir deste estudo incluem o estigma e os preconceitos sobre a doença mental, a formação inadequada dos profissionais dos CPS sobre saúde mental, a perceção pela equipa dos CSP de baixa prioridade de ação do Governo, o medo da agressão e violência pela equipa dos CSP, bem como a falta de disponibilidade de fármacos. As recomendações para superar estes desafios incluem a melhoria sustentada dos esforços da advocacia à saúde mental que vise uma maior valorização e apoio governamental, a formação e treino organizados dos profissionais dos cuidados primários, a criação de redes de referência e de apoio com instituições terciárias adjacentes, e o engajamento da comunidade para melhorar o acesso aos serviços e à reabilitação, pelas pessoas com doença mental. Estes resultados fornecem indicações úteis sobre a perceção das barreiras para a integração bem sucedida dos serviços de saúde mental nos CSP, enquanto se recomenda uma abordagem holística e abrangente. Esta informação pode orientar as futuras tentativas de implementação da integração dos serviços de saúde mental nos cuidados primários na Nigéria.------------ABSTRACT: Nigeria has an estimated population of about 170 million people but the number of mental health professionals is very small, with about 150 psychiatrists. This roughly translates to a psychiatrist:population ratio of more than 1:1 million people. The National Mental Health Policy of 1991 recognized this deficiency and recommended the integration of mental health into primary health care (PHC) delivery system. After more than two decades, this policy has yet to be implemented. This study aimed to map out the organizational structure of the mental health systems in Nigeria, and to explore the challenges and barriers preventing the successful integration of mental health into primary health care, from the perspective of the primary health care workers. A mixed methods exploratory sequential study design was employed, which entails the use of sequential timing in the combined methods of data collection. A combination of qualitative and uantitative approaches in sequence, were utilized to understand the problems of mental health services integration into PHC in Nigeria. The initial qualitative phase utilized free listing interviews with 30 PHC workers, followed by two focus group discussions with primary care workers from two Local Government Areas (LGA) of Oyo State to gain useful insight into the local perspectives of PHC workers about the challenges and barriers preventing successful integration of mental health care services into PHC. Subsequently, 4 key informant interviews with PHC co-ordinators and mental health experts were carried out. The findings from the qualitative study were utilized to develop a quantitative study questionnaire to understand the opinions of a larger and more representative sample of PHC staff in two more LGAs of Oyo State, as well as 2 LGAs from Osun State. The common barriers identified from this study include stigma and misconceptions about mental illness, inadequate training of PHC staff about mental health, low government priority, fear of aggression and violence by the PHC staff, as well as non-availability of medications. Recommendations for overcoming these challenges include improved and sustained efforts at mental health advocacy to gain governmental attention and support, organized training and retraining for primary care staff, establishment of referral and supportive networks with neighbouring tertiary facilities and community engagement to improve service utilization and rehabilitation of mentally ill persons. These findings provide useful insight into the barriers to the successful integration of mental health into PHC, while recommending a holistic and comprehensive approach. This information can guide future attempts to implement the integration of mental health into primary care in Nigeria.

Impact of the introduction of an automated microbiologic system on the clinical outcomes of bloodstream infections caused by Enterobacteriaceae strains

INTRODUCTION: Enterobacteriaceae strains are a leading cause of bloodstream infections (BSI). The aim of this study is to assess differences in clinical outcomes of patients with BSI caused by Enterobacteriaceae strains before and after introduction of an automated microbiologic system by the microbiology laboratory. METHODS: We conducted a retrospective cohort study aimed to evaluate the impact of the introduction of an automated microbiologic system (Phoenix(tm) automated microbiology system, Becton, Dickinson and Company (BD) - Diagnostic Systems, Sparks, MD, USA) on the outcomes of BSIs caused by Enterobacteriaceae strains. The study was undertaken at Hospital São Paulo, a 750-bed teaching hospital in São Paulo, Brazil. Patients with BSI caused by Enterobacteriaceae strains before the introduction of the automated system were compared with patients with BSI caused by the same pathogens after the introduction of the automated system with regard to treatment adequacy, clinical cure/improvement and 14- and 28-day mortality rates. RESULTS: We evaluated 90 and 106 patients in the non-automated and automated testing periods, respectively. The most prevalent species in both periods were Klebsiella spp. and Proteus spp. Clinical cure/improvement occurred in 70% and 67.9% in non-automated and automated period, respectively (p=0.75). 14-day mortality rates were 22.2% and 30% (p=0.94) and 28-day mortality rates were 24.5% and 40.5% (p= 0.12). There were no significant differences between the two testing periods with regard to treatment adequacy, clinical cure/improvement and 14- and 28-day mortality rates. CONCLUSIONS: Introduction of the BD Phoenix(tm) automated microbiology system did not impact the clinical outcomes of BSIs caused by Enterobacteriaceae strains in our setting.

Integration of speech-processing technologies into Activobank's client interaction process

This dissertation analyzes the possibilities of utilizing speech-processing technologies to transform the user experience of ActivoBank’s customers while using remote banking solutions. The technologies are examined through different criteria to determine if they support the bank’s goals and strategy and whether they should be incorporated in the bank’s offering. These criteria include the alignment with ActivoBank’s values, the suitability of the technology providers, the benefits these technologies entail, potential risks, appeal to the customers and impact on customer satisfaction. The analysis suggests that ActivoBank might not be in a position to adopt these technologies at this point in time.

Analysis of the detection coefficient for the association between leprosy and pregnancy in the integration region of Carajas, State of Para, Brazil

Introduction The association between leprosy and pregnancy is currently poorly understood and has been linked to serious clinical consequences. Methods A retrospective study between 2007 and 2009 was performed in the integration region of Carajás, Brazil on a population of pregnant lepers, with non-lepers of ages 12-49 years serving as the reference population. Results Twenty-nine pregnant lepers were studied during the study period. The detection rates (DRs) for the studied association were 4.7 in 2007, 9.4 in 2008, and 4.3 in 2009. Conclusions The Carajás region presented a medium pattern of endemicity during most of the study period, with a high DR found in 2008.

The efficacy of the old way/new way methodology on the correction of an automated technical error and its impact on the athlete’s psychological skills : Case study in tennis

The aim of this study was to evaluated the efficacy of the Old Way/New Way methodology (Lyndon, 1989/2000) with regard to the permanent correction of a consolidated and automated technical error experienced by a tennis athlete (who is 18 years old and has been engaged in practice mode for about 6 years) in the execution of serves. Additionally, the study assessed the impact of intervention on the athlete’s psychological skills. An individualized intervention was designed using strategies that aimed to produce a) a detailed analysis of the error using video images; b) an increased kinaesthetic awareness; c) a reactivation of memory error; d) the discrimination and generalization of the correct motor action. The athlete’s psychological skills were measured with a Portuguese version of the Psychological Skills Inventory for Sports (Cruz & Viana, 1993). After the intervention, the technical error was corrected with great efficacy and an increase in the athlete’s psychological skills was verified. This study demonstrates the methodology’s efficacy, which is consistent with the effects of this type of intervention in different contexts.

The integration of online advertising into social media

This study examined user-generated (UG) advertising in the context of social media networks. The focus was on how people, whether an expert in the area, a non-expert or a friend, influence the reader of the advertisement. Furthermore, the study analyzed how the certainty level of the UG advertisement influences the person viewing the ad. The study showed that for the friend source a high certainty message was more persuasive. However, regarding the certainty no significant results were found for the expert and non-expert. Further, the type of the source had a considerable impact on persuasion. Someone that we personally know (e.g., a friend) was rated most positive for all analyzes variables. This shows that with the rising usage of social media there are great opportunities for new effective advertising strategies that could include a new type of an endorser – friends.

Fostering e-participation sustainability through a BPM-driven semantic model

According to a recent Eurobarometer survey (2014), 68% of Europeans tend not to trust national governments. As the increasing alienation of citizens from politics endangers democracy and welfare, governments, practitioners and researchers look for innovative means to engage citizens in policy matters. One of the measures intended to overcome the so-called democratic deficit is the promotion of civic participation. Digital media proliferation offers a set of novel characteristics related to interactivity, ubiquitous connectivity, social networking and inclusiveness that enable new forms of societal-wide collaboration with a potential impact on leveraging participative democracy. Following this trend, e-Participation is an emerging research area that consists in the use of Information and Communication Technologies to mediate and transform the relations among citizens and governments towards increasing citizens’ participation in public decision-making. However, despite the widespread efforts to implement e-Participation through research programs, new technologies and projects, exhaustive studies on the achieved outcomes reveal that it has not yet been successfully incorporated in institutional politics. Given the problems underlying e-Participation implementation, the present research suggested that, rather than project-oriented efforts, the cornerstone for successfully implementing e-Participation in public institutions as a sustainable added-value activity is a systematic organisational planning, embodying the principles of open-governance and open-engagement. It further suggested that BPM, as a management discipline, can act as a catalyst to enable the desired transformations towards value creation throughout the policy-making cycle, including political, organisational and, ultimately, citizen value. Following these findings, the primary objective of this research was to provide an instrumental model to foster e-Participation sustainability across Government and Public Administration towards a participatory, inclusive, collaborative and deliberative democracy. The developed artefact, consisting in an e-Participation Organisational Semantic Model (ePOSM) underpinned by a BPM-steered approach, introduces this vision. This approach to e-Participation was modelled through a semi-formal lightweight ontology stack structured in four sub-ontologies, namely e-Participation Strategy, Organisational Units, Functions and Roles. The ePOSM facilitates e-Participation sustainability by: (1) Promoting a common and cross-functional understanding of the concepts underlying e-Participation implementation and of their articulation that bridges the gap between technical and non-technical users; (2) Providing an organisational model which allows a centralised and consistent roll-out of strategy-driven e-Participation initiatives, supported by operational units dedicated to the execution of transformation projects and participatory processes; (3) Providing a standardised organisational structure, goals, functions and roles related to e-Participation processes that enhances process-level interoperability among government agencies; (4) Providing a representation usable in software development for business processes’ automation, which allows advanced querying using a reasoner or inference engine to retrieve concrete and specific information about the e-Participation processes in place. An evaluation of the achieved outcomes, as well a comparative analysis with existent models, suggested that this innovative approach tackling the organisational planning dimension can constitute a stepping stone to harness e-Participation value.