In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program’s execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. The...

The definition of hesitant interval-valued intuitionistic fuzzy sets (HIVIFSs) is developed based on interval-valued intuitionistic fuzzy sets (IVIFSs) and hesitant fuzzy sets (HFSs). Then, some operations on HIVIFSs are introduced in detail, and their properties are further discussed. In addition, some hesitant interval-valued intuitionistic fuzzy number aggregation operators based on t-conorm...

The Pell numbers, named after the English diplomat and mathematician John Pell, are studied by many authors. At this work, inspiring definition harmonic we define numbers. Moreover, construct one type of symmetric matrix family whose elements numbers its Hadamard exponential matrix. We investigate some linear algebraic properties obtain inequalities using norms. Furthermore, summation identitie...

the purpose of this paper is to develop a methodology for solving a new type of matrix games in which payoffs are expressed with triangular intuitionistic fuzzy numbers (tifns). in this methodology, the concept of solutions for matrix games with payoffs of tifns is introduced. a pair of auxiliary intuitionistic fuzzy programming models for players are established to determine optimal strategies...

Averaging Operators on the Unit Interval Mai Gehrke, Carol Walker, Elbert Walker New Mexico State University, Las Cruces, New Mexico, USA In this paper we look at algebras consisting of the unit interval [0; 1] with the standard partial order together with an averaging operator. In working with negations and t-norms, it is not uncommon to call upon the arithmetic of the real numbers even though...

Writing projects are socially-situated identities. The rhetorically-loaded aspects of writing, like metadiscourse marking, are more prone to carry such identities. Through analyzing metadiscourse strategies employment in Persian and English (as the lingua franca of academic discourse community) research articles, this study makes an attempt to find out whether Persian native writers take on the...

in this paper, we present a revised similarity measure based onchen-and-chen's similarity measure for fuzzy risk analysis. the revisedsimilarity measure uses the corrected formulae to calculate the centre ofgravity points, therefore it is more  effective than the chen-and-chen'smethod. the revised similarity measure can overcome the drawbacks of theexisting methods. we have also proposed a new ...

We consider various Hilbert spaces of Dirichlet series whose norms are given by weighted l2 norms of the Dirichlet coefficients. We characterize the multiplier algebras for some of these spaces. 0 Introduction Let w = {wn}n=n0 be a sequence of positive numbers. In this paper we are concerned with Hilbert spaces of functions representable by Dirichlet series: H w = {