نتایج جستجو برای: recursive function

تعداد نتایج: 1234374  

2012
Armando B. Matos Philippe Andary Bruno Patrou

Journal: :ITA 1982
Patrizia Mentrasti M. Protasi

— In this paper we extend the notion of primitive recursive function to the case in which the domain is N* and the range is a subset oj N*. We give a rigorvus characterization oj tins class oj functions and show différences icith the classical primitive recursive functions. Résumé. — Dans cette note nous étendons la notion de f onction primitive recursive à tous les cas dans lesquels le domaine...

2001
R. LOWEN C. VERBEECK

This paper studies the stability properties of the concepts of local compactness introduced by the authors in 1998. We show that all of these concepts are stable for contractive, expansive images and for products. 1. Introduction. Having introduced notions of local compactness, basis local compactness and related measures, and having studied the basic relationship among these concepts in [3], i...

1997
Jay A. Wood

Various forms of the extension problem are discussed for linear codes de ned over nite rings. The extension theorem for symmetrized weight compositions over nite Frobenius rings is proved. As a consequence, an extension theorem for weight functions over certain nite commutative rings is also proved. The proofs make use of the linear independence of characters as well as the linear independence ...

Journal: :Electr. J. Comb. 2009
Tsoy-Wo Ma

We present an elementary combinatorial proof of a formula to express the higher partial derivatives of composite functions in terms of those of factor functions.

1999
Per E. Manne Bertil Tungodden

We examine the question of how the ranking between di erent distributions with respect to a one-parameter family of weight functions depend on the parameter. We argue that in this context sign regularity of the family of weight functions is a natural condition to consider. Several classical economical examples are shown to satisfy this condition. We use sign regularity to obtain results on the ...

Journal: :Formalized Mathematics 2010
Marco Riccardi

This article introduces the free magmaM(X) constructed on a set X [6]. Then, we formalize some theorems aboutM(X): if f is a function from the set X to a magma N , the free magmaM(X) has a unique extension of f to a morphism ofM(X) into N and every magma is isomorphic to a magma generated by a set X under a set of relators on M(X). In doing it, the article defines the stable subset under the la...

2017
ZINOVY REICHSTEIN

Let F be a field and let E be an étale algebra over F , that is, a finite product of finite separable field extensions, E = F1 × · · · × Fr. The classical primitive element theorem asserts that if r = 1, then E is generated by one element as an F -algebra. The same is true for any r > 1, provided that F is infinite. However, if F is a finite field and r > 2, the primitive element theorem fails ...

Journal: :Inf. Sci. 2010
Hui Wang Jun Liu Juan Carlos Augusto

In this paper, we consider the problem of how to derive mass functions systematically from data samples. We also consider the ensuing problem of how to combine different mass functions derived in this way. We show that a mass function can be efficiently and systematically derived from multivariate data. We also demonstrate that combining mass functions obtained in this manner can be done easily...

2003
Heekyung Youn Arkady Shemyakin Edwin Herman

Heekyung Youn, Arkady Shemyakin, Edwin Herman University of St. Thomas, Saint Paul, MN, USA Abstract. Mortality analysis involving multiple lives is easily one of the more complicated aspects in the theory of life contingencies. In this paper, we re-investigate joint mortality functions and in particular, we examine an assertion that relates the joint-life and lastsurvivor random variables. Thi...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید