Sciweavers

    MCU
    2007
    96views Hardware» more  MCU 2007»
    Query Completeness of Skolem Machine Computations
    13 years 6 months ago
    Query Completeness of Skolem Machine Computations
    Download  www.univ-orleans.fr
    John Fisher, Marc Bezem
    claim paper
    Read More »
    MCU
    2007
    97views Hardware» more  MCU 2007»
    Using Approximation to Relate Computational Classes over the Reals
    13 years 6 months ago
    Using Approximation to Relate Computational Classes over the Reals
    Download  www.univ-orleans.fr
    Manuel Lameiras Campagnolo, Kerry Ojakian
    claim paper
    Read More »
    MCU
    2007
    123views Hardware» more  MCU 2007»
    Study of Limits of Solvability in Tag Systems
    13 years 6 months ago
    Study of Limits of Solvability in Tag Systems
    Download  logica.ugent.be
    Abstract. In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. Thi...
    Liesbeth De Mol
    claim paper
    Read More »
    MCU
    2007
    92views Hardware» more  MCU 2007»
    On the Power of Networks of Evolutionary Processors
    13 years 6 months ago
    On the Power of Networks of Evolutionary Processors
    Download  theo.cs.uni-magdeburg.de
    We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumer...
    Jürgen Dassow, Bianca Truthe
    claim paper
    Read More »
    MCU
    2007
    114views Hardware» more  MCU 2007»
    Changing the Neighborhood of Cellular Automata
    13 years 6 months ago
    Changing the Neighborhood of Cellular Automata
    Download  www.univ-orleans.fr
    Hidenosuke Nishio
    claim paper
    Read More »
    MCU
    2007
    144views Hardware» more  MCU 2007»
    Four Small Universal Turing Machines
    13 years 6 months ago
    Four Small Universal Turing Machines
    Download  www.dna.caltech.edu
    We present small polynomial time universal Turing machines with state-symbol pairs of (5, 5), (6, 4), (9, 3) and (18, 2). These machines simulate our new variant of tag system, the...
    Turlough Neary, Damien Woods
    claim paper
    Read More »
    MCU
    2007
    128views Hardware» more  MCU 2007»
    Small Semi-weakly Universal Turing Machines
    13 years 6 months ago
    Small Semi-weakly Universal Turing Machines
    Download  www.univ-orleans.fr
    Damien Woods, Turlough Neary
    claim paper
    Read More »
    MCU
    2007
    95views Hardware» more  MCU 2007»
    Slightly Beyond Turing's Computability for Studying Genetic Programming
    13 years 6 months ago
    Slightly Beyond Turing's Computability for Studying Genetic Programming
    Download  eprints.pascal-network.org
    Inspired by genetic programming (GP), we study iterative algorithms for non-computable tasks and compare them to naive models. This framework justifies many practical standard tri...
    Olivier Teytaud
    claim paper
    Read More »
    MCU
    2007
    97views Hardware» more  MCU 2007»
    A Simple P-Complete Problem and Its Representations by Language Equations
    13 years 6 months ago
    A Simple P-Complete Problem and Its Representations by Language Equations
    Download  www.univ-orleans.fr
    Alexander Okhotin
    claim paper
    Read More »
    MCU
    2007
    113views Hardware» more  MCU 2007»
    On the Computational Capabilities of Several Models
    13 years 6 months ago
    On the Computational Capabilities of Several Models
    Download  www.lix.polytechnique.fr
    We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
    Olivier Bournez, Emmanuel Hainry
    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-2024, USA.