The Dempster Shafer theory of evidence has been used intensively to deal with uncer tainty in knowledge based systems How ever the representation of uncertain rela tionships between evidence and hypothesis groups heuristic knowledge is still a major research problem This paper presents an ap proach to representing such heuristic knowl edge by evidential mappingswhich are de ned on the basis of ...

In the low energy limit of for M–theory on S1/Z2, we calculate the gaugino condensate potential in four dimensions using the background solutions due to Hořava. We show that this potential is free of delta–function singularities and has the same form as the potential in the weakly coupled heterotic string. A general flux quantization rule for the three–form field of M–theory on S1/Z2 is given a...

This is a survey of Lloyd Shapley’s contributions to matching theory and game theory in general, starting with the work that inspired the Swedish Academy to award Shapley and Roth the 2012 Nobel Memorial Prize in Economic Sciences.

Nowadays, we find the idea of a miasma old-fashioned but it was widely used in Hahnemann’s time. Diseases that were thought to be caused by miasma included cholera, dysentery, leprosy, malaria (which literally means “bad air”), bubonic plague, and pulmonary tuberculosis. Miasma was understood to be “a dangerous, foreboding, or deathlike influence or atmosphere” – the “contamination” or “polluti...

Wallerstein's world economic theory acts as a guide to describe the changes that led to shape the world into what it is today. It focuses specifically on the changes in Western Europe between 1450 and 1670, as this was a period of significant development. As with any other model or theory, however, Wallerstein's has its own set of strengths and weaknesses that can be demonstrated by evaluating ...

REPORTRAPPORT The s-semantics approach: theory and applications Abstract The paper is a general overview of an approach to the semantics of logic programs whose aim is nding notions of models which really capture the operational semantics, and are therefore useful for deening program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interp...

We study S-dualities in analytically continued SL(2) Chern-Simons theory on a 3-manifold M . By realizing Chern-Simons theory via a compactification of a 6d five-brane theory on M , various objects and symmetries in Chern-Simons theory become related to objects and operations in dual 2d, 3d, and 4d theories. For example, the space of flat SL(2,C) connections on M is identified with the space of...

It is conjectured that strongly coupled, spatially noncommutative N = 4 Yang-Mills theory has a dual description as a weakly coupled open string theory in a near critical electric field, and that this dual theory is fully decoupled from closed strings. Evidence for this conjecture is given by the absence of physical closed string poles in the non-planar oneloop open string diagram. The open str...

A bstract We study the perturbative S-matrix of closed strings in two-dimensional type 0B string theory from worldsheet perspective, by directly integrating correlation functions $$ \mathcal{N} N = 1 Liouville theory. The latter is computed numerically using recurrence relations for super-Virasoro conformal b...