EVALUATION OF STABILITY AND ITS COUNTERMEASURESOF UNDERGROUND LONGWALL COAL MINE UNDER SHALLOWAND WEAK GEOLOGICAL CONDITIONS IN INDONESIA

The mGoI framework provides token machine semantics of effectful computations, namely computations with algebraic effects, in which effectful λ-terms are translated to transducers..

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

An example of a database state in the lextensive category of finite sets, for the EA sketch of our school data specification is provided by any database which models the

We show how the tau constant changes under graph oper- ations such as the deletion of an edge, the contraction of an edge into its end points, identifying any two vertices,

We show that local M¨ obius covariant nets B 2 on 2D Minkowski space which contains A as chiral left-right symmetry are in one-to-one correspondence with Morita equivalence classes

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

A NOTE ON SUMS OF POWERS WHICH HAVE A FIXED NUMBER OF PRIME FACTORS.. RAFAEL JAKIMCZUK D EPARTMENT OF

A lemma of considerable generality is proved from which one can obtain inequali- ties of Popoviciu’s type involving norms in a Banach space and Gram determinants.. Key words