Sciweavers

    39 search results - page 8 / 8
    » Provenance and evidence in UniProtKB
    Sort
    View
    FOSSACS
    2008
    Springer
    109views Software Engineering» more  FOSSACS 2008»
    Erasure and Polymorphism in Pure Type Systems
    13 years 6 months ago
    Erasure and Polymorphism in Pure Type Systems
    Download  web.cecs.pdx.edu
    We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
    Nathan Mishra-Linger, Tim Sheard
    claim paper
    Read More »
    IJCAI
    1993
    96views Artificial Intelligence» more  IJCAI 1993»
    The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
    13 years 6 months ago
    The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
    Download  dli.iiit.ac.in
    We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
    Erik Sandewall
    claim paper
    Read More »
    BMCBI
    2006
    147views more  BMCBI 2006»
    A hidden Markov model approach for determining expression from genomic tiling micro arrays
    13 years 5 months ago
    A hidden Markov model approach for determining expression from genomic tiling micro arrays
    Download  www.biomedcentral.com
    Background: Genomic tiling micro arrays have great potential for identifying previously undiscovered coding as well as non-coding transcription. To-date, however, analyses of thes...
    Kasper Munch, Paul P. Gardner, Peter Arctander, An...
    claim paper
    Read More »
    BMCBI
    2005
    79views more  BMCBI 2005»
    Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes
    13 years 5 months ago
    Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes
    Download  www.biomedcentral.com
    Background: Cyclic nucleotides are ubiquitous intracellular messengers. Until recently, the roles of cyclic nucleotides in plant cells have proven difficult to uncover. With an un...
    Dave Bridges, Marie E. Fraser, Greg B. G. Moorhead
    claim paper
    Read More »
    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.