In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule con...

We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called φ-derivations) are shown to satisfy the commutation relations. Our main result states that for every so-called rig...

In this article, we formalize some basic facts of Z-module. In the first section, we discuss the rank of submodule of Z-module and its properties. Especially, we formally prove that the rank of any Z-module is equal to or more than that of its submodules, and vice versa, there exists a submodule with any given rank that satisfies the above condition. In the next section, we mention basic facts ...

Chandra observations of the core of the nearby starburst galaxy NGC 253 reveal a heavily absorbed source of hard X-rays embedded within the nuclear starburst region. The source has an unabsorbed, 2 to 10 keV luminosity of ≥ 10 erg s and photoionizes the surrounding gas. We observe this source through a dusty torus with a neutral absorbing column density of NH ∼ 2 × 10 23 cm. The torus is hundre...

Let $N$ be a submodule of a module $M$ and a minimal primary decomposition of $N$ is known‎. ‎A formula to compute Baer's lower nilradical of $N$ is given‎. ‎The relations between classical prime submodules and their nilradicals are investigated‎. ‎Some situations in which semiprime submodules can be written as finite intersection of classical prime submodule are stated‎.

let r be a commutative ring with identity. let n and k be two submodules of a multiplication r-module m. thenn=im and k=jm for some ideals i and j of r. the product of n and k denoted by nk is defined by nk=ijm. inthis paper we characterize some particular cases of multiplication modules by using the product of submodules.

Let $R$ be a commutative ring and $M$ an $R$-module. A submodule $N$ of is called d-submodule $($resp., fd-submodule$)$ if $\ann_R(m)\subseteq \ann_R(m')$ $\ann_R(F)\subseteq \ann_R(m'))$ for some $m\in N$ finite subset $F\subseteq N)$ $m'\in M$ implies that N.$ Many examples, characterizations, properties these submodules are given. Moreover, we use them to characterize modules satisfying Prop...

SUMMARY We present a tool called MRSD (Metabolic Route Search and Design) to search and design routes based on the weighted compound transform diagraph. The search submodule returns routes between a source and product compound within seconds in the network of one or multiple organisms based on data from KEGG. The design submodule designs a route from an appointed compound in an interactive mode...

Analyser-Based Phase-Contrast imaging (ABPCI) is a phase-contrast method that produces high contrast images of weakly absorbing materials. However, it only sensitive to phase variations lying in the diffraction plane analyser crystal (i.e one dimension; 1-D), as highly crystal. In order accurately account for and measure effects produced by wavefield-sample interaction, ABPCI other 1-D methods ...