Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference

We describe a new paradigm for implementing inference in belief networks, which consists of two steps: (1) compiling a belief network into an arithmetic expression called a Query DAG (Q-DAG); and (2) answering queries using a simple evaluation algorithm. Each node of a Q-DAG represents a numeric operation, a number, or a symbol for evidence. Each leaf node of a Q-DAG represents the answer to a network query, that is, the probability of some event of interest. It appears that Q-DAGs can be generated using any of the standard algorithms for exact inference in belief networks (we show how they can be generated using clustering and conditioning algorithms). The time and space complexity of a Q-DAG generation algorithm is no worse than the time complexity of the inference algorithm on which it is based. The complexity of a Q-DAG evaluation algorithm is linear in the size of the Q-DAG, and such inference amounts to a standard evaluation of the arithmetic expression it represents. The intended value of Q-DAGs is in reducing the software and hardware resources required to utilize belief networks in on-line, real-world applications. The proposed framework also facilitates the development of on-line inference on different software and hardware platforms due to the simplicity of the Q-DAG evaluation algorithm. Interestingly enough, Q-DAGs were found to serve other purposes: simple techniques for reducing Q-DAGs tend to subsume relatively complex optimization techniques for belief-network inference, such as network-pruning and computation-caching.Comment: See http://www.jair.org/ for any accompanying file

The role of the agent's outside options in principal-agent relationships

We consider a principal-agent model of adverse selection where, in order to trade with the principal, the agent must undertake a relationship-specific investment which affects his outside option to trade, i.e. the payoff that he can obtain by trading with an alternative principal. This creates a distinction between the agent’s ex ante (before investment) and ex post (after investment) outside options to trade. We investigate the consequences of this distinction, and show that whenever an agent’s ex ante and ex post outside options differ, this may equip the principal with an additional tool for screening among different agent types, by randomizing over the probability with which trade occurs once the agent has undertaken the investment. In turn, this may enhance the efficiency of the optimal second-best contract

Challenges for Efficient Query Evaluation on Structured Probabilistic Data

Query answering over probabilistic data is an important task but is generally intractable. However, a new approach for this problem has recently been proposed, based on structural decompositions of input databases, following, e.g., tree decompositions. This paper presents a vision for a database management system for probabilistic data built following this structural approach. We review our existing and ongoing work on this topic and highlight many theoretical and practical challenges that remain to be addressed.Comment: 9 pages, 1 figure, 23 references. Accepted for publication at SUM 201

Exploiting the Enumeration of All Feature Model Configurations

.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. We tackle the challenge of how to scale the existing enumeration techniques by relying on distributed computing. We show that the use of distributed computing techniques might offer practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines.Junta de Andalucía P12-TIC-1867Ministerio de Economía y Competitividad TIN2015- 70560-

The oxytocin/vasopressin receptor antagonist atosiban delays the gastric emptying of a semisolid meal compared to saline in human

BACKGROUND: Oxytocin is released in response to a meal. Further, mRNA for oxytocin and its receptor have been found throughout the gastrointestinal (GI) tract. The aim of this study was therefore to examine whether oxytocin, or the receptor antagonist atosiban, influence the gastric emptying. METHODS: Ten healthy volunteers (five men) were examined regarding gastric emptying at three different occasions: once during oxytocin stimulation using a pharmacological dose; once during blockage of the oxytocin receptors (which also blocks the vasopressin receptors) and thereby inhibiting physiological doses of oxytocin; and once during saline infusion. Gastric emptying rate (GER) was assessed and expressed as the percentage reduction in antral cross-sectional area from 15 to 90 min after ingestion of rice pudding. The assessment was performed by real-time ultrasonography. At the same time, the feeling of satiety was registered using visual satiety scores. RESULTS: Inhibition of the binding of endogenous oxytocin by the receptor antagonist delayed the GER by 37 % compared to saline (p = 0.037). In contrast, infusion of oxytocin in a dosage of 40 mU/min did not affect the GER (p = 0.610). Satiation scores areas in healthy subjects after receiving atosiban or oxytocin did not show any significant differences. CONCLUSION: Oxytocin and/or vasopressin seem to be regulators of gastric emptying during physiological conditions, since the receptor antagonist atosiban delayed the GER. However, the actual pharmacological dose of oxytocin in this study had no effect. The effect of oxytocin and vasopressin on GI motility has to be further evaluated

Integrating Multiple Sources of Knowledge for the Intelligent Detection of Anomalous Sensory Data in a Mobile Robot

For service robots to expand in everyday scenarios they must be able to identify and manage abnormal situations intelligently. In this paper we work at a basic sensor level, by dealing with raw data produced by diverse devices subjected to some negative circumstances such as adverse environmental conditions or difficult to perceive objects. We have implemented a probabilistic Bayesian inference process for deducing whether the sensors are working nominally or not, which abnormal situation occurs, and even to correct their data. Our inference system works by integrating in a rigorous and homogeneous mathematical framework multiple sources and modalities of knowledge: human expert, external information systems, application-specific and temporal. The results on a real service robot navigating in a structured mixed indoor-outdoor environment demonstrate good detection capabilities and set a promising basis for improving robustness and safety in many common service tasks.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Plant pathogenesis-related proteins of the cacao fungal pathogen Moniliophthora perniciosa differ in their lipid-binding specificities

