Sciweavers

    ASM
    2008
    ASM
    120views Computational Biology» more  ASM 2008»
    Model Checking Event-B by Encoding into Alloy
    13 years 9 months ago
    Model Checking Event-B by Encoding into Alloy
    Download  eprints.ecs.soton.ac.uk
    As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
    Paulo J. Matos, João Marques-Silva
    claim paper
    Read More »
    ASM
    2010
    ASM
    264views Computational Biology» more  ASM 2010»
    AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
    13 years 9 months ago
    AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
    Download  cs.unibg.it
    Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...
    claim paper
    Read More »
    AB
    2008
    Springer
    271views Computational Biology» more  AB 2008»
    The Geometry of the Neighbor-Joining Algorithm for Small Trees
    13 years 9 months ago
    The Geometry of the Neighbor-Joining Algorithm for Small Trees
    Download  www.risc.jku.at
    In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstr...
    Kord Eickmeyer, Ruriko Yoshida
    claim paper
    Read More »
    AB
    2008
    Springer
    300views Computational Biology» more  AB 2008»
    Differential Algebra and System Modeling in Cellular Biology
    13 years 9 months ago
    Differential Algebra and System Modeling in Cellular Biology
    Download  www.risc.jku.at
    Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
    François Boulier, François Lemaire
    claim paper
    Read More »
    ISMB
    2008
    140views Computational Biology» more  ISMB 2008»
    Annotation-based inference of transporter function
    13 years 9 months ago
    Annotation-based inference of transporter function
    Download  www.ai.sri.com
    Thomas J. Lee, Ian T. Paulsen, Peter D. Karp
    claim paper
    Read More »
    ISMB
    2008
    131views Computational Biology» more  ISMB 2008»
    MicroRNA prediction with a novel ranking algorithm based on random walks
    13 years 9 months ago
    MicroRNA prediction with a novel ranking algorithm based on random walks
    Download  www.cse.wustl.edu
    Yunpen Xu, Xuefeng Zhou, Weixiong Zhang
    claim paper
    Read More »
    ISMB
    2008
    118views Computational Biology» more  ISMB 2008»
    Contact replacement for NMR resonance assignment
    13 years 9 months ago
    Contact replacement for NMR resonance assignment
    Download  www.cs.dartmouth.edu
    Fei Xiong, Gopal Pandurangan, Chris Bailey-Kellogg
    claim paper
    Read More »
    ISMB
    2008
    209views Computational Biology» more  ISMB 2008»
    Classification of arrayCGH data using fused SVM
    13 years 9 months ago
    Classification of arrayCGH data using fused SVM
    Download  bioinfo-out.curie.fr
    Motivation: Array-based comparative genomic hybridization (arrayCGH) has recently become a popular tool to identify DNA copy number variations along the genome. These profiles are...
    Franck Rapaport, Emmanuel Barillot, Jean-Philippe ...
    claim paper
    Read More »
    ISMB
    2008
    128views Computational Biology» more  ISMB 2008»
    Inferring differentiation pathways from gene expression
    13 years 9 months ago
    Inferring differentiation pathways from gene expression
    Download  algorithmics.molgen.mpg.de
    Ivan G. Costa, Stefan Roepcke, Christoph Hafemeist...
    claim paper
    Read More »
    ISMB
    2008
    105views Computational Biology» more  ISMB 2008»
    POIMs: positional oligomer importance matrices - understanding support vector machine-based signal detectors
    13 years 9 months ago
    POIMs: positional oligomer importance matrices - understanding support vector machine-based signal detectors
    Download  www.fml.tuebingen.mpg.de
    Sören Sonnenburg, Alexander Zien, Petra Phili...
    claim paper
    Read More »
    « first‹ previous…343536373839404142…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-2024, USA.