Sciweavers

    818 search results - page 99 / 164
    » formats 2007
    Sort
    View
    BMCBI
    2005
    94views more  BMCBI 2005»
    Workflows in bioinformatics: meta-analysis and prototype implementation of a workflow generator
    14 years 9 months ago
    Workflows in bioinformatics: meta-analysis and prototype implementation of a workflow generator
    Download  www.biomedcentral.com
    Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
    Alexander García Castro, Samuel Thoraval, L...
    claim paper
    Read More »
    BMCBI
    2005
    114views more  BMCBI 2005»
    AutoFACT: An Automatic Functional Annotation and Classification Tool
    14 years 9 months ago
    AutoFACT: An Automatic Functional Annotation and Classification Tool
    Download  www.biomedcentral.com
    Background: Assignment of function to new molecular sequence data is an essential step in genomics projects. The usual process involves similarity searches of a given sequence aga...
    Liisa B. Koski, Michael W. Gray, B. Franz Lang, Ge...
    claim paper
    Read More »
    JIB
    2007
    95views more  JIB 2007»
    Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
    14 years 9 months ago
    Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
    Download  journal.imbio.de
    The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
    Allyson L. Lister, Matthew R. Pocock, Anil Wipat
    claim paper
    Read More »
    JKM
    2007
    109views more  JKM 2007»
    Visual representations in knowledge management: framework and cases
    14 years 9 months ago
    Visual representations in knowledge management: framework and cases
    Download  www.uky.edu
    Purpose – The purpose of this article is to explore the potential of visualization for corporate knowledge management. Design/methodology/approach – The employed methodology c...
    Martin J. Eppler, Remo Aslak Burkhard
    claim paper
    Read More »
    JLP
    2007
    114views more  JLP 2007»
    Deaccumulation techniques for improving provability
    14 years 9 months ago
    Deaccumulation techniques for improving provability
    Download  www.iai.uni-bonn.de
    Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
    Jürgen Giesl, Armin Kühnemann, Janis Voi...
    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-2025, USA.