Health workers’ knowledge, attitude and practice towards Hepatitis B infection in Northern Nigeria

Background: Infection by hepatitis B virus is one of the many challenges in public health today and the tenth leading cause of mortality worldwide. Research has shown that health-care personnel are at higher risk of acquiring the disease than the general population. Aim: The aim of this study was to investigate the relationship between knowledge, attitude and practice among health workers towards hepatitis B infection in Northern Nigeria. Methods: This study used a cross-sectional survey with self-administered questionnaire to gather information from an Ear, Nose and Throat health-care professionals in a tertiary hospital in Northern Nigeria. The data collected was coded and analyzed using SPSS software version 20. Results: A similar numbers of males, 49.5% (53/107), and females, 50.5% (54/107) took part. The overall correctly answered knowledge questions by the professions was 76.9%. A one-way ANOVA between participants showed that there were significant difference between the profession groups in terms of knowledge scores (F4, 102 = 11.5, P< 0.001) and in terms of practice scores between the groups (F4, 102 = 4.1, P<0.01); however, there was no significant difference in attitude between the professional groups (F4, 102 = 0.6, P= 0.68). Multivariate analysis showed that health attendants had the best practice score and did not differ significantly to Doctors (β = −0.1, t =−0.9, P= 0.40). Conclusion: The findings suggest that there is a gap in knowledge and lack of compliance to infection control and preventive measures among health-care professionals. There should be an increased in awareness through campaigns geared towards educating health-care personnel on the dangers of hepatitis B infection. Keywords: Health care workers, Hepatitis B infection, prevention and control, Knowledge, attitude and practice, Developing countrie

On Multiphase-Linear Ranking Functions

Multiphase ranking functions ($\mathit{M{\Phi}RFs}$) were proposed as a means to prove the termination of a loop in which the computation progresses through a number of "phases", and the progress of each phase is described by a different linear ranking function. Our work provides new insights regarding such functions for loops described by a conjunction of linear constraints (single-path loops). We provide a complete polynomial-time solution to the problem of existence and of synthesis of $\mathit{M{\Phi}RF}$ of bounded depth (number of phases), when variables range over rational or real numbers; a complete solution for the (harder) case that variables are integer, with a matching lower-bound proof, showing that the problem is coNP-complete; and a new theorem which bounds the number of iterations for loops with $\mathit{M{\Phi}RFs}$. Surprisingly, the bound is linear, even when the variables involved change in non-linear way. We also consider a type of lexicographic ranking functions, $\mathit{LLRFs}$, more expressive than types of lexicographic functions for which complete solutions have been given so far. We prove that for the above type of loops, lexicographic functions can be reduced to $\mathit{M{\Phi}RFs}$, and thus the questions of complexity of detection and synthesis, and of resulting iteration bounds, are also answered for this class.Comment: typos correcte

A systematic literature review of the use of social media for business process management

In today’s expansion of new technologies, innovation is found necessary for organizations to be up to date with the latest management trends. Although organizations are increasingly using new technologies, opportunities still exist to achieve the nowadays essential omnichannel management strategy. More precisely, social media are opening a path for benefiting more from an organization’s process orientation. However, social media strategies are still an under-investigated field, especially when it comes to the research of social media use for the management and improvement of business processes or the internal way of working in organizations. By classifying a variety of articles, this study explores the evolution of social media implementation within the BPM discipline. We also provide avenues for future research and strategic implications for practitioners to use social media more comprehensively

Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Investigating the enabling factors influencing occupational therapists’ adoption of assisted living technology

Introduction Research into technology adoption has focused on older adults’ motivations, with less exploration of the perspective of healthcare providers, including occupational therapists, who are often described as the gatekeepers to assisted living technology. Method This qualitative study utilized semi-structured interviews and focus groups with 20 occupational therapists in England and Scotland. The goal was to identify those enabling factors necessary for occupational therapists to adopt assisted living technology. Results Five themes emerged regarding the enablers needed to support the adoption of assisted living technology by occupational therapists, including: (1) a positive client–therapist relationship; (2) affordability; (3) time; (4) increased awareness, education, and training; and (5) usability features of the assisted living technology. Conclusion With an aging population and the increasing role that technology is playing globally in older adults’ lives, it has never been more important for occupational therapists to harness the potential of new, developing, and existing technologies to support people to live and age as well as possible. To accomplish this, however, requires that occupational therapists are equipped with the time, training, and education necessary to offer their clients assisted living technologies that are client-centered, usable, and affordabl

Monitoring cow comfort and rumen health indices in a cubicle-housed herd with an automatic milking system: a repeated measures approach

[This corrects the article DOI: 10.1186/s13620-015-0040-7.]

Western Australian public opinions of a minimum pricing policy for alcohol: study protocol

Background: Excessive alcohol consumption has significant adverse economic, social, and health outcomes. Recent estimates suggest that the annual economic costs of alcohol in Australia are up to AUD $36 billion. Policies influencing price have been demonstrated to be very effective in reducing alcohol consumption and alcohol-related harms. Interest in minimum pricing has gained traction in recent years. However, there has been little research investigating the level of support for the public interest case of minimum pricing in Australia. Objective: This article describes protocol for a study exploring Western Australian (WA) public knowledge, understanding, and reaction to a proposed minimum price policy per standard drink. Methods: The study will employ a qualitative methodological design. Participants will be recruited from a wide variety of backgrounds, including ethnic minorities, blue and white collar workers, unemployed, students, and elderly/retired populations to participate in focus groups. Focus group participants will be asked about their knowledge of, and initial reactions to, the proposed policy and encouraged to discuss how such a proposal may affect their own alcohol use and alcohol consumption at the population level. Participants will also be asked to discuss potential avenues for increasing acceptability of the policy. The focus groups will adopt a semi-structured, open-ended approach guided by a question schedule. The schedule will be based on feedback from pilot samples, previous research, and a steering group comprising experts in alcohol policy and pricing. Results: The study is expected to take approximately 14 months to complete. Conclusions: The findings will be of considerable interest and relevance to government officials, policy makers, researchers, advocacy groups, alcohol retail and licensed establishments and organizations, city and town planners, police, and other stakeholder organizations