4983 search results - page 28 / 997 » order 2008 |
TIT
1998
13 years 8 months ago
1998
—The generalized cyclotomic sequence of order two has several good randomness properties and behaves like the Legendre sequence in several aspects. In this correspondence we calc...
DAM
2006
13 years 8 months ago
2006
We give an elementary proof for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by un = aun-1 + bun-2 has ...
DM
2000
13 years 8 months ago
2000
We study the number of ways to factor a natural number n into an ordered product of integers, each factor greater than one, denoted by H(n). This counting function from number the...
SPLC
2007
13 years 9 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
DEBU
2008
13 years 8 months ago
2008
FLOWS is a first-order logic ontology for Web services and a W3C Submission. In this article, we describe some of the motivation behind the development of FLOWS, together with its...