We call these subtheories modules. Examples of such theories can be found in reasoning about actions, where each T αi contains descriptions of the atomic action αi in terms of preconditions and effects, and T ∅ is the set of static laws (alias domain constraints, alias integrity constraints), i.e. those formulas that hold in every possible state of a dynamic system. For example, T marry = {¬mar...

A program for computing pure angular momentum coefficients in relativistic atomic structure for any scalar one– and two–particle operator is presented. The program, written in Fortran 90/95 and based on techniques of second quantization, irreducible tensorial operators, quasispin and the theory of angular momentum, is intended to replace existing angular coefficient modules from GRASP92. The ne...

introduction: an effective vaccine against hcv infection is not available. the non-structural protein 3 (ns3) of the virus as an important immunogenic candidate has been utilized in various modules. nanostructured polymers have been recently used for efficient vaccine and drug delivery. the aim of the current study was the synthesis of rns3-g2 conjugate and preliminary evaluation of its immunog...

Using single-molecule atomic force microscopy, we find that a protein consisting of six identical ankyrin repeat units flanked by N- and C-terminal modules (N6C) unfolds in a stepwise, unit-by-unit fashion under a mechanical force. Stretching a N6C molecule results in a sawtooth pattern fingerprint, with as many as six peaks separated by approximately 10 nm and an average unfolding force of 50 ...

The first part of the paper is concerned to relationship between the sets of associated primes of the generalized $d$-local cohomology modules and the ordinary  generalized local cohomology  modules.  Assume that $R$ is a commutative Noetherian local ring, $M$ and $N$  are  finitely generated  $R$-modules and $d, t$ are two integers. We prove that $Ass H^t_d(M,N)=bigcup_{Iin Phi} Ass H^t_I(M,N)...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

Residue Number System (RNS) is a carry-free and non-weighed integer system. In this paper an improved three-moduli set  in reverse converter based on CRT algorithm is proposed. CRT algorithm can perform a better delay and hardware implementation in modules via other algorithms. This moduli is based on p that covers a wide range on modules and supports the whole range of its modules in dynamic r...

in this paper we focus on a special class of commutative local‎ ‎rings called spap-rings and study the relationship between this‎ ‎class and other classes of rings‎. ‎we characterize the structure of‎ ‎modules and especially‎, ‎the prime submodules of free modules over‎ ‎an spap-ring and derive some basic properties‎. ‎then we answer the‎ ‎question of lam and reyes about strongly oka ideals fam...

let $ m , n in mathbb{n}$, $d$ be a division ring, and $m_{m times n}(d)$ denote the bimodule of all $m times n$ matrices with entries from $d$. first, we characterize one-sided submodules of $m_{m times n}(d)$ in terms of left row reduced echelon or right column reduced echelon matrices with entries from $d$. next, we introduce the notion of a nest module of matrices with entries from $d$. we ...