The hardness of revising defeasible preferences

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment. Rules define relationships among elements. Lastly, an ordering among the rules, in the form of a superiority relation, establishes the relative strength of rules. To revise a non-monotonic theory, we can change either one of these three elements. We prove that the problem of revising a non-monotonic theory by only changing the superiority relation is a NP-complete problem.

Medical free-text to concept mapping as an information retrieval problem

Concept mapping involves determining relevant concepts from a free-text input, where concepts are defined in an external reference ontology. This is an important process that underpins many applications for clinical information reporting, derivation of phenotypic descriptions, and a number of state-of-the-art medical information retrieval methods. Concept mapping can be cast into an information retrieval (IR) problem: free-text mentions are treated as queries and concepts from a reference ontology as the documents to be indexed and retrieved. This paper presents an empirical investigation applying general-purpose IR techniques for concept mapping in the medical domain. A dataset used for evaluating medical information extraction is adapted to measure the effectiveness of the considered IR approaches. Standard IR approaches used here are contrasted with the effectiveness of two established benchmark methods specifically developed for medical concept mapping. The empirical findings show that the IR approaches are comparable with one benchmark method but well below the best benchmark.

Using smartphones for cycling safety: A survey of riders preferences and interest in new technologies

Cyclists are among the most vulnerable road users. Many recent interventions have aimed at improving their safety on the road, such as the minimum overtaking distance rule introduced in Queensland in 2014. Smartphones offer excellent opportunities for technical intervention for road safety at a limited cost. Indeed, they have a lot of available processing power and many embedded sensors that allow analysing a rider's (or driver's) motion, behaviour, and environment; this is especially relevant for cyclists, as they do not have the space or power allowance that can be found in most motor vehicles. The aim of the study presented in this paper is to assess cyclists’ support for a range of new smartphone-based safety technologies. The preliminary results for an online survey with cyclists recruited from Bicycle Queensland and Triathlon Queensland, with N=191, are presented. A number of innovative safety systems such as automatic logging of incidents without injuries, reporting of dangerous area via a website/app, automatic notification of emergency services in case of crash or fall, and advanced navigation apps were assessed. A significant part of the survey is dedicated to GoSafeCycle, a cooperative collision prevention app based on motion tracking and Wi-Fi communications developed at CARRS-Q. Results show a marked preference toward automatic detection and notification of emergencies (62-70% positive assessment) and GoSafeCycle (61.7% positive assessment), as well as reporting apps (59.1% positive assessment). Such findings are important in the context of current promotion of active transports and highlight the need for further development of system supported by the general public.

Permissions in Deontic Event-Calculus

Permissions are special case of deontic effects and play important role compliance. Essentially they are used to determine the obligations or prohibitions to contrary. A formal language e.g., temporal logic, event-calculus et., not able to represent permissions is doomed to be unable to represent most of the real-life legal norms. In this paper we address this issue and extend deontic-event-calculus (DEC) with new predicates for modelling permissions enabling it to elegantly capture the intuition of real-life cases of permissions.

Analysis of word embeddings and sequence features for clinical information extraction

This study investigates the use of unsupervised features derived from word embedding approaches and novel sequence representation approaches for improving clinical information extraction systems. Our results corroborate previous findings that indicate that the use of word embeddings significantly improve the effectiveness of concept extraction models; however, we further determine the influence that the corpora used to generate such features have. We also demonstrate the promise of sequence-based unsupervised features for further improving concept extraction.

Protein turnover in malnourished patients with cystic fibrosis: Effects of elemental and nonelemental nutritional supplements

