Sciweavers

    CMA
    2010
    114views more  CMA 2010»
    On enumeration of hypergroups of order 3
    13 years 8 months ago
    On enumeration of hypergroups of order 3
    Download  users.ntua.gr
    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
    claim paper
    Read More »
    JUCS
    2010
    107views more  JUCS 2010»
    Algebras and Update Strategies
    13 years 10 months ago
    Algebras and Update Strategies
    Download  www.mta.ca
    : 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
    claim paper
    Read More »
    EJC
    2010
    116views Information Technology» more  EJC 2010»
    A proof of Bressoud's conjecture related to the Rogers-Ramanujan identities
    13 years 10 months ago
    A proof of Bressoud's conjecture related to the Rogers-Ramanujan identities
    Download  www.math.psu.edu
    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
    claim paper
    Read More »
    RAS
    2008
    107views more  RAS 2008»
    What can be done with an embedded stereo-rig in urban environments?
    13 years 11 months ago
    What can be done with an embedded stereo-rig in urban environments?
    Download  www-sop.inria.fr
    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
    claim paper
    Read More »
    TCS
    1998
    103views Theoretical Computer Science» more  TCS 1998»
    Proving Possibility Properties
    13 years 11 months ago
    Proving Possibility Properties
    Download  research.microsoft.com
    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
    claim paper
    Read More »
    IJON
    2002
    61views more  IJON 2002»
    Mechanistic modeling of the retinogeniculate circuit in cat
    13 years 11 months ago
    Mechanistic modeling of the retinogeniculate circuit in cat
    Download  compneuro.umb.no
    Key words: Lateral geniculate nucleus ; Relay cell ; Neuronal network ; Mechanistic model
    Hans E. Plesser, Gaute T. Einevoll, Paul Heggelund
    claim paper
    Read More »
    ENTCS
    2002
    66views more  ENTCS 2002»
    Strongly Normalising Cut-Elimination with Strict Intersection Types
    13 years 11 months ago
    Strongly Normalising Cut-Elimination with Strict Intersection Types
    Download  www.doc.ic.ac.uk
    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
    claim paper
    Read More »
    JAT
    2007
    103views more  JAT 2007»
    Monotonicity of zeros of Jacobi polynomials
    13 years 11 months ago
    Monotonicity of zeros of Jacobi polynomials
    Download  www.dcce.ibilce.unesp.br
    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
    claim paper
    Read More »
    EJC
    2007
    73views Information Technology» more  EJC 2007»
    On the smallest maximal partial ovoids and spreads of the generalized quadrangles W(q) and Q(4, q)
    13 years 11 months ago
    On the smallest maximal partial ovoids and spreads of the generalized quadrangles W(q) and Q(4, q)
    Download  cage.ugent.be
    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...
    claim paper
    Read More »
    JUCS
    2008
    139views more  JUCS 2008»
    Constructive Notions of Maximality for Ideals
    13 years 11 months ago
    Constructive Notions of Maximality for Ideals
    Download  www.jucs.org
    : 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
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.