Sciweavers

    7117 search results - page 35 / 1424
    » IT Governance Frameworks as Methods
    Sort
    View
    IROS
    2009
    IEEE
    168views Robotics» more  IROS 2009»
    Heart surface motion estimation framework for robotic surgery employing meshless methods
    15 years 5 months ago
    Heart surface motion estimation framework for robotic surgery employing meshless methods
    Download  isas.uka.de
    Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
    Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...
    claim paper
    Read More »
    APPML
    2007
    75views more  APPML 2007»
    Analysis of substructuring preconditioners for mortar methods in an abstract framework
    14 years 11 months ago
    Analysis of substructuring preconditioners for mortar methods in an abstract framework
    Download  www.imati.cnr.it
    framework Silvia Bertoluzza∗, Micol Pennacchio Istituto di Matematica Applicata e Tecnologie Informatiche del C.N.R., v. Ferrata 1, 27100 Pavia, Italy Received 16 February 2006; ...
    Silvia Bertoluzza, Micol Pennacchio
    claim paper
    Read More »
    TPHOL
    2007
    IEEE
    136views Automated Reasoning» more  TPHOL 2007»
    Building Formal Method Tools in the Isabelle/Isar Framework
    15 years 5 months ago
    Building Formal Method Tools in the Isabelle/Isar Framework
    Download  www4.in.tum.de
    Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
    Makarius Wenzel, Burkhart Wolff
    claim paper
    Read More »
    BMCBI
    2007
    143views more  BMCBI 2007»
    An adaptive bin framework search method for a beta-sheet protein homopolymer model
    14 years 11 months ago
    An adaptive bin framework search method for a beta-sheet protein homopolymer model
    Download  www.biomedcentral.com
    Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
    Alena Shmygelska, Holger H. Hoos
    claim paper
    Read More »
    SDE
    1991
    144views Software Engineering» more  SDE 1991»
    A Configurable Framework for Method and Tool Integration
    15 years 2 months ago
    A Configurable Framework for Method and Tool Integration
    Download  www.cs.ucl.ac.uk
    There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
    Jeff Kramer, Anthony Finkelstein
    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.