114views more  CMA 2010»
8 years 1 months ago
On enumeration of hypergroups of order 3
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 ...
Ch. Tsitouras, Ch. G. Massouros
107views more  JUCS 2010»
8 years 2 months ago
Algebras and Update Strategies
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
Michael Johnson, Robert D. Rosebrugh, Richard Wood
8 years 3 months ago
A proof of Bressoud's conjecture related to the Rogers-Ramanujan identities
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...
Shishuo Fu
107views more  RAS 2008»
8 years 3 months ago
What can be done with an embedded stereo-rig in urban environments?
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...
Nicolas Simond, Patrick Rives
8 years 4 months ago
Proving Possibility Properties
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...
Leslie Lamport
61views more  IJON 2002»
8 years 4 months ago
Mechanistic modeling of the retinogeniculate circuit in cat
Key words: Lateral geniculate nucleus ; Relay cell ; Neuronal network ; Mechanistic model
Hans E. Plesser, Gaute T. Einevoll, Paul Heggelund
66views more  ENTCS 2002»
8 years 4 months ago
Strongly Normalising Cut-Elimination with Strict Intersection Types
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 ...
Steffen van Bakel
103views more  JAT 2007»
8 years 4 months ago
Monotonicity of zeros of Jacobi polynomials
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...
Dimitar K. Dimitrov, Fernando R. Rafaeli
8 years 4 months ago
On the smallest maximal partial ovoids and spreads of the generalized quadrangles W(q) and Q(4, q)
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 ...
M. Cimráková, Stefaan De Winter, Vee...
139views more  JUCS 2008»
8 years 4 months ago
Constructive Notions of Maximality for Ideals
: 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...
Douglas S. Bridges, Robin Havea