Beyond rules: The next generation of expert systems

The PARAGON Representation, Management, and Manipulation system is introduced. The concepts of knowledge representation, knowledge management, and knowledge manipulation are combined in a comprehensive system for solving real world problems requiring high levels of expertise in a real time environment. In most applications the complexity of the problem and the representation used to describe the domain knowledge tend to obscure the information from which solutions are derived. This inhibits the acquisition of domain knowledge verification/validation, places severe constraints on the ability to extend and maintain a knowledge base while making generic problem solving strategies difficult to develop. A unique hybrid system was developed to overcome these traditional limitations

The Neon Abundance of Galactic Wolf-Rayet Stars

The fast, dense winds which characterize Wolf-Rayet (WR) stars obscure their underlying cores, and complicate the verification of evolving core and nucleosynthesis models. Core evolution can be probed by measuring abundances of wind-borne nuclear processed elements, partially overcoming this limitation. Using ground-based mid-infrared spectroscopy and the 12.81um [NeII] emission line measured in four Galactic WR stars, we estimate neon abundances and compare to long-standing predictions from evolved-core models. For the WC star WR121, this abundance is found to be >~11x the cosmic value, in good agreement with predictions. For the three less-evolved WN stars, little neon enhancement above cosmic values is measured, as expected. We discuss the impact of clumping in WR winds on this measurement, and the promise of using metal abundance ratios to eliminate sensitivity to wind density and ionization structure.Comment: Accepted for publication in ApJ; 9 pages, 2 color figures, 4 table

The physiologic correlates of learning in the classroom environment

This study served to further investigate learning and memory, and to offer a potential tool to support educational interventions. More specifically, this was accomplished by an investigation of the physiologic changes in the brain that occurred while students learned medical anatomy. A group of 29 students taking the Gross Anatomy course at Boston University School of Medicine participated in the study. Testing occurred in two sessions: prior to the course and at the completion of the course. For each session, scalp EEG was recorded while participants were shown 176 anatomical terms (132 relevant to the course and 44 obscure) and asked to respond with "Can Define", "Familiar", or "Don't Know". Behavioral results indicated a positive correlation between participants' course grades and performance on the experimental tasks. EEG results were analyzed for event-related potential (ERP) components related to two memory components: familiarity and recollection. Results had a number of indications. For Don't Know responses, a stronger early frontal, late parietal, and late frontal effect occurred more so for terms of Session 1 compared to Session 2. For an analysis of just Session 2 data, results indicated increased activity of the early frontal, late parietal, and late frontal effects for Can Define responses only. Session 2 Can Define responses elicited a stronger early frontal ERP, occurring between 300 and 500 milliseconds yet, the most post-retrieval processing and monitoring appeared for Can Define terms of Session 2. Ultimately, we focused on investigating two points: 1) the effect of classroom learning on memory, and 2) the examination of ERPs as a tool to guide education interventions. Specifically, ERPs would potentially indicate markers to predict whether students would retain materials long before behavioral measures indicate these results. This has potential to determine whether long-lasting or transient learning will occur; as well as the potential to support early intervention strategies for not just students, but also individuals with learning disabilities or memory impairments

The patterning of finance/security : a designerly walkthrough of challenger banking apps

Culture is being ‘appified’. Diverse, pre-existing everyday activities are being redesigned so they happen with and through apps. While apps are often encountered as equivalent icons in apps stores or digital devices, the processes of appification – that is, the actions required to turn something into an app – vary significantly. In this article, we offer a comparative analysis of a number of ‘challenger’ banking apps in the United Kingdom. As a retail service, banking is highly regulated and banks must take steps to identify and verify their customers before entering a retail relationship. Once established, this ‘secured’ financial identity underpins a lot of everyday economic activity. Adopting the method of the walkthrough analysis, we study the specific ways these processes of identifying and verifying the identity of the customer (now the user) occur through user onboarding. We argue that banking apps provide a unique way of binding the user to an identity, one that combines the affordances of smart phones with the techniques, knowledge and patterns of user experience design. With the appification of banking, we see new processes of security folded into the everyday experience of apps. Our analysis shows how these binding identities are achieved through what we refer to as the patterning of finance/security. This patterning is significant, moreover, given its availability for wider circulation beyond the context of retail banking apps

