CMA
2010
13 years 8 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 9 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 9 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
13 years 10 months 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
13 years 10 months 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
13 years 10 months ago
2002
Key words: Lateral geniculate nucleus ; Relay cell ; Neuronal network ; Mechanistic model
ENTCS
2002
13 years 10 months 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
13 years 10 months 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
13 years 10 months 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
13 years 10 months 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...