We discuss a methodology for analyzing the testability of large hierarchical RTL designs, based upon the existence of module reachability paths, suitable for automatically deriving globally applicable test from locally generated vectors. Such reachability paths utilize module transparency behavior, as captured by the introduced channel transparency definition. Lack of transparency and unreachab...

‎let $r$ be a domain with quotiont field $k$‎, ‎and‎ ‎let $n$ be a submodule of an $r$-module $m$‎. ‎we say that $n$ is‎ ‎powerful (strongly primary) if $x,yin k$ and‎ ‎$xymsubseteq n$‎, ‎then $xin r$ or $yin r$ ($xmsubseteq n$‎ ‎or $y^nmsubseteq n$ for some $ngeq1$)‎. ‎we show that a submodule‎ ‎with either of these properties is comparable to every prime‎ ‎submodule of $m$‎, ‎also we show tha...

This paper proposes an architecture, based on statistical machine translation, for developing the text normalization module of a text to speech conversion system. The main target is to generate a language independent text normalization module, based on data and flexible enough to deal with all situations presented in this task. The proposed architecture is composed by three main modules: a toke...

This paper presents the instrumentation of a microfluidic analyzer enabling the characterization of single-cell biophysical properties, which includes seven key components: a microfluidic module, a pressure module, an imaging module, an impedance module, two LabVIEW platforms for instrument operation and raw data processing, respectively, and a Python code for data translation. Under the contro...

Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring  . It is shown that Gorenstein homological dimensions  of an  -RΓ module M with respect to a semi-dualizing module,  are equal over R and RΓ  .

This project is aimed to develop the system for summarizing and translating the agricultural information from English to Thai by using statistical and frame based approach. The system consists of 4 modules: Gathering Module, Indexing and Clustering Module, Summarizing Module and Translation Module. At the current state, we consider only the translation of agricultural summary articles, which ha...

a module m is called epi-retractable if every submodule of m is a homomorphic image of m. dually, a module m is called co-epi-retractable if it contains a copy of each of its factor modules. in special case, a ring r is called co-pli (resp. co-pri) if rr (resp. rr) is co-epi-retractable. it is proved that if r is a left principal right duo ring, then every left ideal of r is an epi-retractable ...