Let E be a non empty RLS structure. A binary image of E is a subset of E. In the sequel E denotes a real linear space and A denotes a binary image of E. Let E be a real linear space and let A, B be binary images of E. The functor A B yielding a binary image of E is defined as follows: (Def. 1) A B = {z ∈ E: ∧ b : element of E (b ∈ B ⇒ z − b ∈ A)}. Let a be a real number, let E be a real linear ...

Let x be a sequence of real numbers and let p be a real number. The functor x yielding a sequence of real numbers is defined as follows: (Def. 1) For every natural number n holds x(n) = |x(n)|. Let p be a real number. Let us assume that p ≥ 1. The functor l yielding a non empty subset of the carrier of the linear space of real sequences is defined as follows: (Def. 2) For every set x holds x ∈ ...

In this study, colorimetric calibration of scanner has been done via perceptron neural network with three or four layers by back propagation algorithm for colored polyester fabrics. The results obtained for random training samples are not satisfactory but application of selective training samples for L*a*b* or RGB leads to good results, with better results obtained for the L*a*b* method. On the...

avian infectious bronchitis (ib), caused by a gammacoronavirus, is an oie-listed (list b) disease and characterized by respiratory and renal involvements, causing high mortality, and economic loss in both layers and broilers. in comparison with other diagnostic methods, real-time polymerase chain reaction (rt-pcr) and conventional rt-pcr are potent, more sensitive and faster techniques for infe...

In this study, colorimetric calibration of scanner has been done via perceptron neural network with three or four layers by back propagation algorithm for colored polyester fabrics. The results obtained for random training samples are not satisfactory but application of selective training samples for L*a*b* or RGB leads to good results, with better results obtained for the L*a*b* method. On the...

This article formalizes the amortized analysis of dynamic tables parameterized with their minimal and maximal load factors and the expansion and contraction factors. A full description is found in a companion paper [1]. theory Tables-real imports ../Amortized-Complexity/Amor begin fun Ψ :: bool ⇒ real ⇒ real ⇒ real ⇒ real ⇒ nat ⇒ real where Ψ b i d x 1 x 2 n = (if n ≥ x 2 then i∗(n − x 2) else ...

Let 9 be a convex set of real polynomials. This paper considers the question of when there exists a real polynomial b(s), or more generally, a real transfer function b(s), such that p ( s ) / b ( s ) is strictly positive real for all p ( s ) E 9. Necessary and sufficient conditions are found for the transfer function b(s ) case, and when the degree of the polynomials in 9 is restricted, such co...