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.     

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.     

Screening of supports for the immobilization of pectinmethylesterase from acerola (Malpighia glabra L)

A partially purified extract of pectinmethylesterase (PME) from acerola fruit was immobilized on various supports: glass, celite, chrysotile, agarose, concanavalin A Sepharose 4B, egg shell, polyacrylamide and gelatin. In addition, reticulation with glutaraldehyde was assessed, as well as the use of gelatin in the presence of celite, glass and silica. The highest immobilization yields were obtained when the pectinmethylesterase was immobilized in concanavalin A Sepharose 4B (81.7%) and in gelatin‐water (78.0%). Copyright © 2004 Society of Chemical Industry     

Controlling the losing probability in a monotone game

We deal with a complex game between Alice and Bob where each contender’s probability of victory grows monotonically by unknown amounts with the resources employed. For a fixed effort on Alice’s part, Bob increases his resources on the basis of the results for each round (victory, tie or defeat) with the aim of reducing the probability of defeat to below a given threshold. We read this goal in terms of computing a confidence interval for the probability of losing and realize that the moves in some contests may bring in an indeterminacy trap: in certain games Bob cannot simultaneously have both a low probability-of-defeat measure and a narrow confidence interval. We use the inferential mechanism called twisting argument to compute the above interval on the basis of two joint statistics. Careful use of such statistics allows us to avoid indeterminacy.     

Measuring interdiffusion at an interface between two elastomers with tapping-mode and contact-resonance atomic force microscopy imaging

Despite the common use of tapping-mode atomic force microscopy to image composites or polymer blends, very few studies have focused on the measurement of the interdiffusion at an interface between two polymers in contact. In this study, we show how to assess the interphase between two polymers with two methods. First, stable and robust tapping conditions are established, and the problem of the phase contrast is discussed. Second, a contact-resonance method is presented: the tip in contact with the sample is electrostatically excited at its resonance frequency by a self-controlled oscillator. The gain and frequency images allow us to measure the interdiffusion width. Both methods (using high and weak mechanical solicitation) give the same assessment of the interdiffusion width. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Lack of effects of lesions of the dorsal noradrenergic bundle on behavioral vigilance

The effects of 6-hydroxydopamine (6-OHDA)-induced lesions of the dorsal noradrenergic bundle (DNB) were assessed in animals trained in a task designed to measure sustained attention, or vigilance. Infusions of 6-OHDA reduced frontal cortical noradrenaline contents but did not significantly affect striatal and hypothalamic noradrenaline contents. The performance of lesioned animals did not differ significantly from sham-lesioned controls. The performance of both the lesioned and sham-lesioned animals was impaired by the presentation of a visual distractor and by a decrease in the probability for a signal. The results from this study largely coincide with the results from previous studies on the effects of noradrenergic lesions on various aspects of attention. In contrast to the attentional functions assessed in this experiment, the ability to detect and select stimuli that are associated with activation of sympathetic functions is hypothesized to be sensitive to the effects of DNB lesions.     

High-Performance Multilayer Capacitor Dielectrics from Chemically Prepared Powders

Advantages of chemically prepared powders for electronic ceramics have been demonstrated for a number of multilayer capacitor (MLC) dielectrics. A cost-efficient precipitation process was developed to produce undoped or doped crystalline barium titanate powder with a narrow particle size distribution close to 0.5 μm. More complex compositions, e.g., barium-neodymium titanate, were amorphous as precipitated but could be crystallized by calcination below 1000°C. Additional compositional modifications, to adjust electrical properties or to lower sintering temperature, were accomplished by doping the surface of the powder particles using a solution coating process. Exceptional fired densities and electrical performance were obtained.     

Design and implementation of a confidentiality and access control solution for publish/subscribe systems

The publish/subscribe model offers a loosely-coupled communication paradigm where applications interact indirectly and asynchronously. Publishers generate events that are sent to interested applications through a network of brokers. Subscribers express their interest by specifying filters that brokers can use for routing the events. Supporting confidentiality of messages being exchanged is still challenging. First of all, it is desirable that any scheme used for protecting the confidentiality of both the events and filters should not require publishers and subscribers to share secret keys. In fact, such a restriction is against the loose-coupling of the model. Moreover, such a scheme should not restrict the expressiveness of filters and should allow the broker to perform event filtering to route the events to the interested parties. Existing solutions do not fully address these issues. In this paper, we provide a novel scheme that supports (i) confidentiality for events and filters; (ii) allows publishers to express further constraints about who can access their events; (iii) filters that can express very complex constraints on events even if brokers are not able to access any information in clear on both events and filters; (iv) and, finally, it does not require publishers and subscribers to share keys. Furthermore, we show how we applied our scheme to a real-world e-health scenario, developed together with a hospital. We also describe the implementation of our solution in Java and the integration with an existing publish/subscribe system.