Sciweavers

    27913 search results - page 729 / 5583
    » Simulation
    Sort
    View
    CHI
    2003
    ACM
    89views Human Computer Interaction» more  CHI 2003»
    The bloodhound project: automating discovery of web usability issues using the InfoScent simulator
    16 years 7 months ago
    The bloodhound project: automating discovery of web usability issues using the InfoScent simulator
    Download  www-users.cs.umn.edu
    Ed Huai-hsin Chi, Adam Rosien, Gesara Supattanasir...
    claim paper
    Read More »
    RECOMB
    2007
    Springer
    122views Computational Biology» more  RECOMB 2007»
    Tools for Simulating and Analyzing RNA Folding Kinetics
    16 years 7 months ago
    Tools for Simulating and Analyzing RNA Folding Kinetics
    Download  www.qb3.org
    Xinyu Tang, Shawna L. Thomas, Lydia Tapia, Nancy M...
    claim paper
    Read More »
    RECOMB
    2006
    Springer
    134views Computational Biology» more  RECOMB 2006»
    Simulating Protein Motions with Rigidity Analysis
    16 years 7 months ago
    Simulating Protein Motions with Rigidity Analysis
    Download  ai.stanford.edu
    Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...
    Shawna L. Thomas, Xinyu Tang, Lydia Tapia, Nancy M...
    claim paper
    Read More »
    186
    Voted
    CADE
    2006
    Springer
    162views Logical Reasoning» more  CADE 2006»
    Cut-Simulation in Impredicative Logics
    16 years 7 months ago
    Cut-Simulation in Impredicative Logics
    Download  mathgate.info
    Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
    Christoph Benzmüller, Chad E. Brown, Michael ...
    claim paper
    Read More »
    CADE
    2005
    Springer
    117views Logical Reasoning» more  CADE 2005»
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
    16 years 7 months ago
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
    Download  www.cs.wisc.edu
    Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...
    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.