Towards Large-scale Inconsistency Measurement

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream. For that, we present, first, a novel inconsistency measure that is apt to be applied to the streaming case and, second, stream-based approximations for the new and some existing inconsistency measures. We conduct an extensive empirical analysis on the behavior of these inconsistency measures on large knowledge bases, in terms of runtime, accuracy, and scalability. We conclude that for two of these measures, the approximation of the new inconsistency measure and an approximation of the contension inconsistency measure, large-scale inconsistency measurement is feasible.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 63-70, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056

Choice under Uncertainty with the Best and Worst in Mind: Neo-additive Capacities

The concept of a non-extreme-outcome-additive capacity (neo-additive capacity ) is introduced. Neo-additive capacities model optimistic and pessimistic attitudes towards uncertainty as observed in many experimental studies. Moreover, neo-additive capacities can be applied easily in economic problems, as we demonstrate by examples. This paper provides an axiomatisation of Choquet expected utility with neo-capacities in a framework of purely subjective uncertainty.

The gradational history of southern Ismenius Lacus

Two epochs of accelerated gradation affected the geomorphic evolution of southern Ismenius Lacus. These periods of enhanced gradational activity were likely related to periods of more clement climate induced by release of either recycled exogenic or juvenile endogenic atmospheric volatiles. Variations in the intensity and duration of gradation during the second epoch are indicated by the variability in the timing of cessation and degree of air fall deposit removal across the study area. Overall intensity of gradation decreased through successive epochs based on: (1) the decreasing diameter at which cumulative statistics from the respective surfaces cease to follow the expected production function; and (2) the decrease in size/increase in density of preserved valley networks incised into surfaces of differing age. A comparable decrease in valley density with time has been noted in the Isidis region

Characteristics of ejecta and alluvial deposits at Meteor Crater, Arizona and Odessa Craters, Texas: Results from ground penetrating radar

Previous ground penetrating radar (GRP) studies around 50,000 year old Meteor Crater revealed the potential for rapid, inexpensive, and non-destructive sub-surface investigations for deep reflectors (generally greater than 10 m). New GRP results are summarized focusing the shallow sub-surfaces (1-2 m) around Meteor Crater and the main crater at Odessa. The following subject areas are covered: (1) the thickness, distribution, and nature of the contact between surrounding alluvial deposits and distal ejecta; and (2) stratigraphic relationships between both the ejecta and alluvium derived from both pre and post crater drainages. These results support previous conclusions indicating limited vertical lowering (less than 1 m) of the distal ejecta at Meteor Crater and allow initial assessment of the gradational state if the Odessa craters

Design and testing of a contra-rotating tidal current turbine

A contra-rotating marine current turbine has a number of attractive features: nearzero reactive torque on the support structure, near-zero swirl in the wake, and high relative inter-rotor rotational speeds. Modified blade element modelling theory has been used to design and predict the characteristics of such a turbine, and a model turbine and test rig have been constructed. Tests in a towing tank demonstrated the feasibility of the concept. Power coefficients were high for such a small model and in excellent agreement with predictions, confirming the accuracy of the computational modelling procedures. High-frequency blade loading data were obtained in the course of the experiments. These show the anticipated dynamic components for a contra-rotating machine. Flow visualization of the wake verified the lack of swirl behind the turbine. A larger machine is presently under construction for sea trials

Project Retrosight. Understanding the returns from cardiovascular and stroke research: Methodology Report

Copyright @ 2011 RAND Europe. All rights reserved. The full text article is available via the link below.This project explores the impacts arising from cardiovascular and stroke research funded 15-20 years ago and attempts to draw out aspects of the research, researcher or environment that are associated with high or low impact. The project is a case study-based review of 29 cardiovascular and stroke research grants, funded in Australia, Canada and UK between 1989 and 1993. The case studies focused on the individual grants but considered the development of the investigators and ideas involved in the research projects from initiation to the present day. Grants were selected through a stratified random selection approach that aimed to include both high- and low-impact grants. The key messages are as follows: 1) The cases reveal that a large and diverse range of impacts arose from the 29 grants studied. 2) There are variations between the impacts derived from basic biomedical and clinical research. 3) There is no correlation between knowledge production and wider impacts 4) The majority of economic impacts identified come from a minority of projects. 5) We identified factors that appear to be associated with high and low impact. This report presents the key observations of the study and an overview of the methods involved. It has been written for funders of biomedical and health research and health services, health researchers, and policy makers in those fields. It will also be of interest to those involved in research and impact evaluation.This study was initiated with internal funding from RAND Europe and HERG, with continuing funding from the UK National Institute for Health Research, the Canadian Institutes of Health Research, the Heart and Stroke Foundation of Canada and the National Heart Foundation of Australia. The UK Stroke Association and the British Heart Foundation provided support in kind through access to their archives

Development of a contra-rotating tidal current turbine and analysis of performance

A contra-rotating marine current turbine has a number of attractive features: nearzero reactive torque on the support structure, near-zero swirl in the wake, and high relative inter-rotor rotational speeds. Modified blade element modelling theory has been used to design and predict the characteristics of such a turbine, and a model turbine and test rig have been constructed. Tests in a towing tank demonstrated the feasibility of the concept. Power coefficients were high for such a small model and in excellent agreement with predictions, confirming the accuracy of the computational modelling procedures. Highfrequency blade loading data were obtained in the course of the experiments. These show the anticipated dynamic components for a contra-rotating machine. Flow visualization of the wake verified the lack of swirl behind the turbine. A larger machine is presently under construction for sea trials