Sciweavers

    TCOS
    2008
    257views Computer Science» more  TCOS 2008»
    On Contemporary Denotational Mathematics for Computational Intelligence
    14 years 22 days ago
    On Contemporary Denotational Mathematics for Computational Intelligence
    Download  enel.ucalgary.ca
    Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
    Yingxu Wang
    claim paper
    Read More »
    JUCS
    2008
    147views more  JUCS 2008»
    On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
    14 years 24 days ago
    On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
    Download  www.jucs.org
    : Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
    Afrodita Iorgulescu
    claim paper
    Read More »
    ENTCS
    2006
    116views more  ENTCS 2006»
    Reflections on a Geometry of Processes
    14 years 25 days ago
    Reflections on a Geometry of Processes
    Download  www.win.tue.nl
    In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers.
    Clemens Grabmayer, Jan Willem Klop, Bas Luttik
    claim paper
    Read More »
    ENTCS
    2006
    114views more  ENTCS 2006»
    What is algebraic in process theory?
    14 years 25 days ago
    What is algebraic in process theory?
    Download  alexandria.tue.nl
    This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
    Bas Luttik
    claim paper
    Read More »
    ENTCS
    2006
    273views more  ENTCS 2006»
    Operator Algebras and the Operational Semantics of Probabilistic Languages
    14 years 25 days ago
    Operator Algebras and the Operational Semantics of Probabilistic Languages
    Download  www.di.unipi.it
    We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
    Alessandra Di Pierro, Herbert Wiklicky
    claim paper
    Read More »
    FSS
    2008
    94views more  FSS 2008»
    Lattices of convex normal functions
    14 years 27 days ago
    Lattices of convex normal functions
    Download  www.math.nmsu.edu
    The algebra of truth values of type-2 fuzzy sets is the set of all functions from the unit interval into itself, with operations de ned in terms of certain convolutions of these f...
    John Harding, Carol L. Walker, Elbert A. Walker
    claim paper
    Read More »
    DM
    2008
    61views more  DM 2008»
    Inheritance of hyper-duality in imprimitive Bose-Mesner algebras
    14 years 27 days ago
    Inheritance of hyper-duality in imprimitive Bose-Mesner algebras
    Download  shell.cas.usf.edu
    We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose-Mesner algebras associated with a hyper-dual pair of imprimitive Bose-Mesner a...
    Brian Curtin
    claim paper
    Read More »
    ACS
    2008
    119views Distributed And Parallel Com...» more  ACS 2008»
    Algebras Versus Coalgebras
    14 years 29 days ago
    Algebras Versus Coalgebras
    Download  www.math.uni-duesseldorf.de
    Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
    Robert Wisbauer
    claim paper
    Read More »
    SYRCODIS
    2007
    86views Database» more  SYRCODIS 2007»
    XML Query Algera for Cost-based Optimization
    14 years 2 months ago
    XML Query Algera for Cost-based Optimization
    Download  sunsite.informatik.rwth-aachen.de
    Several requirements for algebra suitable for ecient cost-based optimization are presented. It is shown that known XML algebras do not fully satisfy this requirements. A new alge...
    Maxim Lukichev, Dmitry Barashev
    claim paper
    Read More »
    DLT
    1993
    96views Theoretical Computer Science» more  DLT 1993»
    Rewriting Extended Regular Expressions
    14 years 2 months ago
    Rewriting Extended Regular Expressions
    Download  www.daimi.au.dk
    We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
    Valentin M. Antimirov, Peter D. Mosses
    claim paper
    Read More »
    « first‹ previous1234next ›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-2025, USA.