CMA
2010
13 years 10 months ago
2010
In this paper we present a symbolic manipulation package that enumerates the hypergroups of order 3. It separates them to isomorphic classes and calculates their cardinality. Key ...
JUCS
2010
13 years 11 months ago
2010
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
EJC
2010
13 years 11 months ago
2010
The Rogers-Ramanujan Identities have many natural and significant generalizations. The generalization presented in this note was first studied by D. Bressoud, by considering the...
RAS
2008
14 years 6 days ago
2008
Key words: stereo-vision, mobile robotics, urban environment, super-homography, trajectography, 2.5D reconstruction PACS: I.2.9.0: Autonomous vehicles I.2.10.0: 3D/stereo scene an...
TCS
1998
14 years 11 days ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
IJON
2002
14 years 12 days ago
2002
Key words: Lateral geniculate nucleus ; Relay cell ; Neuronal network ; Mechanistic model
ENTCS
2002
14 years 16 days ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
JAT
2007
14 years 19 days ago
2007
Denote by xn,k(α, β), k = 1, . . . , n, the zeros of the Jacobi polynomial P (α,β) n (x). It is well known that xn,k(α, β) are increasing functions of β and decreasing func...
EJC
2007
14 years 21 days ago
2007
We present results on the size of the smallest maximal partial ovoids and on the size of the smallest maximal partial spreads of the generalized quadrangles W(q) and Q(4, q). Key ...
JUCS
2008
14 years 21 days ago
2008
: Working constructively, we discuss two types of maximality for ideals in a commutative ring with identity, showing also that the results are the best possible. Key Words: constru...