In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...

 Let $R$ be a ring‎, ‎and let $n‎, ‎d$ be non-negative integers‎. ‎A right $R$-module $M$ is called $(n‎, ‎d)$-projective if $Ext^{d+1}_R(M‎, ‎A)=0$ for every $n$-copresented right $R$-module $A$‎. ‎$R$ is called right $n$-cocoherent if every $n$-copresented right $R$-module is $(n+1)$-coprese-nted‎, ‎it is called a right co-$(n,d)$-ring if every right $R$-module is $(n‎, ‎d)$-projective‎. ‎$R$...

We propose an approach for specifying and verifying full functional (partial) correctness of modules of multithreaded imperative programs that implement or use lock-free data structures for interthread communication. The approach extends separation logic with simple atomic spaces, which are regions of memory that may be accessed concurrently using atomic operations. A fixed invariant is associa...

An effective encapsulation solution for flexible CIGS is urgently needed to ensure a competitive market entry of the technology. In this work, we demonstrate feasibility effectively encapsulate module-level (10 × 10 cm2) CIGS/glass solar cells by employing thin Al2O3 barrier layer grown atomic deposition (ALD). As determined direct methodology, nm ALD-Al2O3 proved be sufficient in preventing el...

in this paper, we extend some propositions of banachalgebras into module actions and establish the relationships betweentopological centers of module actions. we introduce some newconcepts as                         -property and -property for banach modules and obtain some conclusions inthe topological center of module actions and arens regularity of banachalgebras.

in this paper, we  study the arens regularity properties of module actions. we investigate some properties of topological centers of module actions ${z}^ell_{b^{**}}(a^{**})$ and  ${z}^ell_{a^{**}}(b^{**})$ with some conclusions in group algebras.