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.

Educational interventions in neurology:A comprehensive systematic review

A fear of neurology and neural sciences (neurophobia) may have clinical consequences. There is therefore a need to formulate an evidence-based approach to neurology education. A comprehensive systematic review of educational interventions in neurology was performed. BEI, Cochrane Library, Dialog Datastar, EBSCO Biomedical, EBSCO Psychology & Behavioral Sciences, EMBASE, ERIC, First Search, MDConsult, Medline, Proquest Medical Library and Web of Knowledge databases were searched for all published studies assessing interventions in neurology education among undergraduate students, junior medical doctors and residents up to and including July 2012. Two independent literature searches were performed for relevant studies, which were then classified for level of evidence using the Centre of Evidence-based Medicine criteria and four levels of Kirkpatrick educational outcomes. One systematic review, 16 randomized controlled trials (RCTs), nine non-randomized cohort/follow-up studies, 33 case series or historically controlled studies and three mechanism-based reasoning studies were identified. Educational interventions showed favourable evaluation or assessment outcomes in 15 of 16 (94%) RCTs. Very few studies measured subsequent clinical behaviour (two studies) and patient outcomes (one study). There is very little high quality evidence of demonstrably effective neurology education. However, RCTs are emerging, albeit without meeting comprehensive educational criteria. An improving evidence base in the quality of neurology education will be important to reduce neurophobia. © 2013 EFNS.

Psychosocial, educational and communicative interventions for patients with cachexia and their family carers

Purpose of review: Cancer cachexia has a substantial impact on both patients and their family carers. It has been acknowledged as one of the two most frequent and devastating problems of advanced cancer. The impact of cachexia spans biopsychosocial realms. Symptom management in cachexia is fraught with difficulties and globally, there remains no agreed standard care or treatment for this client group. There is a need to address the psychosocial impact of cachexia for both patients and their family carers.

Recent findings: Patients living at home and their family carers are often left to manage the distressing psychosocial impacts of cancer cachexia themselves. Successful symptom management requires healthcare professionals to address the holistic impact of cancer cachexia. High quality and rigorous research details the existential impact of cachexia on patients and their family carers. This information needs to inform psychosocial, educational and communicative supportive healthcare interventions to help both patients and their family carers better cope with the effects of cachexia.

Summary: Supportive interventions need to inform both patients and their family carers of the expected impacts of cachexia, and address how to cope with them to retain a functional, supported family unit who are informed about and equipped to care for a loved one with cachexia.

Feasibility trial of a film-based educational intervention for increasing boy's and girl's intentions to avoid teenage pregnancy: study protocol

The World Health Organisation, amongst others, recognises that adolescent men have a vital yet neglected role in reducing teenage pregnancies and that there is a pressing need for educational interventions designed especially for them. This study seeks to fill this gap by determining the feasibility of conducting an effectiveness trial of the If I Were Jack intervention in post-primary schools. This 4-week intervention aims to increase teenagers' intentions to avoid unintended pregnancy and addresses gender inequalities in sex education by explicitly focusing on young men. A cluster randomised feasibility trial with embedded process evaluation will determine: recruitment, participation and retention rates; quality of implementation; acceptability and feasibility of the intervention and trial procedures; and costs. (C) 2014 The Authors. Published by Elsevier Ltd.

Multimedia psycho-educational interventions to support patient self-care in degenerative conditions: a realist review

Objective: Multimedia interventions are increasingly used to deliver information in order to promote self-care among patients with degenerative conditions. We carried out a realist review of the literature to investigate how the characteristics of multimedia psychoeducational interventions combine with the contexts in which they are introduced to help or hinder their effectiveness in supporting self-care for patients with degenerative conditions.

Method: Electronic databases (Medline, Science Direct, PSYCHinfo, EBSCO, and Embase) were searched in order to identify papers containing information on multimedia psychoeducational interventions. Using a realist review approach, we reviewed all relevant studies to identify theories that explained how the interventions work.

Results: Ten papers were included in the review. All interventions sought to promote self-care behaviors among participants. We examined the development and content of the multimedia interventions and the impact of patient motivation and of the organizational context of implementation. We judged seven studies to be methodologically weak. All completed studies showed small effects in favor of the intervention.

Significance of Results: Multimedia interventions may provide high-quality information in an accessible format, with the potential to promote self-care among patients with degenerative conditions, if the patient perceives the information as important and develops confidence about self-care. The evidence base is weak, so that research is needed to investigate effective modes of delivery at different resource levels. We recommend that developers consider how an intervention will reduce uncertainty and increase confidence in self-care, as well as the impact of the context in which it will be employed.

Using mesh-geometry relationships to transfer analysis models between CAE tools

Integrating analysis and design models is a complex task due to differences between the models and the architectures of the toolsets used to create them. This complexity is increased with the use of many different tools for specific tasks using an analysis process. In this work various design and analysis models are linked throughout the design lifecycle, allowing them to be moved between packages in a way not currently available. Three technologies named Cellular Modeling, Virtual Topology and Equivalencing are combined to demonstrate how different finite element meshes generated on abstract analysis geometries can be linked to their original geometry. Cellular models allow interfaces between adjacent cells to be extracted and exploited to transfer analysis attributes such as mesh associativity or boundary conditions between equivalent model representations. Virtual Topology descriptions used for geometry clean-up operations are explicitly stored so they can be reused by downstream applications. Establishing the equivalence relationships between models enables analysts to utilize multiple packages for specialist tasks without worrying about compatibility issues or substantial rework.

How secure is a Newtonian paradigm for psychological and educational measurement?

From the early 1900s, some psychologists have attempted to establish their discipline as a quantitative science. In using quantitative methods to investigate their theories, they adopted their own special definition of measurement of attributes such as cognitive abilities, as though they were quantities of the type encountered in Newtonian science. Joel Michell has presented a carefully reasoned argument that psychological attributes lack additivity, and therefore cannot be quantities in the same way as the attributes of classical Newtonian physics. In the early decades of the 20th century, quantum theory superseded Newtonian mechanics as the best model of physical reality. This paper gives a brief, critical overview of the evolution of current measurement practices in psychology, and suggests the need for a transition from a Newtonian to a quantum theoretical paradigm for psychological measurement. Finally, a case study is presented that considers the implications of a quantum theoretical model for educational measurement. In particular, it is argued that, since the OECD’s Programme for International Student Assessment (PISA) is predicated on a Newtonian conception of measurement, this may constrain the extent to which it can make accurate comparisons of the achievements of different education systems.