Powerful rate-compatible codes are essential for achieving high throughput in hybrid automatic repeat request (ARQ) systems for networks utilising packet data transmission. The paper focuses on the construction of efficient rate-compatible low-density parity-check (RC-LDPC) codes over a wide range of rates. Two LDPC code families are considered; namely, regular LDPC codes which are known for go...

We suggest a geometrical approach to the semi-invariants of quivers based on Luna's slice theorem and the Luna-Richardson theorem. The locally semi-simple representations are defined in this spirit but turn out to be connected with stable representations in the sense of GIT, Schofield's perpendicular categories, and Ringel's regular representations. As an application of this method we obtain an...

Finite-state methods are applied to the Russell-Wiener-Kamp notion of time (based on events) and developed into an account of interval relations and semi-intervals. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by p...

We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means. An example of such an infinite family is a dining philosopher protocol with any number n of processes (n being the parameter that defines the infinite family). Regular model checking is a well-kn...

‎in this paper some properties of weak regular injectivity for $s$-posets‎, ‎where $s$ is a pomonoid‎, ‎are studied‎. ‎the behaviour‎ ‎of different kinds of weak regular injectivity with products‎, ‎coproducts and direct sums is considered‎. ‎also‎, ‎some‎ ‎characterizations of pomonoids over which all $s$-posets are of‎ ‎some kind of weakly regular injective are obtained‎. ‎further‎, ‎we‎ ‎giv...

Inclines are additively idempotent semi rings in which products are less than or equal to either factor.The Characterization of EP elements, Product of EP elements in an incline with involution are obtained as a generalization and development of EP elements in a *regular ring and of EP elements in a reflexive semi group. Mathematics Subject Classification: 16Y60, 15A09

We establish a Mayer-Vietoris long exact sequence for Witt groups of regular schemes. We also establish homotopy invariance for Witt groups of regular schemes. For this, we introduce Witt groups with supports using triangulated categories. Subsequently we use these results to prove the Gersten-Witt Conjecture for semi-local regular rings of geometric type over infinite fields of characteristic ...

We present some properties regarding diffusion and semi-convexity for fuzzy set multifunctions defined on a ring of subsets of an abstract nonvoid space and taking values in the family of all nonvoid closed subsets of a real normed space. Key–Words: diffused, semi-convex, fuzzy set multifunction, non-atomicity, Darboux property, regular, multimeasure, null-additive.

We describe the structure of semi-regular Auslander-Reiten components of artin algebras without external short paths in the module category. As an application we give a complete description of self-injective artin algebras whose Auslander-Reiten quiver admits a regular acyclic component without external short paths.