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.

Intelligent Assembly Time Analysis Using a Digital Knowledge-Based Approach

The implementation of effective time analysis methods fast and accurately in the era of digital manufacturing has become a significant challenge for aerospace manufacturers hoping to build and maintain a competitive advantage. This paper proposes a structure oriented, knowledge-based approach for intelligent time analysis of aircraft assembly processes within a digital manufacturing framework. A knowledge system is developed so that the design knowledge can be intelligently retrieved for implementing assembly time analysis automatically. A time estimation method based on MOST, is reviewed and employed. Knowledge capture, transfer and storage within the digital manufacturing environment are extensively discussed. Configured plantypes, GUIs and functional modules are designed and developed for the automated time analysis. An exemplar study using an aircraft panel assembly from a regional jet is also presented. Although the method currently focuses on aircraft assembly, it can also be well utilized in other industry sectors, such as transportation, automobile and shipbuilding. The main contribution of the work is to present a methodology that facilitates the integration of time analysis with design and manufacturing using a digital manufacturing platform solution.

Annotated Chromosome Maps for Renal Disease

A combination of linkage analyses and association studies are currently employed to promote the identification of genetic factors contributing to inherited renal disease. We have standardized and merged complex genetic data from disparate sources, creating unique chromosomal maps to enhance genetic epidemiological investigations. This database and novel renal maps effectively summarize genomic regions of suggested linkage, association, or chromosomal abnormalities implicated in renal disease. Chromosomal regions associated with potential intermediate clinical phenotypes have been integrated, adding support for particular genomic intervals. More than 500 reports from medical databases, published scientific literature, and the World Wide Web were interrogated for relevant renal-related information. Chromosomal regions highlighted for prioritized investigation of renal complications include 3q13-26, 6q22-27, 10p11-15, 16p11-13, and 18q22. Combined genetic and physical maps are effective tools to organize genetic data for complex diseases. These renal chromosome maps provide insights into renal phenotype-genotype relationships and act as a template for future genetic investigations into complex renal diseases. New data from individual researchers and/or future publications can be readily incorporated to this resource via a user-friendly web-form accessed from the website: www.qub.ac.uk/neph-res/CORGI/index.php.

Methodology for Validating Artifact Removal Techniques for Physiological Signals

Artifact removal from physiological signals is an essential component of the biosignal processing pipeline. The need for powerful and robust methods for this process has become particularly acute as healthcare technology deployment undergoes transition from the current hospital-centric setting toward a wearable and ubiquitous monitoring environment. Currently, determining the relative efficacy and performance of the multiple artifact removal techniques available on real world data can be problematic, due to incomplete information on the uncorrupted desired signal. The majority of techniques are presently evaluated using simulated data, and therefore, the quality of the conclusions is contingent on the fidelity of the model used. Consequently, in the biomedical signal processing community, there is considerable focus on the generation and validation of appropriate signal models for use in artifact suppression. Most approaches rely on mathematical models which capture suitable approximations to the signal dynamics or underlying physiology and, therefore, introduce some uncertainty to subsequent predictions of algorithm performance. This paper describes a more empirical approach to the modeling of the desired signal that we demonstrate for functional brain monitoring tasks which allows for the procurement of a ground truth signal which is highly correlated to a true desired signal that has been contaminated with artifacts. The availability of this ground truth, together with the corrupted signal, can then aid in determining the efficacy of selected artifact removal techniques. A number of commonly implemented artifact removal techniques were evaluated using the described methodology to validate the proposed novel test platform. �� 2012 IEEE.

The systematic development of an innovative DVD to raise awareness of preconception care

The purpose of this article is to describe the design, development and process evaluation of a preconception counselling resource (a DVD) for women with pre-gestational diabetes. DVD design and development centred on two key stakeholders ('DVD user group' and 'professional advisory group') working alongside a professional multimedia company. The DVD user group provided feedback on preferred DVD style, and informed modifications and improvements. The professional advisory group prepared the script, and ensured content and face validity. Evaluation of the DVD's acceptability and usefulness was assessed among women with diabetes via a postal questionnaire. Development phase: the resulting DVD is a 45-minute programme with three parts, featuring eight women with diabetes sharing their views and experiences, alongside an evidence-based commentary. The programme focuses on the importance of preventing an unplanned pregnancy (highlighting contraception) and on essential planning advice. Evaluation phase: 97 women (89 with type 1 and 8 with type 2 diabetes) evaluated the DVD using a rating scale of 0-10. Mean (SD) scores were: 9.1 (1.3) for quality; 9.0 (1.4) for content; 8.8 (1.5) for interest; 8.7 (1.8) for usefulness; 7.8 (2.2) for knowledge acquisition; and 8.0 (2.1) for knowledge confirmation. This combined user and multi-professional advisory group approach has produced an innovative and highly acceptable preconception counselling resource for women with diabetes. The development process and outcome evaluation are an important point of reference for future educational programmes. Future research will evaluate the impact of this preconception counselling resource on pregnancy planning indicators and pregnancy outcome.

Repackaging Prostate Cancer Support Group Research Findings: An e-KT Case Study

