In this study, an efficient and fast algebraic decoding algorithm (ADA) for the binary systematic quadratic residue (QR) code of length 73 with the reducible generator polynomial to correct up to six errors is proposed. The S(I, J ) matrix method given by He et al. (2001) is utilised to compute the unknown syndromes S5. A technique called swap base is proposed to correct the weight-4 error patt...

The quadrature error associated with a regular rule for evaluation of layer potential increases rapidly when the point approaches surface and integral becomes nearly singular. Error estimates are needed to determine accuracy is insufficient more costly special method should be utilized. final result this paper such composite Gauss-Legendre global trapezoidal rule, applied evaluate potentials de...

We describe an object calculus that allows both extension of objects and full width subtyping (hiding arbitrary components). In contrast to other proposals, the types of our calculus do not mention “missing” methods. To avoid type unsoundness, the calculus mediates all interaction with objects via “dictionaries” that resemble the method dispatch tables in conventional implementations. Private f...

In this paper, we introduce and study a multiple-conclusion cut-free propositional Gentzen calculus with subformula property for first-degree entailments (in Dunn’s sense [4], [5]) in Dummett’s linear intermediate logic LC [3] that is obtained from Gentzen’s propositional calculus LK [6] by restricting the rules of introduction of negation to the right side of sequents by allowing their right s...

soil organic carbon is a key factor in productivity and quality of soil and environment particularly in semi arid regions. in this article, the role of farm soil organic matter management in soil and in land is discussed. the variability of soil organic carbon in drylands is mainly controlled by tillage and crop residue management. results of this study indicated that usage of correct tillage m...

The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation of the behaviours of schedulers and classical examples like a gas burner. From a practical point of view an important challenge becomes to de ne automated proof procedures for this calculus. Since the propositional calculus is ...

We begin with an introduction to a calculus of fractional finite differences. We extend the discrete Laplace transform to develop a discrete transform method. We define a family of finite fractional difference equations and employ the transform method to obtain solutions. AMS subject classification: 39A12, 26A33.

in this study the effect of different nitrogen source substrates on the amount of chitosan production by aspergillus niger was investigated. a. niger ptcc 5012 from the persian type culture collection (ptcc) was grown on soy bean, corn seed and canola residues at 30 °c for specified cultivation days under sterilized conditions. chitosan was extracted from the fungal mycelia using hot alkaline a...

We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The method is first illustrated by applying to a composition-free calculus of explicit substitutions, yielding a simpler proof than the previous one by Lengrand et al. Then we present a new intersection type system in the s...

In this paper, a new method is introduced for improving the efficiency of the Residue Number System, which uses both binary and residue representations in order to represent a number. A residue number system uses the remainder of the division in several different modules. Conversion of a number to smaller ones and carrying out parallel calculations on these numbers greatly increase the speed of...