Constructing probabilistic ATMS using extended incidence calculus

This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing incidence sets of these statements in extended incidence calculus. We then demonstrate that the justification set for a node is functionally equivalent to the implication relation set for the same node in extended incidence calculus. As a consequence, extended incidence calculus can provide justifications for an ATMS, because implication relation sets are discovered by the system automatically. We also show that extended incidence calculus provides a theoretical basis for constructing a probabilistic ATMS by associating proper probability distributions on assumptions. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any of such nodes in it. The nogood environments can also be obtained automatically. Therefore, extended incidence calculus and the ATMS are equivalent in carrying out inferences at both the symbolic level and the numerical level. This extends a result due to Laskey and Lehner.

A frequency measure robust to linear filtering

It is noted that the determination of an oscillation frequency by used of the power spectrum of measured time series is susceptible to filtering of the signal. Similarly, frequency measurements made by period counting can yield different, results depending on how the signal is filtered for noise reduction. In an attempt to eliminate these ambiguities, a new measure of frequency, based on an approximate reconstruction of the phase-space trajectory of the oscillator from the signal, is introduced. This measure is shown to be invariant under linear filtering. For this reason, it is also inaccessible by spectral methods. The effect of filtering on frequency for weakly nonlinear, noisy oscillators, to which this definition applies only imperfectly, is quantified. This work provides the theoretical basis for frequency measurements employing MIRVA filtering.

Transport, atom blockade and output coupling in a Tonks-Girardeau gas

Recent landmark experiments have demonstrated how quantum mechanical impurities can be created within strongly correlated quantum gases and used to probe the coherence properties of these systems. Here we present a theoretical model to simulate such an output coupler for a Tonks- Girardeau gas that shows excellent agreement with the experimental results for atom transport and output coupling. The solid theoretical basis our model provides allows us to explore non-equilibrium transport phenomena in ultra-cold quantum gases and leads us to predict a regime of atom blockade, where the impurity component becomes localised in the parent cloud despite the presence of gravity. We show that this provides a stable mixed-species quantum gas in the strongly correlated limit.

Evaluation of Four Designed Virtual Agent Personalities

Convincing conversational agents require a coherent set of behavioral responses that can be interpreted by a human observer as indicative of a personality. This paper discusses the continued development and subsequent evaluation of virtual agents based on sound psychological principles. We use Eysenck's theoretical basis to explain aspects of the characterization of our agents, and we describe an architecture where personality affects the agent's global behavior quality as well as their back-channel productions. Drawing on psychological research, we evaluate perception of our agents' personalities and credibility by human viewers (N = 187). Our results suggest that we succeeded in validating theoretically grounded indicators of personality in our virtual agents, and that it is feasible to place our characters on Eysenck's scales. A key finding is that the presence of behavioral characteristics reinforces the prescribed personality profiles that are already emerging from the still images. Our long-term goal is to enhance agents' ability to sustain realistic interaction with human users, and we discuss how this preliminary work may be further developed to include more systematic variation of Eysenck's personality scales. © 2012 IEEE.


--------------------------------------------------------------------------------

Reaxys Database Information|

--------------------------------------------------------------------------------

Optimizing the balance between false positive and false negative error probabilities of confirmatory methods for the detection of veterinary drug residues

GC-MS data on veterinary drug residues in bovine urine are used for controlling the illegal practice of fattening cattle. According to current detection criteria, peak patterns of preferably four ions should agree within 10 or 20% from a corresponding standard pattern. These criteria are rigid, rather arbitrary and do not match daily practice. A new model, based on multivariate modeling of log peak abundance ratios, provides a theoretical basis for the identification of analytes and optimizes the balance between the avoidance of false positives and false negatives. The performance of the model is demonstrated on data provided by five laboratories, each supplying GC-MS measurements on the detection of clenbuterol, dienestrol and 19 beta-nortestosterone in urine. The proposed model shows a better performance than confirmation by using the current criteria and provides a statistical basis for inspection criteria in terms of error probabilities.

Electronic properties of interfaces and defects from many-body perturbation theory: Recent developments and applications

We review some recent developments in many body perturbation theory (MBPT) calculations that have enabled the study of interfaces and defects. Starting from the theoretical basis of MBPT, Hedin's equations are presented, leading to the CW and CWI' approximations. We introduce the perturbative approach, that is the one most commonly used for obtaining quasiparticle (QP) energies. The practical strategy presented for dealing with the frequency dependence of the self energy operator is based on either plasmon-pole models (PPM) or the contour deformation technique, with the latter being more accurate. We also discuss the extrapolar method for reducing the number of unoccupied states which need to be included explicity in the calculations. The use of the PAW method in the framework of MBPT is also described. Finally, results which have been obtained using, MBPT for band offsets a interfaces and for defects presented, with companies on the main difficulties and cancels.

