Sciweavers

    4850 search results - page 71 / 970
    » Proof and Computation in Geometry
    Sort
    View
    ISDA
    2006
    IEEE
    95views Operating System» more  ISDA 2006»
    From Gene to Drug: A Proof of Concept for a Plausible Computational Pathway
    16 years 10 days ago
    From Gene to Drug: A Proof of Concept for a Plausible Computational Pathway
    Download  www.scfbio-iitd.res.in
    The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
    Sandhya Shenoy, B. Jayaram, N. Latha, Pooja Narang...
    claim paper
    Read More »
    CDB
    2004
    Springer
    143views Database» more  CDB 2004»
    Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
    15 years 11 months ago
    Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
    Download  consystlab.unl.edu
    Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
    Anagh Lal, Berthe Y. Choueiry
    claim paper
    Read More »
    ESORICS
    2009
    Springer
    153views Security Privacy» more  ESORICS 2009»
    Using SAT-Solvers to Compute Inference-Proof Database Instances
    16 years 1 months ago
    Using SAT-Solvers to Compute Inference-Proof Database Instances
    Download  wiese.free.fr
    Cornelia Tadros, Lena Wiese
    claim paper
    Read More »
    ESORICS
    2007
    Springer
    83views Security Privacy» more  ESORICS 2007»
    Inductive Proofs of Computational Secrecy
    16 years 14 days ago
    Inductive Proofs of Computational Secrecy
    Download  www.cs.cmu.edu
    Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
    claim paper
    Read More »
    ASIACRYPT
    2005
    Springer
    103views Cryptology» more  ASIACRYPT 2005»
    Errors in Computational Complexity Proofs for Protocols
    15 years 12 months ago
    Errors in Computational Complexity Proofs for Protocols
    Download  eprint.iacr.org
    Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
    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.