Sciweavers

    STACS
    2016
    Springer
    89views Theoretical Computer Science» more  STACS 2016»
    Catalytic Space: Non-determinism and Hierarchy
    10 years 15 days ago
    Catalytic Space: Non-determinism and Hierarchy
    Download  drops.dagstuhl.de
    Catalytic computation, defined by Buhrman, Cleve, Koucký, Loff and Speelman (STOC 2014), is a space-bounded computation where in addition to our working memory we have an expon...
    Harry Buhrman, Michal Koucký, Bruno Loff, F...
    claim paper
    Read More »
    STACS
    2016
    Springer
    62views Theoretical Computer Science» more  STACS 2016»
    On a Fragment of AMSO and Tiling Systems
    10 years 15 days ago
    On a Fragment of AMSO and Tiling Systems
    Download  drops.dagstuhl.de
    We prove that satisfiability over infinite words is decidable for a fragment of asymptotic monadic second-order logic. In this fragment we only allow formulae of the form ∃t...
    Achim Blumensath, Thomas Colcombet, Pawel Parys
    claim paper
    Read More »
    STACS
    2016
    Springer
    58views Theoretical Computer Science» more  STACS 2016»
    On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation
    10 years 15 days ago
    On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation
    Download  drops.dagstuhl.de
    John Tromp introduced the so-called ’binary lambda calculus’ as a way to encode lambda terms in terms of 0−1-strings. Later, Grygiel and Lescanne conjectured that the number...
    Bernhard Gittenberger, Zbigniew Golebiewski
    claim paper
    Read More »
    STACS
    2016
    Springer
    55views Theoretical Computer Science» more  STACS 2016»
    Entropy Games and Matrix Multiplication Games
    10 years 15 days ago
    Entropy Games and Matrix Multiplication Games
    Download  drops.dagstuhl.de
    Two intimately related new classes of games are introduced and studied: entropy games (EGs) and matrix multiplication games (MMGs). An EG is played on a finite arena by two-and-a...
    Eugene Asarin, Julien Cervelle, Aldric Degorre, Ca...
    claim paper
    Read More »
    STACS
    2016
    Springer
    53views Theoretical Computer Science» more  STACS 2016»
    Polynomial Kernels for Deletion to Classes of Acyclic Digraphs
    10 years 15 days ago
    Polynomial Kernels for Deletion to Classes of Acyclic Digraphs
    Download  drops.dagstuhl.de
    Matthias Mnich, Erik Jan van Leeuwen
    claim paper
    Read More »
    All Subjects
    Algorithms
    Applied Computing
    Artificial Intelligence
    Augmented Reality
    Automated Reasoning
    Biometrics
    Communications
    Computational Geometry
    Computer Graphics
    Computer Networks
    Control Systems
    Cryptology
    Data Mining
    Database
    Distributed And Parallel Computing
    Education
    Emerging Technology
    Formal Methods
    FPGA
    Hardware
    Information Technology
    Intelligent Agents
    Internet Technology
    Knowledge Management
    Machine Learning
    Management
    Mathematics
    Medical Imaging
    Multimedia
    Natural Language Processing
    Neural Networks
    Operating System
    Operations Research
    Optimization
    Pattern Recognition
    Programming Languages
    Robotics
    Security Privacy
    Social Sciences
    Software Engineering
    Solid Modeling
    System Software
    Theoretical Computer Science
    VLSI
    Theoretical Computer Science
    Top of PageReset Settings
    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.