To evaluate the relative efficacy of nonele-mental versus semielemental enteral supplements for nutritional rehabilitation of cystic fibrosis (CF) patients, whole-body protein turnover using the [15N]glycine method was studied in nine malnourished CF patients during enteral feedings, in a block design study compar-ing a semielemental formula (Criticare), a higher protein density but nonelemental formula (Traumacal) (T), and a nonelemental formula that had been modified to become isocaloric and isonitrogenous to the semielemental formula (modified Traumacal, MT). No significant differences in rates of protein synthesis or catabolism were observed comparing the three formulas. However the higher protein density nonelemental formula resulted in higher net protein deposition compared to the other two formulas (T + 0.42 g kg-110 h-1versus 0.33 g kg-110 h-1for Criticare and-0.59 g kg-110 h-1for MT), although this was significant (p < 0.05) for the MT versus T comparison only. This study lends support to the use of less expensive nonelemental formulas for the nutritional management of malnourished patients with CF. © 1990 Raven Press Ltd, New York.

Verbrennung and Vergasung Schwerer flussiger Kraftstoffe Einer Wirbelkammer

Abstract is not available.

Repeatable Condition-Invariant Visual Odometry for Sequence-Based Place Recognition

This paper describes a vision-only system for place recognition in environments that are tra- versed at different times of day, when chang- ing conditions drastically affect visual appear- ance, and at different speeds, where places aren’t visited at a consistent linear rate. The ma- jor contribution is the removal of wheel-based odometry from the previously presented algo- rithm (SMART), allowing the technique to op- erate on any camera-based device; in our case a mobile phone. While we show that the di- rect application of visual odometry to our night- time datasets does not achieve a level of perfor- mance typically needed, the VO requirements of SMART are orthogonal to typical usage: firstly only the magnitude of the velocity is required, and secondly the calculated velocity signal only needs to be repeatable in any one part of the environment over day and night cycles, but not necessarily globally consistent. Our results show that the smoothing effect of motion constraints is highly beneficial for achieving a locally consis- tent, lighting-independent velocity estimate. We also show that the advantage of our patch-based technique used previously for frame recogni- tion, surprisingly, does not transfer to VO, where SIFT demonstrates equally good performance. Nevertheless, we present the SMART system us- ing only vision, which performs sequence-base place recognition in extreme low-light condi- tions where standard 6-DOF VO fails and that improves place recognition performance over odometry-less benchmarks, approaching that of wheel odometry.

Design studio terrains: Mapping the learning landscapes of Australian architectural education

It has been nearly 25 years since the problems associated with passive learning in large undergraduate classes were first established by McDermott (1991). STEM education, for example North Carolina State University’s SCALE-UP project, has subsequently been influenced by some unique aspects of design studio education. While there are now many institutions applying SCALE-UP or similar approaches to enable lively interaction, enhanced learning, increased student engagement, and to teach many different content areas to classes of all sizes, nearly all of these have remained in the STEM fields (Beichner, 2008). Architectural education, although originally at the forefront of this field, has arguably been left behind. Architectural practice is undergoing significant change, globally. Access to new technology and the development of specialised architectural documentation software has scaffolded new building procurement methods and allowed consultant teams to work more collaboratively, efficiently and even across different time zones. Up until recently, the spatial arrangements, pedagogical approaches, and project work outcomes in the architectural design studio, have not been dissimilar to its inception. It is not possible to keep operating architectural design studios the same way that they have for the past two hundred years, with this new injection of high-end technology and personal mobile Wi-Fi enabled devices. Employing a grounded theory methodology, this study reviews the current provision of architectural design learning terrains across a range of tertiary institutions, in Australia. Some suggestions are provided for how these spaces could be modified to address the changing nature of the profession, and implications for how these changes may impact the design of future SCALE-UP type spaces outside of the discipline of architecture, are also explored.

Leistungssteigerung durch das Vergaster-Diesel-Verfahren, mit-Alkohol

Abstract is not available.

Verbrennung and Vergasung Schwerer flussiger Kraftstoffe Einer Wirbelkammer

Abstract is not available.

Resonances, scattering theory, and rigged Hilbert spaces

