Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls occur just at a smaller size. This approach is only sound if the type of the recursive function is admissible, i.e., depends on the size index in a certain w...

This paper describes the use of a multiple codebook SCHMM speaker verification system, which uses a novel technique for discriminative hidden Markov modelling known as discriminative observation probabilities (DOP). DOP can easily be added to a multiple codebook HMM system and require minimal additional computation and no additional training. The DOP technique can be applied to both speech and ...

In this paper, we introduce new class of functions called τ∗-Generalized Semi Continuous functions in topological spaces and study some of its properties and its relationship with some existing functions. Mathematics Subject Classification: 54A05

RECENTLY G. C. Young* and A. Denjoyf have communicated theorems—those in Denjoy's memoir are of an especially comprehensive character—dealing, in particular, with point sets where the four derivatives of a given continuous function are identical. It is the purpose of this note to treat an analogous problem that arises when "derivative" is replaced by "saltus."$ However, instead of confining our...

Azad [1] introduced the concepts of fuzzy semi-open sets and fuzzy semi-continuous mappings. Fuzzy α-open sets and fuzzy α-continuous functions were introduced by Mashhour et. al. [4] and Singal et. al. [6] respectively. The concepts of fuzzy pre-open sets and fuzzy pre-continuous mappings were introduced by Bin Sahana [2]. In this paper the concepts of fuzzy α-quotient maps, fuzzy semi quotien...

Aiganfanmai is a dwarf tetraploid wheat landrace (Triticum turgidum var. turgidum) that stably produces the semi-dwarf trait. Plant height varies from 80-105 cm under cultivation. Compared with tall durum wheat (T. turgidum var. durum) variety Langdon, we found it to have short spikes and seeds, besides a semi-dwarf character. We crossed Aiganfanmai with Langdon to analyze the genetic basi...

Due to its abundance and also flexibility of cultivation conditions, Chlorella vulgaris microalgae is one of the most ideal options available in order to production of microalgae based biodiesel. Since vulgaris cultivation for fuel production needs economic considerations to be taken, and in first place providing biomass and lipid production costs is important, wide researches have bee...

The distribution of extrema and overjump functionals for the semi-continuous processes (processes that intersect positive or negative level continuously) on a Markov chain were considered by many authors( for instance, see [1] [3]). In the paper [4] the distribution of extrema for almost semi-continuous processes were treated (the processes that intersect positive or negative level by exponenti...