We consider a very natural problem concerned with game manipulation. Let G be a directed graph where the nodes represent players of a game, and an edge from u to v means that u can beat v in the game. (If an edge (u, v) is not present, one cannot match u and v.) Given G and a “favorite” node A, is it possible to set up the bracket of a balanced single-elimination tournament so that A is guarant...

We present a method for combined fault localization and correction for sequential systems. We assume that the specification is given in linear-time temporal logic and state the localization and correction problem as a game that is won if there is a correction that is valid for all possible inputs. For invariants, our method guarantees that a correction is found if one exists. The set of fault m...

The Revised6 Report on Scheme introduces three fundamental changes involving Scheme’s recursive variable binding constructs. First, it standardizes the sequential recursive binding construct, letrec*, which evaluates its initialization expressions in a strict leftto-right order. Second, it specifies that internal and library definitions have letrec* semantics. Third, it prohibits programs from ...

We present an information-theoretic framework for understanding trade-offs in unsupervised learning of deep latent-variables models using variational inference. This framework emphasizes the need to consider latent-variable models along two dimensions: the ability to reconstruct inputs (distortion) and the communication cost (rate). We derive the optimal frontier of generative models in the two...

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space RP with its normal bundle nonbounding and a Dold manifold P (h, i) with h > 0 and i > 0. For odd h, the complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on codimension of P (h,...

Mitchell's key insight that all bioenergetic membranes run on the conversion of redox energy into transmembrane electrical and proton gradients took the form 30 years ago of a working model of the Q cycle of cytochrome bc1, which operates reversibly on coupled electron and proton transfers of quinone at two binding sites on opposite membrane faces. His remarkable model still stands today, but h...

We consider dilaton stabilization with R invariance, which insures a vanishing cosmological constant at the scale of stabilization. We construct a few models which accommodate weak gauge couplings with large or small gauge groups. Matter condensation plays a central role in the dilaton stabilization.

Introduction: Skeletal staining is an important part of anatomical studies which can evaluate macroscopic disorders in bones and cartilages development. The aim of the present article is to illustrate two distinct protocols by all details in order to stain skeletal system of the lab animals in all ages of their lives so it becomes easy for future studies in this field. Methods: In this pa...

Gauge fixing seems to be crucial to identify the relevant degrees of freedom for confinement. In the vortex theory of confinement these degrees of freedom are bi-dimensional objects carrying flux quantized in elements of the center of the group. Center gauge fixing, a gauge fixing prescription having a remaining ZN freedom, is needed to identify these objects. In this paper we study how Laplaci...

A manifestly gauge invariant and regularized renormalization group flow equation is constructed for pure SU(N) gauge theory in the largeN limit. In this way we make precise and concrete the notion of a non-perturbative gauge invariant continuum Wilsonian effective action. Manifestly gauge invariant calculations may be performed, without gauge fixing, and receive a natural interpretation in term...