The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...

let ? be an open connected subset of the complex plane c and let t be a bounded linear operator on a hilbert space h. for ? in ? let e the orthogonal projection onto the null-space of t-?i . we discuss the necessary and sufficient conditions for the map ?? to b e continuous on ?. a generalized gram- schmidt process is also given.

in present paper acertain convolution operator of analytic functions is defined.moreover, subordination- and superordination- preserving propertiesfor a class of analytic operators defined on the space of normalizedanalytic functions in the open unit disk is obtained. we also applythis to obtain sandwich results and generalizations of some knownresults.

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

In a de-regulated open access environment, reactive power is one of the ancillary services which must be provided by an Independent System Operator (ISO). In this paper, a new algorithm is proposed in which reactive power resources are initially so tuned that optimum security in terms of voltage profile and voltage stability are achieved while at the same time, the system losses are minimized. ...

‎Let $mathcal{A}$ be a commutative Banach algebra and $mathscr{X}$ be a left Banach $mathcal{A}$-module‎. ‎We study the set‎ ‎${rm Dec}_{mathcal{A}}(mathscr{X})$ of all elements in $mathcal{A}$ which induce a decomposable multiplication operator on $mathscr{X}$‎. ‎In the case $mathscr{X}=mathcal{A}$‎, ‎${rm Dec}_{mathcal{A}}(mathcal{A})$ is the well-known Apostol algebra of $mathcal{A}$‎. ‎We s...

 For a Banach algebra $fA$, we introduce ~$c.c(fA)$, the set of all $phiin fA^*$ such that $theta_phi:fAto  fA^*$ is a completely continuous operator, where $theta_phi$ is defined by $theta_phi(a)=acdotphi$~~ for all $ain fA$. We call $fA$, a completely continuous Banach algebra if $c.c(fA)=fA^*$. We give some examples of completely continuous Banach algebras and a sufficient condition for an o...

We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are " open-string-theoretic, " " noncommutative " generalizations of the notions of vertex algebra and of conformal vertex algebra. Given an open-string vertex algebra, we show that there exists a vertex algebra, which we call the " meromorphic center, " inside the origi...