Standard domino tableaux have already been considered by many authors [33], [6], [34], [8], [1], but, to the best of our knowledge, the expression of the
As an application, we give semantics of modal proofs (a.k.a., programs) in categories of augmented simplicial sets and of topological spaces, and prove a completeness result in
of the conference on ergodic theory and related topics, II (Georgenthal, 1986), Teubner-Texte Math. Misiurewicz , Dimension of invariant measures for maps with ex- ponent zero,
The edges terminating in a correspond to the generators, i.e., the south-west cor- ners of the respective Ferrers diagram, whereas the edges originating in a correspond to the
The main novelty of this paper is to provide proofs of natural prop- erties of the branches that build the solution diagram for both smooth and non- smooth double-well potentials,
Keywords: continuous time random walk, Brownian motion, collision time, skew Young tableaux, tandem queue.. AMS 2000 Subject Classification: Primary:
Related to this, we examine the modular theory for positive projections from a von Neumann algebra onto a Jordan image of another von Neumann alge- bra, and use such projections
σ(L, O) is a continuous function on the space of compact convex bodies with specified interior point, and it is also invariant under affine transformations.. The set R of regular