1943 search results - page 42 / 389 » Ordering Default Theories |
159
click to vote
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
Process skew is an important factor in the performance of parallel applications, especially in large-scale clusters. Reduction is a common collective operation which, by its natur...
138
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
162
click to vote
APAL
2004
15 years 6 months ago
2004
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
159
click to vote
AML
2006
15 years 6 months ago
2006
Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...
130
click to vote
DM
2000
15 years 6 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...