Consistency-based and abductive diagnoses as generalised stable models

If realistic systems are to be successfully modelled and efficiently diagnosed using model-based techniques, a more expressive language than classical logic is required. In this paper, we present a definition of diagnosis which allows the use of a nonmonotonic construct, negation as failure, in the modelling language. This definition is based on thegeneralised stable model semantics of abduction. Furthermore, we argue that, if negation as failure is permitted in the modelling language, the distinction between abductive and consistency-based diagnosis is no longer clear. Our definition allows both forms of diagnosis to be expressed in a single framework. It also allows a single interference procedure to perform abductive or consistency-based diagnosis, as appropriate.This paper is an extended and revised version of ref. [29].     

Testable heuristics for the 0–1 knapsack problem

Two kinds of heuristics, fixed time and cut time, are proposed in order to use the running time available in solving 0–1 knapsack problems profitably.Translated from Kibernetika, No. 2, pp. 44–52, March–April, 1991.     

Doped silicon and NIS junctions for bolometer applications

We discuss the performance, of a normal metal hot electron bolometer (NHEB) that we have measured at 0.3 K. We found that the noise equivalent power was limited by the amplifier noise. To improve the NHEB power response and to make it more robust and reliable we propose to substitute the normal metal with heavily doped silicon. The heavily doped silicon behaves like a metal with lower carrier concentration and has a smaller electron–phonon thermal coupling. We have fabricated superconductor-doped silicon-superconductor contacts (S-Sm-S) and we have used them as thermometers and coolers.     

Use of recycled copper slag for blended cements

Copper slag is a by‐product generated during smelting to extract copper metal from the ore. The copper slag obtained may exhibit pozzolanic activity and may therefore be used in the manufacture of addition‐containing cements. In this paper the effect of the incorporation of the copper slag in cement is measured. Blends of copper slag with Portland cement generally possess properties equivalent to Portland cement containing fly ash, but very different to the silica fume incorporation. Copper slag and fly ash reduce the heat of hydration more effectively than silica fume in mortars. The replacement of 30% cement by copper slag reduces the flexural and compressive strength in a similar way to fly ash; however, after 28 days, the reduction is less than the percentage of substitution. Hydrated calcium aluminate phases were analysed using scanning electron microscopy (SEM) and X‐ray diffraction (XRD) techniques. The pozzolanic activity of copper slag is similar to that of fly ash and higher than silica fume. In the presence of low water/cement ratios, certain pozzolanic materials produce a very compact cement paste that limits the space available for hydration products, a determining factor in the formation of hydrated calcium aluminates. SEM was found to be a useful analytical technique when aluminates are formed and can be clearly detected by XRD. Copyright © 2008 Society of Chemical Industry     

Pharmacological distribution diagrams: a tool for de novo drug design

BACKGROUND: There is no empirical data available on attitudes concerning AIDS and habits towards HIV infected patients of physicians in general or private practice. In this study results of a self-evaluation are presented. METHODS: 178 physicians working with out-patients in different medical fields were randomly selected for a cross sectional study and interviewed using a standardised questionnaire. RESULTS: 89% think that they are sufficiently informed about AIDS (in the USA 20%). They regarded the risk of infection to be lower than the Anglo-American physicians. They believed there is a lack of interchange of information between colleagues regarding the degree of infectiousness of referred patients. A third of the physicians fear that other patients will go elsewhere if they find out that their physician is treating AIDS patients. 54% would hold special clinic sessions for HIV-patients outside the normal schedule for practice times. 89% believed that HIV patients were partly to blame for their illness. CONCLUSIONS: Although the physicians recognise the problem of HIV-infection, they partly deny the real necessities and facts. A reason for this could be the emotions underlying the general attitude to everything pertaining to HIV-disease. Attitudes to HIV-disease and the dealing with it in daily practice must be considered on the basis of individual emotional motives.     

Comparison of finite element reliability methods

The spectral stochastic finite element method (SSFEM) aims at constructing a probabilistic representation of the response of a mechanical system, whose material properties are random fields. The response quantities, e.g. the nodal displacements, are represented by a polynomial series expansion in terms of standard normal random variables. This expansion is usually post-processed to obtain the second-order statistical moments of the response quantities. However, in the literature, the SSFEM has also been suggested as a method for reliability analysis. No careful examination of this potential has been made yet. In this paper, the SSFEM is considered in conjunction with the first-order reliability method (FORM) and with importance sampling for finite element reliability analysis. This approach is compared with the direct coupling of a FORM reliability code and a finite element code. The two procedures are applied to the reliability analysis of the settlement of a foundation lying on a randomly heterogeneous soil layer. The results are used to make a comprehensive comparison of the two methods in terms of their relative accuracies and efficiencies.     

Affordances in the design of enactive systems

Enactive interfaces must incorporate intuitive activity that characterizes naturalistic perception. However, the manner in which information is presented is not more important than the contents: what information is presented. In this contribution, we address the contents of perception. We argue that people perceive affordances, that is, the possible actions that are available in any given situation. We further argue that enactive interfaces should be designed to optimize presentation of information about the possible actions that are available to a person using the enactive interface. The design of enactive interfaces might be guided by an extension of the theory of ecological interface design (Vicente in Hum Factors 44:62–78, 2002) to include multimodal information that is accessed through fast, intuitive exploratory movement. We review two empirical studies that illustrate our arguments. Careful analysis of affordances, together with our increasing understanding of the enactive perception of affordances, should influence the design of enactive interfaces.     

One Hundred Years of Social Psychology Quantitatively Described.

This article compiles results from a century of social psychological research, more than 25,000 studies of 8 million people. A large number of social psychological conclusions are listed alongside meta-analytic information about the magnitude and variability of the corresponding effects. References to 322 meta-analyses of social psychological phenomena are presented, as well as statistical effect-size summaries. Analyses reveal that social psychological effects typically yield a value of r equal to .21 and that, in the typical research literature, effects vary from study to study in ways that produce a standard deviation in r of .15. Uses, limitations, and implications of this large-scale compilation are noted. (PsycINFO Database Record (c) 2010 APA, all rights reserved)