We re-examine the major tenets of the informational theory of legislative rules, focusing on the informational efficiency of rules with varying degrees of restrictiveness. When committees are heterogeneous, full efficiency is attainable under the unrestrictive open rule as well as the somewhat restrictive modiÞed rule. In contrast, the restrictive closed rule always leads to inefficiencies. Whe...

Baker [1] devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a fixed apex graph as a minor. Further generalizations (e.g., to all proper minor closed graph classes) are known, but they use a combination of techniques a...

The class of orthogonal rewriting systems (rewriting systems where rewrite steps cannot depend on one another) is the main class of not-necessarily-terminating rewriting systems for which connuence is known to hold. Huet and Toyama have shown that for left-linear rst-order term rewriting systems (TRSs) the orthogonality restriction can be relaxed somewhat by allowing critical pairs (arising fro...

For various reasons, some of them linked to the evolution historiography Chemistry, many recognized and important chemists in their time – ours, because legacy they left are relegated degree oblivion. One these chemists, dead just over 200 years ago, is Martin Heinrich Klaproth (1743-1817), a key figure transition from phlogiston theory Lavoisier’s new chemistry one creators modern analytical c...

Let H denote hyperbolic n-space, that is the unique connected simply connected Riemannian manifold of constant curvature −1. By a hyperbolic n-orbifold we shall mean a quotient H/Γ where Γ is a discrete group of isometries of H. If a hyperbolic n-manifold M is the totally geodesic boundary of a hyperbolic (n+1)-manifold W , we will say that M bounds geometrically. It was shown in [11] that if a...

To perform automatic, unconscious inference, the human brain must solve the binding problem by correctly grouping properties with objects. Temporal binding models like SHRUTI already suggest much of how this might be done in a connectionist and localist way by using temporal synchrony. We propose a set of alternatives to temporal synchrony mechanisms that instead use short signatures. This serv...