Moniliophthora perniciosa is the causative agent of witches' broom disease, which devastates cacao cultures in South America. This pathogenic fungus infects meristematic tissues and derives nutrients from the plant apoplast during an unusually long-lasting biotrophic stage. In order to survive, the fungus produces proteins to suppress the plant immune response. Proteins of the Pathogenesis Related 1 (PR- 1)/CAP superfamily have been implicated in fungal virulence and immune suppression. The genome of M. perniciosa encodes eleven homologues of plant PR-1 proteins, designated MpPR-1 proteins, but their precise mode of action is poorly understood. In this study, we expressed MpPR-1 proteins in a yeast model lacking endogenous CAP proteins. We show that some members of the MpPR-1 family bind and promote secretion of sterols whereas others bind and promote secretion of fatty acids. Lipid-binding by purified MpPR-1 occurs with micromolar affinity and is saturable in vitro. Sterol binding by MpPR-1 requires the presence of a flexible loop region containing aromatic amino acids, the caveolin-binding motif. Remarkably, MpPR-1 family members that do not bind sterols can be converted to sterol binders by a single point mutation in the caveolin-binding motif. We discuss the possible implications of the lipid-binding activity of MpPR-1 family members with regard to the mode of action of these proteins during M. perniciosa infections

Crystal structure of MpPR-1i, a SCP/TAPS protein from Moniliophthora perniciosa , the fungus that causes witches’ broom disease of cacao

The pathogenic fungi Moniliophthora perniciosa causes Witches’ Broom Disease (WBD) of cacao. The structure of MpPR-1i, a protein expressed by M. perniciosa when it infects cacao, are presented. This is the first reported de novo structure determined by single-wavelength anomalous dispersion phasing upon soaking with selenourea. Each monomer has flexible loop regions linking the core alpha-beta-alpha sandwich topology that comprise ~50% of the structure, making it difficult to generate an accurate homology model of the protein. MpPR-1i is monomeric in solution but is packed as a high ~70% solvent content, crystallographic heptamer. The greatest conformational flexibility between monomers is found in loops exposed to the solvent channel that connect the two longest strands. MpPR-1i lacks the conserved CAP tetrad and is incapable of binding divalent cations. MpPR-1i has the ability to bind lipids, which may have roles in its infection of cacao. These lipids likely bind in the palmitate binding cavity as observed in tablysin-15, since MpPR-1i binds palmitate with comparable affinity as tablysin-15. Further studies are required to clarify the possible roles and underlying mechanisms of neutral lipid binding, as well as their effects on the pathogenesis of M. perniciosa so as to develop new interventions for WBD

The addition of locust bean gum but not water delayed the gastric emptying rate of a nutrient semisolid meal in healthy subjects

BACKGROUND: Most of the previous studies regarding the effects of gel-forming fibres have considered the gastric emptying of liquid or solid meals after the addition of pectin or guar gum. The influence of locust bean gum, on gastric emptying of nutrient semisolid meals in humans has been less well studied, despite its common occurrence in foods. Using a standardised ultrasound method, this study was aimed at investigating if the gastric emptying in healthy subjects could be influenced by adding locust been gum, a widely used thickening agent, or water directly into a nutrient semisolid test meal. METHODS: The viscosity of a basic test meal (300 g rice pudding, 330 kcal) was increased by adding Nestargel (6 g, 2.4 kcal), containing viscous dietary fibres (96.5%) provided as seed flour of locust bean gum, and decreased by adding 100 ml of water. Gastric emptying of these three test meals were evaluated in fifteen healthy non-smoking volunteers, using ultrasound measurements of the gastric antral area to estimate the gastric emptying rate (GER). RESULTS: The median value of GER with the basic test meal (rice pudding) was estimated at 63 %, (range 47 to 84 %), (the first quartile = 61 %, the third quartile = 69 %). Increasing the viscosity of the rice pudding by adding Nestargel, resulted in significantly lower gastric emptying rates (p < 0.01), median GER 54 %, (range 7 to 71 %), (the first quartile = 48 %, the third quartile = 60 %). When the viscosity of the rice pudding was decreased (basic test meal added with water), the difference in median GER 65 %, (range 38 to 79 %), (the first quartile = 56 %, the third quartile = 71 %) was not significantly different (p = 0.28) compared to the GER of the basic test meal. CONCLUSIONS: We conclude that the addition of locust bean gum to a nutrient semisolid meal has a major impact on gastric emptying by delaying the emptying rate, but that the addition of water to this test meal has no influence on gastric emptying in healthy subjects