Sciweavers

    60
    Voted
    ISMB
    2007
    88views Computational Biology» more  ISMB 2007»
    Genomic characterization of perturbation sensitivity
    15 years 2 months ago
    Genomic characterization of perturbation sensitivity
    Download  www.snubi.org
    Jung Hun Ohn, Jihun Kim, Ju Han Kim
    claim paper
    Read More »
    ISMB
    2007
    109views Computational Biology» more  ISMB 2007»
    Identification of new drug classification terms in textual resources
    15 years 2 months ago
    Identification of new drug classification terms in textual resources
    Download  www.scai.fraunhofer.de
    Corinna Kolárik, Martin Hofmann-Apitius, Ma...
    claim paper
    Read More »
    ISMB
    2007
    206views Computational Biology» more  ISMB 2007»
    A Chado case study: an ontology-based modular schema for representing genome-associated biological information
    15 years 2 months ago
    A Chado case study: an ontology-based modular schema for representing genome-associated biological information
    Download  gmod.org
    Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...
    Chris Mungall, David B. Emmert
    claim paper
    Read More »
    58
    Voted
    ISMB
    2007
    117views Computational Biology» more  ISMB 2007»
    Multiway analysis of epilepsy tensors
    15 years 2 months ago
    Multiway analysis of epilepsy tensors
    Download  www.cs.rpi.edu
    Evrim Acar, Canan Aykut-Bingol, Haluk Bingol, Rasm...
    claim paper
    Read More »
    85
    Voted
    ISMB
    2007
    97views Computational Biology» more  ISMB 2007»
    Polyploids, genome halving and phylogeny
    15 years 2 months ago
    Polyploids, genome halving and phylogeny
    Download  albuquerque.bioinformatics.uottawa.ca
    Autopolyploidization and allopolyploidization events multiply the number of chromosomes and genomic content. Genome rearrangement phylogenetics requires that all genomes analyzed ...
    David Sankoff, Chunfang Zheng, Qian Zhu
    claim paper
    Read More »
    188
    Voted
    ISMB
    2007
    295views Computational Biology» more  ISMB 2007»
    ISMB/ECCB 2007
    15 years 2 months ago
    ISMB/ECCB 2007
    Download  www.iscb.org
    claim paper
    Read More »
    ASM
    2010
    ASM
    281views Computational Biology» more  ASM 2010»
    Automatic Verification for a Class of Proof Obligations with SMT-Solvers
    15 years 2 months ago
    Automatic Verification for a Class of Proof Obligations with SMT-Solvers
    Download  www.mendeley.com
    Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
    David Déharbe
    claim paper
    Read More »
    86
    Voted
    BICOB
    2009
    Springer
    106views Computational Biology» more  BICOB 2009»
    Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper
    15 years 3 months ago
    Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper
    Download  bioinformatics.cs.vt.edu
    Corban G. Rivera, T. M. Murali
    claim paper
    Read More »
    ASM
    2010
    ASM
    265views Computational Biology» more  ASM 2010»
    A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
    15 years 3 months ago
    A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
    Download  eprints.ecs.soton.ac.uk
    Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
    Edd Turner, Michael J. Butler, Michael Leuschel
    claim paper
    Read More »
    105
    Voted
    ASM
    2010
    ASM
    246views Computational Biology» more  ASM 2010»
    A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
    15 years 3 months ago
    A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
    Download  users.ece.utexas.edu
    Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dew...
    claim paper
    Read More »
    « first‹ previous…373839404142434445…next ›last »
    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.