Sciweavers

    3457 search results - page 151 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    HYBRID
    2004
    Springer
    117views Control Systems» more  HYBRID 2004»
    Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
    15 years 11 months ago
    Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
    Download  www.stanford.edu
    Patrick Lincoln, Ashish Tiwari
    claim paper
    Read More »
    ISSAC
    2004
    Springer
    98views Mathematics» more  ISSAC 2004»
    Symbolic summation with single-nested sum extensions
    15 years 11 months ago
    Symbolic summation with single-nested sum extensions
    Download  www.risc.jku.at
    We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
    Carsten Schneider
    claim paper
    Read More »
    ISSAC
    2004
    Springer
    129views Mathematics» more  ISSAC 2004»
    Numerical algebraic geometry and symbolic computation
    15 years 11 months ago
    Numerical algebraic geometry and symbolic computation
    Download  www.math.uic.edu
    Jan Verschelde
    claim paper
    Read More »
    MICAI
    2004
    Springer
    151views Artificial Intelligence» more  MICAI 2004»
    Applying Genetic and Symbolic Learning Algorithms to Extract Rules from Artificial Neural Networks
    15 years 11 months ago
    Applying Genetic and Symbolic Learning Algorithms to Extract Rules from Artificial Neural Networks
    Download  www.icmc.usp.br
    Claudia Regina Milaré, Gustavo E. A. P. A. ...
    claim paper
    Read More »
    MKM
    2004
    Springer
    72views Information Technology» more  MKM 2004»
    Predicate Logic with Sequence Variables and Sequence Function Symbols
    15 years 11 months ago
    Predicate Logic with Sequence Variables and Sequence Function Symbols
    Download  www.risc.jku.at
    We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
    Temur Kutsia, Bruno Buchberger
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.