Sciweavers

    37217 search results - page 448 / 7444
    » or 2010
    Sort
    View
    CORR
    2010
    Springer
    50views Education» more  CORR 2010»
    Relating Nominal and Higher-order Abstract Syntax Specifications
    15 years 7 months ago
    Relating Nominal and Higher-order Abstract Syntax Specifications
    Download  www-users.cs.umn.edu
    Andrew Gacek
    claim paper
    Read More »
    CORR
    2010
    Springer
    57views Education» more  CORR 2010»
    Exact Ramsey Theory: Green-Tao numbers and SAT
    15 years 7 months ago
    Exact Ramsey Theory: Green-Tao numbers and SAT
    Download  cs.swan.ac.uk
    Oliver Kullmann
    claim paper
    Read More »
    CORR
    2010
    Springer
    96views Education» more  CORR 2010»
    The Complexity of Partition Functions on Hermitian Matrices
    15 years 7 months ago
    The Complexity of Partition Functions on Hermitian Matrices
    Download  www.eecs.berkeley.edu
    Marc Thurley
    claim paper
    Read More »
    CORR
    2010
    Springer
    51views Education» more  CORR 2010»
    Nurse Rostering with Genetic Algorithms
    15 years 7 months ago
    Nurse Rostering with Genetic Algorithms
    Download  eprints.nottingham.ac.uk
    Uwe Aickelin
    claim paper
    Read More »
    CORR
    2010
    Springer
    123views Education» more  CORR 2010»
    Improved Direct Product Theorems for Randomized Query Complexity
    15 years 7 months ago
    Improved Direct Product Theorems for Randomized Query Complexity
    Download  people.csail.mit.edu
    Andrew Drucker
    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.