In this paper i, n, m are elements of N. The following propositions are true: (1) Let f be a set. Then f is a partial function from Rm to Rn if and only if f is a partial function from 〈Em, ‖ · ‖〉 to 〈En, ‖ · ‖〉. (2) Let n, m be non empty elements of N, f be a partial function from Rm to Rn, g be a partial function from 〈Em, ‖·‖〉 to 〈En, ‖·‖〉, x be an element of Rm, and y be a point of 〈Em, ‖ ·...

Background and aim: Newcastle disease (ND) is one of the most serious diseases among many species of birds and causes devastating effects on the poultry industry. This disease is endemic in Iran and ND outbreaks occur unexpectedly and with high mortality and severe clinical signs. The sequence of the F protein cleavage site is that the major virulence determinant of Newcastle disease virus (NDV...

A modified F-expansion method to find the exact traveling wave solutions of  two-component nonlinear partial differential equations (NLPDEs) is discussed. We use this method to construct many new solutions to the nonlinear Whitham-Broer-Kaup system (1+1)-dimensional. The solutions obtained include Jacobi elliptic periodic wave solutions which exactly degenerate to the soliton solutions, triangu...

The Loewner partial order is deened on the space of Hermitian matrices by A B if A ? B is positive semideenite. Given a strictly increasing function f :(a; b) ! R we deene the partial order f on the set of Hermitian matrices with spectrum contained in (a; b) by A f B if f(A) f(B): We say that the partial orders and f are equivalent on a set S of Hermitian matrices if A B if and only if A f B fo...

background: to identify the fasciolid species by morphometric and molecular methods in zanjan, north­west of iran. methods : adult fasciola worms (n=584) were obtained from cattle and sheep in zanjan slaughterhouse in 2007. living flukes were washed, then worms' images were taken by 3ccd camera and finally apical zone of each worm was obtained. morphometric values such as body length, body widt...

We introduce an intersection typing system for combinatory logic, such that a term of combinatory logic is typeable ii it is sn. We then prove the soundness and completeness for the class of partial com-binatory algebras. Let F be the class of non-empty lters which consist of types. Then F is an extensional non-total partial combinatory algebra. Furthermore, it validates the strongest consisten...

We give an abstract axiomatic account of timed processes using monoids and their (partial and total) actions. Subsequently, we present categorical formulations thereof, including a novel characterisation of partial monoid actions as coalgebras for an evolution comonad. Adapting the approach of Turi and Plotkin [24], we then exhibit an abstract theory of well-behaved operational rules suitable f...