The COCOLOG (Conditional Observer and Controller Logic) system is a partially ordered family of rst order logical theories expressed in the typed rst order languages fL k ; k 0g describing the controlled evolution of the state of a given partially observed nite machine M. The initial theory of the system, denoted Th 0 , gives the theory of M with no data being given on the initial state. Later ...

A possible experimental determination of m s / ˆ m from K µ4 decays Abstract Kπ scattering and K µ4 decays are studied at leading order of improved chiral perturbation theory. It is shown that high precision K µ4 experiments at, e.g., DAΦNE should allow for a direct measurement of the quark mass ratio m s / ˆ m.

Let 2 be ordered by set inclusion and let B ⊆ 2 be an antichain of size n := |B|. An antichain B is k-regular for some non-negative integer k, if for each i ∈ [m] there are exactly k sets B1, B2, . . . , Bk ∈ B containing i. In this case we say that B is a (k, m, n)-antichain. Let 2 ≤ k ≤ m − 2 be positive integers. In this paper we show that a (k, m, n)-antichain exists if and only if k + 1 ≤ ...

LetG be a finite p-group,K a field of characteristic p, and J the radical of the group algebra K[G]. We study modular representations using some new results of the theory of extensions of modules. More precisely, we describe the K[G]-modules M such that J2M = 0 and give some properties and isomorphism invariants which allow us to compute the number of isomorphism classes of K[G]-modulesM such t...

today, in a competitive market, service organizations and producers have a great attention to optimization and customer satisfaction in order to become competitive. service organization must reduce the number of arrival, waiting time and service time in the queue to increase the customer satisfaction. in this paper by the aim of queuing theory we analyze the optimal amount of increment in a rep...