Schematic representation of the QP corrections (marked with ) to the band edges (E and E-v) and a defect level (F) for a Si/SiO2 interface (Si and O atoms are represented in blue and red, respectively, in the ball and stick model) with an oxygen vacancy leading to a Si-Si bond (the Si atoms involved in this bond are colored light blue).

Direct, positive feedbacks produce instability in models of interrelationships among soil structure, plants and arbuscular mycorrhizal fungi

Current conceptual models of reciprocal interactions linking soil structure, plants and arbuscular mycorrhizal fungi emphasise positive feedbacks among the components of the system. However, dynamical systems with high dimensionality and several positive feedbacks (i.e. mutualism) are prone to instability. Further, organisms such as arbuscular mycorrhizal fungi (AMF) are obligate biotrophs of plants and are considered major biological agents in soil aggregate stabilization. With these considerations in mind, we developed dynamical models of soil ecosystems that reflect the main features of current conceptual models and empirical data, especially positive feedbacks and linear interactions among plants, AMF and the component of soil structure dependent on aggregates. We found that systems become increasingly unstable the more positive effects with Type I functional response (i.e., the growth rate of a mutualist is modified by the density of its partner through linear proportionality) are added to the model, to the point that increasing the realism of models by adding linear effects produces the most unstable systems. The present theoretical analysis thus offers a framework for modelling and suggests new directions for experimental studies on the interrelationship between soil structure, plants and AMF. Non-linearity in functional responses, spatial and temporal heterogeneity, and indirect effects can be invoked on a theoretical basis and experimentally tested in laboratory and field experiments in order to account for and buffer the local instability of the simplest of current scenarios. This first model presented here may generate interest in more explicitly representing the role of biota in soil physical structure, a phenomenon that is typically viewed in a more process- and management-focused context. (C) 2011 Elsevier Ltd. All rights reserved.

On transition rates in surface hopping

Trajectory surface hopping (TSH) is one of the most widely used quantum-classical algorithms for nonadiabatic molecular dynamics. Despite its empirical effectiveness and popularity, a rigorous derivation of TSH as the classical limit of a combined quantum electron-nuclear dynamics is still missing. In this work, we aim to elucidate the theoretical basis for the widely used hopping rules. Naturally, we concentrate thereby on the formal aspects of the TSH. Using a Gaussian wave packet limit, we derive the transition rates governing the hopping process at a simple avoided level crossing. In this derivation, which gives insight into the physics underlying the hopping process, some essential features of the standard TSH algorithm are retrieved, namely (i) non-zero electronic transition rate ("hopping probability") at avoided crossings; (ii) rescaling of the nuclear velocities to conserve total energy; (iii) electronic transition rates linear in the nonadiabatic coupling vectors. The well-known Landau-Zener model is then used for illustration. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4770280]

A new method for transmission loss allocation considering the circulating currents between generators

A new method is presented for transmission loss allocation based on the separation of transmission loss caused by load and the loss due to circulating currents between generators. The theoretical basis for and derivation of the loss formulae are presented using simple systems. The concept is then extended to a general power system using the Ybus model. Details of the application of the proposed method to a typical power system are presented along with results from the IEEE 30 bus test system. The results from both the small system and the standard IEEE test system demonstrate the validity of the proposed method.

Using dispersive delay lines and time reversal for low contrast tumour detection

On the basis of the technique of time reversal (TR), through adding dispersive delay lines to each element of a TR mirror, a method for low contrast tumour detection is proposed. When compared with a conventional detection method, the proposed method improves refocusing onto a low dielectric contrast tumour. The method does not require an accurate estimate of the position of the tumour. The theoretical basis for the approach is given and numerical simulated results demonstrate the capability of the proposed method.

Beyond Criminal Justice: An anthology of abolitionist papers presented to conferences of the European Group for the Study of Deviance and Social Control over the past decade

Beyond Criminal Justice presents a vision of a future without brutal, authoritarian and repressive penal regimes. Many of the papers brought together here have been unavailable for more than two decades. Their republication indicates not only their continuing theoretical importance to abolitionist studies but also how they provide important insights into the nature and legitimacy of criminal processes in the here and now. Contributors highlight the human consequences of the harms of imprisonment, evidencing the hurt, injury and damage of penal incarceration across a number of different countries in Europe. Focusing on penal power and prisoner contestation to such power, the moral and political crises of imprisonment are laid bare. The contributors to Beyond Criminal Justice explore the urgent need for a coherent, rational and morally and politically sophisticated theoretical basis for penal abolitionism. Advocating a utopian imagination and at the same time practical solutions already implemented in countries around Europe - alongside grappling with controversial debates such as abolitionist responses to rape and sexual violence - the book steps outside of common sense assumptions regarding 'crime', punishment and 'criminal justice'. Beyond Criminal Justice will be of interest to students of criminology, zemiology, sociology, penology and critical legal studies as well as anyone interested in rethinking the problem of 'crime' and challenging the logic of the penal rationale.

