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...

The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together w...

Let Λ be a commutative local uniserial ring of length n, p a generator of the maximal ideal, and k the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆ B a submodule of B such that pmA = 0 form the objects in the category Sm(Λ). We show that in case m = 2 the categories Sm(Λ) are in fact quite similar to each other: If also ∆ is a commutative local uniseri...

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...

A new submodule clustering method via sparse and lowrank representation for multi-way data is proposed in this paper. Instead of reshaping multi-way data into vectors, this method maintains their natural orders to preserve data intrinsic structures, e.g., image data kept as matrices. To implement clustering, the multi-way data, viewed as tensors, are represented by the proposed tensor sparse an...