n the context of psychosocial oncology research, disseminating study findings to a range of knowledge ���end-users��� can advance the well-being of diverse patient subgroups and their families. This article details how findings drawn from a study of prostate cancer support groups were repackaged in a knowledge translation website���www.prostatecancerhelpyourself.ubc.ca���using Web 2.0 features. Detailed are five lessons learned from developing the website: the importance of pitching a winning but feasible idea, keeping a focus on interactivity and minimizing text, negotiating with the supplier, building in formal pretests or a pilot test with end-users, and completing formative evaluations based on data collected through Google��� and YouTube��� Analytics. The details are shared to guide the e-knowledge translation efforts of other psychosocial oncology researchers and clinicians.<br/>

Massive MIMO Systems with Hardware-Constrained Base Stations

Massive multiple-input multiple-output (MIMO) systems are cellular networks where the base stations (BSs) are equipped with unconventionally many antennas. Such large antenna arrays offer huge spatial degrees-of-freedom for transmission optimization; in particular, great signal gains, resilience to imperfect channel knowledge, and small inter-user interference are all achievable without extensive inter-cell coordination. The key to cost-efficient deployment of large arrays is the use of hardware-constrained base stations with low-cost antenna elements, as compared to today's expensive and power-hungry BSs. Low-cost transceivers are prone to hardware imperfections, but it has been conjectured that the excessive degrees-of-freedom of massive MIMO would bring robustness to such imperfections. We herein prove this claim for an uplink channel with multiplicative phase-drift, additive distortion noise, and noise amplification. Specifically, we derive a closed-form scaling law that shows how fast the imperfections increase with the number of antennas.

An Inclusive Design Dialogue on Ethics and Aesthetics

One of the many definitions of inclusive design is that it is a user-led approach to design. To date its focus has been on ���critical��� users, in particular disabled people. As such, there is pressure to design environments that meet the often urgent and complex demands of these users. Designers, uncertain of their knowledge, rely heavily on user input and guidance, often resulting in designs that are ���solution��� driven (rather than solution seeking) and short term; users focus on what they need, not what they might need. This paper argues that design needs to reclaim an equal presence within inclusive design. It proposes that the ���weakness��� of design lies in the uneasy and at times conflicting relationship between ethics and aesthetics. The paper itself is constructed around a dialogue between two academics, one concerned with critical user needs, the other with aesthetics, but both directed towards the support of design quality

Genetic structure of the lumpfish Cyclopterus lumpus across the North Atlantic

<p>Lumpfish, or lumpsucker, Cyclopterus lumpus (Linnaeus, 1758) is widely distributed in the North Atlantic Ocean. It has a considerable economic value and substantial fisheries occur in several North Atlantic regions owing to the use of its fully ripe internal egg masses in the ovaries as an alternative to sturgeon caviar. Despite being intensively fished in several locations, biological knowledge is limited and no genetic structure information is available. In this study, the stock structure of C. lumpus was investigated across the North Atlantic using ten microsatellite loci. Out of ten loci, two exhibited higher level of differentiation but their inclusion/ exclusion from the analyses did not drastically change the observed genetic pattern. A total of three distinct genetic groups were detected: Maine-Canada-Greenland, Iceland-Norway and Baltic Sea. These results, discussed in terms of origin of differentiation, gene flow, and selection, showed that gene flow was rather limited among the detected groups, and also between Greenland and Maine-Canada.</p>

Improving Recall of Regular Expressions for Information Extraction

Learning or writing regular expressions to identify instances of a specific<br/>concept within text documents with a high precision and recall is challenging.<br/>It is relatively easy to improve the precision of an initial regular expression<br/>by identifying false positives covered and tweaking the expression to avoid the<br/>false positives. However, modifying the expression to improve recall is difficult<br/>since false negatives can only be identified by manually analyzing all documents,<br/>in the absence of any tools to identify the missing instances. We focus on partially<br/>automating the discovery of missing instances by soliciting minimal user<br/>feedback. We present a technique to identify good generalizations of a regular<br/>expression that have improved recall while retaining high precision. We empirically<br/>demonstrate the effectiveness of the proposed technique as compared to<br/>existing methods and show results for a variety of tasks such as identification of<br/>dates, phone numbers, product names, and course numbers on real world datasets

Select, Link and Rank: Diversified Query Expansion and Entity Ranking using Wikipedia

A search query, being a very concise grounding of user intent, could potentially have many possible interpretations. Search engines hedge their bets by diversifying top results to cover multiple such possibilities so that the user is likely to be satisfied, whatever be her intended interpretation. Diversified Query Expansion is the problem of diversifying query expansion suggestions, so that the user can specialize the query to better suit her intent, even before perusing search results. We propose a method, Select-Link-Rank, that exploits semantic information from Wikipedia to generate diversified query expansions. SLR does collective processing of terms and Wikipedia entities in an integrated framework, simultaneously diversifying query expansions and entity recommendations. SLR starts with selecting informative terms from search results of the initial query, links them to Wikipedia entities, performs a diversity-conscious entity scoring and transfers such scoring to the term space to arrive at query expansion suggestions. Through an extensive empirical analysis and user study, we show that our method outperforms the state-of-the-art diversified query expansion and diversified entity recommendation techniques.