نتایج جستجو برای: i_f lifting module

تعداد نتایج: 78576  

 Let $R$ be a commutative ring with identity and $M$ be a finitely generated unital $R$-module. In this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. Moreover, we investigate some conditions which imply that the module $M$ is the direct sum of some cyclic modules and free modules. Then some properties of Fitting ideals o...

2011
P.Ashok Babu

In this paper we proposed fast and accurate interpolation and resizing of images using lifting scheme approach. 5/3 lifting scheme is an accurate and computationally inexpensive interpolation technique for image resizing. We compared the bilinear interpolation, Haar lifting scheme and 5/3 lifting scheme in this paper. The lifting scheme algorithm is applied for image interpolation to resize the...

Journal: :Int. J. Hum.-Comput. Stud. 2012
Wen-Bin Chiou Peng-Hui Wan Chin-Sheng Wan

Soft lifting refers to the process whereby a legally licensed software program is installed or copied in violation of its licensing agreement. Previous research on this pervasive kind of unethical computer use has mainly focused on the determinants of this unethical act, which are rooted in personal, economic, technological, cultural, socio-political, or legal domains. However, little is known ...

Journal: :International journal of occupational safety and ergonomics : JOSE 2002
Issachar Gilad Daniel Boughanim

A 3-dimensional model and analysis methodology is suggested for treating lifting tasks when unbalanced loads are involved. The paper describes the biomechanical equations that are coupled with the worker's posture geometry, to address a practical problem of non-symmetric lifting. The analysis has a dominant biomechanical modeling scope, as it contains a breakdown of the internal lifting forces ...

Journal: :journal of algebra and related topics 2013
r. ovlyaee s. maleki-roudposhti

$r$-module. in this paper, we explore more properties of $max$-injective modules and we study some conditions under which the maximal spectrum of $m$ is a $max$-spectral space for its zariski topology.

2016
Thomas R. Waters Enrico Occhipinti Daniela Colombini Enrique Alvarez-Casado Robert Fox

OBJECTIVE We seek to develop a new approach for analyzing the physical demands of highly variable lifting tasks through an adaptation of the Revised NIOSH (National Institute for Occupational Safety and Health) Lifting Equation (RNLE) into a Variable Lifting Index (VLI). BACKGROUND There are many jobs that contain individual lifts that vary from lift to lift due to the task requirements. The ...

Journal: :journal of algebra and related topics 0
t. amouzegar quchan university of advanced technology

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

Journal: :journal of algebraic systems 2014
hosein fazaeli moghim fatemeh rashedi

let $r$ be a commutative ring with identity and $m$ be a unitary$r$-module. the primary-like spectrum $spec_l(m)$ is thecollection of all primary-like submodules $q$ such that $m/q$ is aprimeful $r$-module. here, $m$ is defined to be rsp if $rad(q)$ isa prime submodule for all $qin spec_l(m)$. this class containsthe family of multiplication modules properly. the purpose of thispaper is to intro...

Journal: :IEEE Trans. Signal Processing 2002
Kishore Andra Chaitali Chakrabarti Tinku Acharya

In this paper, we propose an architecture that performs the forward and inverse discrete wavelet transform (DWT) using a lifting-based scheme for the set of seven filters proposed in JPEG2000. The architecture consists of two row processors, two column processors, and two memory modules. Each processor contains two adders, one multiplier, and one shifter. The precision of the multipliers and ad...

Journal: :Logical Methods in Computer Science 2010
Jacob Thamsborg Lars Birkedal Hongseok Yang

Recently, data abstraction has been studied in thecontext of separation logic, with noticeable practicalsuccesses: the developed logics have enabled cleanproofs of tricky challenging programs, such as subject-observer patterns, and they have become the basis of ef-ficient verification tools for Java (jStar), C (VeriFast)and Hoare Type Theory (Ynot). In this paper, we giv...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید