Sciweavers

    15754 search results - page 3151 / 3151
    » Programs are Knowledge Bases
    Sort
    View
    CC
    2003
    Springer
    250views System Software» more  CC 2003»
    Automatic Detection of Uninitialized Variables
    13 years 11 months ago
    Automatic Detection of Uninitialized Variables
    Download  www.mimuw.edu.pl
    vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
    Thi Viet Nga Nguyen, François Irigoin, Cori...
    claim paper
    Read More »
    BMCBI
    2008
    88views more  BMCBI 2008»
    Large-scale identification of polymorphic microsatellites using an in silico approach
    13 years 5 months ago
    Large-scale identification of polymorphic microsatellites using an in silico approach
    Download  www.biomedcentral.com
    Background: Simple Sequence Repeat (SSR) or microsatellite markers are valuable for genetic research. Experimental methods to develop SSR markers are laborious, time consuming and...
    Jifeng Tang, Samantha J. Baldwin, Jeanne M. E. Jac...
    claim paper
    Read More »
    IANDC
    2008
    141views more  IANDC 2008»
    Graph connectivity, partial words, and a theorem of Fine and Wilf
    13 years 5 months ago
    Graph connectivity, partial words, and a theorem of Fine and Wilf
    Download  www.uncg.edu
    The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...
    Francine Blanchet-Sadri, Deepak Bal, Gautam Sisodi...
    claim paper
    Read More »
    BMCBI
    2002
    129views more  BMCBI 2002»
    SeqHound: biological sequence and structure database as a platform for bioinformatics research
    13 years 5 months ago
    SeqHound: biological sequence and structure database as a platform for bioinformatics research
    Download  www.biomedcentral.com
    Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
    Katerina Michalickova, Gary D. Bader, Michel Dumon...
    claim paper
    Read More »
    « Prev « First page 3151 / 3151 Last » Next »
    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.