For discrete Hecke pairs (G,H), we introduce a notion of covariant representation which reduces in the case where H is normal to the usual definition of covariance for the action of G/H on c0(G/H) by right translation; in many cases where G is a semidirect product, it can also be expressed in terms of covariance for a semigroup action. We use this covariance to characterise the representations ...

A hierarchy of segmentations(partitions) is a multiscale set representation of the image. This paper introduces a new set of scale space operators or transformations on the space of hierarchies of partitions. An ordering of hierarchies is proposed which is endowed by an ω-ordering based on a global energy over the classes of the hierarchy. A class of Matheron semigroups are shown to exists in t...

let s be a locally compact foundation semigroup with identity and                          be its semigroup algebra. let x be a weak*-closed left translation invariant subspace of    in this paper, we prove that  x  is invariantly  complemented in   if and  only if  the left ideal  of    has a bounded approximate identity. we also prove that a foundation semigroup with identity s is left amenab...

In this paper, a commutative semigroup will be written as a disjoint union of its cancellative subsemigroups. Based on this fact we will define the left regular representation of a commutative separative semigroup and show that this representation is faithful. Finally concrete examples of commutative separative semigroups, their decompositions and their left regular representations are given.

In this paper, we attempt to investigate the connection between various types of ideals (for examples $(m, n)$-ideal, bi-ideal, interior ideal, quasi ideal, prime ideal and maximal ideal) of an ordered semigroup $(S,cdot ,leq)$ and the correspond hyperideals of its EL-hyperstructure $(S,*)$ (if exists). Moreover, we construct the class of EL-$Gamma$-semihypergroup associated to a partially orde...

In this paper the concept of Q-fuzzification of ideals of Γ-semigroups has been introduced and some important properties have been investigated. A characterization of regular Γ-semigroup in terms of Q-fuzzy ideals has been obtained. Operator semigroups of a Γ-semigroup has been made to work by obtaining various relationships between Q-fuzzy ideals of a Γ-semigroup and that of its operator semig...

Overview: It is well known that the number of schedules (interleavings) of a concurrent program grows exponentially with the number of processes. Our previous work has demonstrated the advantages of an MPI-specific dynamic partial order reduction (DPOR, [5]) algorithm called POE in a tool called ISP [1,2,3] in dramatically reducing the number of interleavings during formal dynamic verification....

This past year has presented our organization with a series of challenges. However, members have responded ingenuity and flexibility so that we could continue the work mission: to support scholarly informal exchange information on life, works, times, influence Edgar Allan Poe.First, I’m pleased announce 2020 American Literature Association presenters were able postpone their presentations joine...

The concept of an automatic structure has been generalized from groups [ECH+] to semigroups [CRRT]. Several authors [CRR, Hof, Kam] have asked the following question: Let S be a finitely generated semigroup embeddable in a group and let G be its universal group [CP, Chapter ]. If G is automatic, must S be automatic? Examples in favour of this implication include: free groups and s...