A new species of Colletes (Hymenoptera: Apoidea: Colletidae) from northern Florida and Georgia, with notes on the Colletes of those states

Colletes ultravalidus Hall & Ascher, new species, is described from several sites in northwestern Florida and southeastern Georgia.  It is a member of the inaequalis species group, very similar to C. validus Cresson, a specialist of Ericaceae, but can be distinguished by an even more elongate malar area and the absence of conspicuous tergal fascia.  Colletes ultravalidus has been found flying from early winter to early spring when it forms nest aggregations in xeric sites adjacent to shrub bog or basin swamp, the habitat of Pieris phyllyreifolia (Hook.) DC. (Ericaceae), the most likely, but as yet unconfirmed, host plant of the new species.  State records of Colletes for Florida and Georgia are reviewed and discrepancies in taxonomy and distributional limits between Stephen’s 1954 revision of the genus and Mitchell’s 1960 monograph of eastern North American bees are noted.  We concur with Stephen that the distributions of several taxa in Colletes are more limited than that reported by Mitchell

6. Ian T. Ramsey

In view of the requirement of verifiability that is demanded by certain philosophical schools, there seems little justification for what are conventionally recognized as theological statements. Certainly no one man has yet succeeded, except perhaps to his own satisfaction, in expressing religious notions in such language and in verifying by such a method that universal consent is gained for the validity of his system. If the charm of empirical verification is not invoked, then for some minds there is little reason to say anything. Obviously, given such rigid requirements for securing a sympathetic audience, theological discussion may find itself standing tongue-tied in the wings while logic and empiricism dominate the stage. But faced with the possibility of the eventual demise of theology, an effort is made to translate religious experience into intellectual terms which are acceptable to these critics. [excerpt

On Face Segmentation, Face Swapping, and Face Perception

We show that even when face images are unconstrained and arbitrarily paired, face swapping between them is actually quite simple. To this end, we make the following contributions. (a) Instead of tailoring systems for face segmentation, as others previously proposed, we show that a standard fully convolutional network (FCN) can achieve remarkably fast and accurate segmentations, provided that it is trained on a rich enough example set. For this purpose, we describe novel data collection and generation routines which provide challenging segmented face examples. (b) We use our segmentations to enable robust face swapping under unprecedented conditions. (c) Unlike previous work, our swapping is robust enough to allow for extensive quantitative tests. To this end, we use the Labeled Faces in the Wild (LFW) benchmark and measure the effect of intra- and inter-subject face swapping on recognition. We show that our intra-subject swapped faces remain as recognizable as their sources, testifying to the effectiveness of our method. In line with well known perceptual studies, we show that better face swapping produces less recognizable inter-subject results. This is the first time this effect was quantitatively demonstrated for machine vision systems

Kate's Model Verification Tools

Kennedy Space Center's Knowledge-based Autonomous Test Engineer (KATE) is capable of monitoring electromechanical systems, diagnosing their errors, and even repairing them when they crash. A survey of KATE's developer/modelers revealed that they were already using a sophisticated set of productivity enhancing tools. They did request five more, however, and those make up the body of the information presented here: (1) a transfer function code fitter; (2) a FORTRAN-Lisp translator; (3) three existing structural consistency checkers to aid in syntax checking their modeled device frames; (4) an automated procedure for calibrating knowledge base admittances to protect KATE's hardware mockups from inadvertent hand valve twiddling; and (5) three alternatives for the 'pseudo object', a programming patch that currently apprises KATE's modeling devices of their operational environments

Discrete Torsion and Shift Orbifolds

In this paper we make two observations related to discrete torsion. First, we observe that an old obscure degree of freedom (momentum/translation shifts) in (symmetric) string orbifolds is related to discrete torsion. We point out how our previous derivation of discrete torsion from orbifold group actions on B fields includes these momentum lattice shift phases, and discuss how they are realized in terms of orbifold group actions on D-branes. Second, we describe the M theory dual of IIA discrete torsion, a duality relation to our knowledge not previously understood. We show that IIA discrete torsion is encoded in analogues of the shift orbifolds above for the M theory C field.Comment: 28 pages, LaTeX, 3 figures; v2: references adde