The problem of decaying states and resonances is examined within the framework of scattering theory in a rigged Hilbert space formalism. The stationary free,''in,'' and ''out'' eigenvectors of formal scattering theory, which have a rigorous setting in rigged Hilbert space, are considered to be analytic functions of the energy eigenvalue. The value of these analytic functions at any point of regularity, real or complex, is an eigenvector with eigenvalue equal to the position of the point. The poles of the eigenvector families give origin to other eigenvectors of the Hamiltonian: the singularities of the ''out'' eigenvector family are the same as those of the continued S matrix, so that resonances are seen as eigenvectors of the Hamiltonian with eigenvalue equal to their location in the complex energy plane. Cauchy theorem then provides for expansions in terms of ''complete'' sets of eigenvectors with complex eigenvalues of the Hamiltonian. Applying such expansions to the survival amplitude of a decaying state, one finds that resonances give discrete contributions with purely exponential time behavior; the background is of course present, but explicitly separated. The resolvent of the Hamiltonian, restricted to the nuclear space appearing in the rigged Hilbert space, can be continued across the absolutely continuous spectrum; the singularities of the continuation are the same as those of the ''out'' eigenvectors. The free, ''in'' and ''out'' eigenvectors with complex eigenvalues and those corresponding to resonances can be approximated by physical vectors in the Hilbert space, as plane waves can. The need for having some further physical information in addition to the specification of the total Hamiltonian is apparent in the proposed framework. The formalism is applied to the Lee–Friedrichs model and to the scattering of a spinless particle by a local central potential. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Integrating and evaluating neural word embeddings in information retrieval

Recent advances in neural language models have contributed new methods for learning distributed vector representations of words (also called word embeddings). Two such methods are the continuous bag-of-words model and the skipgram model. These methods have been shown to produce embeddings that capture higher order relationships between words that are highly effective in natural language processing tasks involving the use of word similarity and word analogy. Despite these promising results, there has been little analysis of the use of these word embeddings for retrieval. Motivated by these observations, in this paper, we set out to determine how these word embeddings can be used within a retrieval model and what the benefit might be. To this aim, we use neural word embeddings within the well known translation language model for information retrieval. This language model captures implicit semantic relations between the words in queries and those in relevant documents, thus producing more accurate estimations of document relevance. The word embeddings used to estimate neural language models produce translations that differ from previous translation language model approaches; differences that deliver improvements in retrieval effectiveness. The models are robust to choices made in building word embeddings and, even more so, our results show that embeddings do not even need to be produced from the same corpus being used for retrieval.

Automatic ICD-10 classification of cancers from free-text death certificates

Objective Death certificates provide an invaluable source for cancer mortality statistics; however, this value can only be realised if accurate, quantitative data can be extracted from certificates – an aim hampered by both the volume and variable nature of certificates written in natural language. This paper proposes an automatic classification system for identifying cancer related causes of death from death certificates. Methods Detailed features, including terms, n-grams and SNOMED CT concepts were extracted from a collection of 447,336 death certificates. These features were used to train Support Vector Machine classifiers (one classifier for each cancer type). The classifiers were deployed in a cascaded architecture: the first level identified the presence of cancer (i.e., binary cancer/nocancer) and the second level identified the type of cancer (according to the ICD-10 classification system). A held-out test set was used to evaluate the effectiveness of the classifiers according to precision, recall and F-measure. In addition, detailed feature analysis was performed to reveal the characteristics of a successful cancer classification model. Results The system was highly effective at identifying cancer as the underlying cause of death (F-measure 0.94). The system was also effective at determining the type of cancer for common cancers (F-measure 0.7). Rare cancers, for which there was little training data, were difficult to classify accurately (F-measure 0.12). Factors influencing performance were the amount of training data and certain ambiguous cancers (e.g., those in the stomach region). The feature analysis revealed a combination of features were important for cancer type classification, with SNOMED CT concept and oncology specific morphology features proving the most valuable. Conclusion The system proposed in this study provides automatic identification and characterisation of cancers from large collections of free-text death certificates. This allows organisations such as Cancer Registries to monitor and report on cancer mortality in a timely and accurate manner. In addition, the methods and findings are generally applicable beyond cancer classification and to other sources of medical text besides death certificates.