Do extended effective-medium formulas scale properly?

Properly forking formulas in Urysohn spaces

In this informal note, we demonstrate the existence of forking and nondividing formulas in continuous theory of the complete Urysohn sphere, as well as the discrete theories of the integral Urysohn spaces of diameter n (where n ≥ 3). Whether or not such formulas existed was asked in thesis work of the author, as well as joint work with Terry. We also show an interesting phenomenon in that, for ...

Properly designed emissions trading schemes do work !

Effective-medium approximation for composite media: Realizable single-scale dispersions

It is known that the popular effective medium approximation ~EMA! for the effective conductivity se of a composite is exactly realizable by certain multiscale hierarchical microstructures. We have found a class of periodic, single-scale dispersions that achieve the EMA function at a given phase conductivity ratio for a two-phase, two-dimensional composite over all volume fractions. Moreover, to...

Extended Lifted Inference with Joint Formulas

The First-Order Variable Elimination (FOVE) algorithm allows exact inference to be applied directly to probabilistic relational models, and has proven to be vastly superior to the application of standard inference methods on a grounded propositional model. Still, FOVE operators can be applied under restricted conditions, often forcing one to resort to propositional inference. This paper aims to...

On Finding Solutions for Extended Horn Formulas

In this note we present a simple quadratic-time algorithm for solving the satissability problem for a special class of boolean formulas. This class properly contains the class of extended Horn formulas 1] and balanced formulas 2, 4]. Previous algorithms for these classes require testing membership in the classes. However, the problem of recognizing balanced formulas is complex, and the problem ...