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

Module systems embed elements of methodologies, formalisms and tools for programming-in-the-large into programming languages. In our thesis we design a module system, its categorical model and a constructive semantics of the system in the model. The categorical model is simple and general, built using elementary categorical notions, admitting many variants and extensions of the module system. O...

Abstract: Let be a commutative ring and be a unitary module. We define a semiprime submodule of a module and consider various properties of it. Also we define semi-radical of a submodule of a module and give a number of its properties. We define modules which satisfy the semi-radical formula and present the existence of such a module.  

This paper describes about an automatic technique of evaluating summary. The standard and popular summary evaluation techniques or tools are not fully automatic; they all need some manual process. Using textual entailment (TE) the generated summary can be evaluated automatically without any manual evaluation/process. The TE system is the composition of lexical entailment module, lexical distanc...

* Yinyan Yu is the corresponding author. Abstract—A digital file has both the content and physical information, however the latter was not fully made use of in previous digital rights management (DRM) systems. This paper introduces the idea of making use of file physical information to improve the system security and provides a scheme based on this idea to resist the replay attack in DRM system...

The objective of this paper is to clarify the relationships between quantum Dmodule and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper “Homological Geometry”. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the work o...

Discovery-driven experiments in undergraduate laboratory courses have been shown to increase student learning and critical thinking abilities. To this end, a lab module involving worm capture by a nematophagous fungus was developed. The goals of this module are to enhance scientific understanding of the regulation of worm capture by soil-dwelling fungi and for students to attain a set of establ...

Here we describe an architecture for an autonomous software agent designed to model a broad spectrum of human cognitive and affective functioning. In addition to featuring “consciousness,” the architecture accommodates perception, several forms of memory, emotions, actionselection, deliberation, ersatz language generation, several forms of learning, and metacognition. One such software agent, I...

Low power is a primary concern in the field of wireless sensor networks. Bluetooth has often been labeled as an inappropriate technology in this field due to its high power consumption. However, most Bluetooth studies employ rather over–simplified, fully theoretical, or inadequate power models. We present a power model of Bluetooth including scatternet configurations and low–power sniff mode an...

An R-module M is called epi-retractable if every submodule of MR is a homomorphic image of M. It is shown that if R is a right perfect ring, then every projective slightly compressible module MR is epi-retractable. If R is a Noetherian ring, then every epi-retractable right R-module has direct sum of uniform submodules. If endomorphism ring of a module MR is von-Neumann regular, then M is semi-...