Domestic Cooking and Food Skills: A Review

Domestic cooking skills (CS) and food skills (FS) encompass multiple components, yet there is a lack of consensus on their constituent parts, inter-relatedness or measurement, leading to limited empirical support for their role in influencing dietary quality. This review assessed the measurement of CS and FS in adults (>16 years); critically examining study designs, psychometric properties of measures, theoretical basis and associations of CS/FS with diet. Electronic databases (PsychInfo), published reports and systematic reviews on cooking and home food preparation interventions (Rees et al. 2012 ; Reicks et al. 2014 ) provided 834 articles of which 26 met the inclusion criteria. Multiple CS/FS measures were identified across three study designs: qualitative; cross-sectional; and dietary interventions; conducted from 1998-2013. Most measures were not theory-based, limited psychometric data was available, with little consistency of items or scales used for CS/FS measurements. Some positive associations between CS/FS and FV intake were reported; though lasting dietary changes were uncommon. The role of psycho-social (e.g., gender, attitudes) and external factors (e.g. food availability) on CS/FS is discussed. A conceptual framework of CS/FS components is presented for future measurement facilitation, which highlights the role for CS/FS on food-related behaviour and dietary quality. This will aid future dietary intervention design.

Psychosocial interventions to improve quality of life and emotional wellbeing for recently diagnosed cancer patients

BACKGROUND:
A cancer diagnosis may lead to significant psychological distress in up to 75% of cases. There is a lack of clarity about the most effective ways to address this psychological distress.
OBJECTIVES:
To assess the effects of psychosocial interventions to improve quality of life (QoL) and general psychological distress in the 12-month phase following an initial cancer diagnosis.
SEARCH METHODS:
We searched the Cochrane Central Register of Controlled Trials (CENTRAL) (The Cochrane Library 2010, Issue 4), MEDLINE, EMBASE, and PsycINFO up to January 2011. We also searched registers of clinical trials, abstracts of scientific meetings and reference lists of included studies. Electronic searches were carried out across all primary sources of peer-reviewed publications using detailed criteria. No language restrictions were imposed.
SELECTION CRITERIA:
Randomised controlled trials of psychosocial interventions involving interpersonal dialogue between a 'trained helper' and individual newly diagnosed cancer patients were selected. Only trials measuring QoL and general psychological distress were included. Trials involving a combination of pharmacological therapy and interpersonal dialogue were excluded, as were trials involving couples, family members or group formats.
DATA COLLECTION AND ANALYSIS:
Trial data were examined and selected by two authors in pairs with mediation from a third author where required. Where possible, outcome data were extracted for combining in a meta-analyses. Continuous outcomes were compared using standardised mean differences and 95% confidence intervals, using a random-effects model. The primary outcome, QoL, was examined in subgroups by outcome measurement, cancer site, theoretical basis for intervention, mode of delivery and discipline of trained helper. The secondary outcome, general psychological distress (including anxiety and depression), was examined according to specified outcome measures.
MAIN RESULTS:
A total of 3309 records were identified, examined and the trials subjected to selection criteria; 30 trials were included in the review. No significant effects were observed for QoL at 6-month follow up (in 9 studies, SMD 0.11; 95% CI -0.00 to 0.22); however, a small improvement in QoL was observed when QoL was measured using cancer-specific measures (in 6 studies, SMD 0.16; 95% CI 0.02 to 0.30). General psychological distress as assessed by 'mood measures' improved also (in 8 studies, SMD - 0.81; 95% CI -1.44 to - 0.18), but no significant effect was observed when measures of depression or anxiety were used to assess distress (in 6 studies, depression SMD 0.12; 95% CI -0.07 to 0.31; in 4 studies, anxiety SMD 0.05; 95% CI -0.13 to 0.22). Psychoeducational and nurse-delivered interventions that were administered face to face and by telephone with breast cancer patients produced small positive significant effects on QoL (in 2 studies, SMD 0.23; 95% CI 0.04 to 0.43).
AUTHORS' CONCLUSIONS:
The significant variation that was observed across participants, mode of delivery, discipline of 'trained helper' and intervention content makes it difficult to arrive at a firm conclusion regarding the effectiveness of psychosocial interventions for cancer patients. It can be tentatively concluded that nurse-delivered interventions comprising information combined with supportive attention may have a beneficial impact on mood in an undifferentiated population of newly diagnosed cancer patients.