Growth hormone, a protein hormone, has a remarkable role in growth, reproduction and milk production. The present investigation was aimed at studying the genetic variation in growth hormone gene locus 4th exon, 4th intron and 5th exon in Murrah buffalo bulls by PCR-RFLP. The growth hormone gene was amplifi ed by PCR using oligonucleotide primers standardized for Bos taurus species. A 428 bp fra...

This article presents a type system based on the DamasMilner system [DM82], that supports overloading. Types of overloaded symbols are constrained polymorphic types. The work is related to Haskell type classes [Wad89,NP93,HHJW96], System O [OWW95] and other type systems with similar forms of constrained types [Kae88,Smi91,Jon94,DCO96]. Restrictions imposed in these systems with respect to overl...

In this paper we study categories of theories and interpretations. In these categories, notions of sameness of theories, like synonymy, bi-interpretability and mutual interpretability, take the form of isomorphism. We study the usual notions like monomorphism and product in the various theories. We provide some examples to separate notions across categories. In contrast, we show that, in some c...

Males and females age at different rates and have different life expectancies across the animal kingdom, but what causes the longevity "gender gaps" remains one of the most fiercely debated puzzles among biologists and demographers. Classic theory predicts that the sex experiencing higher rate of extrinsic mortality evolves faster aging and reduced longevity. However, condition dependence of mo...

This paper is part of the program of reverse mathematics. We assume the reader is familiar with this program as well as with RCA,, and WKL,, the two weak subsystems of second-order arithmetic we are going to work with here. (If not, a good place to start is [2].) In [2], [3], [4], many well-known theorems about countable rings, countable fields, etc. were studied in the context of reverse mathe...

By a partial dynamical system we mean a pair (X,α) where X is compact and α : ∆ → X is a continuous, not necessarily injective, mapping such that ∆ is clopen, additionally we assume that α(∆) is open. Such systems arise naturally when dealing with commutative C∗-dynamical system (A, δ). We associate with every pair (X,α), or (A, δ), a covariance C∗-algebra C∗(X,α) = C∗(A, δ) which agrees with a...

A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the subalgebra of coinvariants) is obtained for such coactions of a cosemisimple Hopf algebra. This is applied for two coactions α, β : A → A⊗O, where A is the co...

The cheetah (Acinonyx jubatus) has been considered a paradigm for disease vulnerability due to loss of genetic diversity. This species monomorphism has been suspected to be the basis for their general poor health and dwindling populations in captivity. North American and South African captive populations have high prevalences of hepatic veno-occlusive disease, glomerulosclerosis, gastritis, and...

Although pooled-population sequencing has become a widely used approach for estimating allele frequencies, most work has proceeded in the absence of a proper statistical framework. We introduce a self-sufficient, closed-form, maximum-likelihood estimator for allele frequencies that accounts for errors associated with sequencing, and a likelihood-ratio test statistic that provides a simple means...

The evolution of shared male and female traits can be hampered if selection favours sex-specific optima. However, such genomic conflicts can be resolved when independent male and female mechanisms evolve. The existence, extent and consequences of conflict and/or conflict resolution are currently debated. Endocrinological traits like plasma testosterone (T) are suitable test cases, given their i...