1,290 research outputs found

    Kostenreduzierter Testreaktor

    No full text

    Commercial Law—Uniform Commercial Code—Bank May Cancel Letter of Credit Without Verifying Accuracy of Customer’s Affidavit

    Get PDF
    Fair Pavilions, Inc. v. First Nat\u27l City Bank, 24 A.D.2d 109, 264 N.Y.S.2d 255 (1st Dep\u27t 1965)

    Constitutional Law—Price Regulation of Liquor Industry Not Violative of Due Process of Law

    Get PDF
    Joseph E. Seagram and Sons, Inc. v. Hostetter, 16 N.Y. 47, 209 N.E.2d 701, 262 N.Y.S.2d 75, cert. granted, 34 U.S.L. Week 3179 (U.S. Nov. 23, 1965)

    Ignorable Information in Multi-Agent Scenarios

    Get PDF
    In some multi-agent scenarios, identifying observations that an agent can safely ignore reduces exponentially the size of the agent's strategy space and hence the time required to find a Nash equilibrium. We consider games represented using the multi-agent influence diagram (MAID) framework of Koller and Milch [2001], and analyze the extent to which information edges can be eliminated. We define a notion of a safe edge removal transformation, where all equilibria in the reduced model are also equilibria in the original model. We show that existing edge removal algorithms for influence diagrams are safe, but limited, in that they do not detect certain cases where edges can be removed safely. We describe an algorithm that produces the "minimal" safe reduction, which removes as many edges as possible while still preserving safety. Finally, we note that both the existing edge removal algorithms and our new one can eliminate equilibria where agents coordinate their actions by conditioning on irrelevant information. Surprisingly, in some games these "lost" equilibria can be preferred by all agents in the game

    Lower Complexity Bounds for Lifted Inference

    Full text link
    One of the big challenges in the development of probabilistic relational (or probabilistic logical) modeling and learning frameworks is the design of inference techniques that operate on the level of the abstract model representation language, rather than on the level of ground, propositional instances of the model. Numerous approaches for such "lifted inference" techniques have been proposed. While it has been demonstrated that these techniques will lead to significantly more efficient inference on some specific models, there are only very recent and still quite restricted results that show the feasibility of lifted inference on certain syntactically defined classes of models. Lower complexity bounds that imply some limitations for the feasibility of lifted inference on more expressive model classes were established early on in (Jaeger 2000). However, it is not immediate that these results also apply to the type of modeling languages that currently receive the most attention, i.e., weighted, quantifier-free formulas. In this paper we extend these earlier results, and show that under the assumption that NETIME =/= ETIME, there is no polynomial lifted inference algorithm for knowledge bases of weighted, quantifier- and function-free formulas. Further strengthening earlier results, this is also shown to hold for approximate inference, and for knowledge bases not containing the equality predicate.Comment: To appear in Theory and Practice of Logic Programming (TPLP

    Discrete orthogonal polynomials and difference equations of several variables

    Get PDF
    The goal of this work is to characterize all second order difference operators of several variables that have discrete orthogonal polynomials as eigenfunctions. Under some mild assumptions, we give a complete solution of the problem.Comment: minor typos correcte
    • …
    corecore