Sciweavers

    928 search results - page 53 / 186
    » Using fMRI to Test Models of Complex Cognition
    Sort
    View
    WSC
    2007
    142views Modeling And Simulation» more  WSC 2007»
    Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies
    15 years 8 hour ago
    Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies
    Download  www.informs-sim.org
    Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
    G. Ryan Anderson, Nilufer Onder, Amlan Mukherjee
    claim paper
    Read More »
    FMICS
    2008
    Springer
    196views Formal Methods» more  FMICS 2008»
    Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
    14 years 11 months ago
    Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
    Download  membres-liglab.imag.fr
    Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
    Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
    claim paper
    Read More »
    FORTE
    2007
    164views Formal Methods» more  FORTE 2007»
    Composition of Model Programs
    14 years 11 months ago
    Composition of Model Programs
    Download  research.microsoft.com
    Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
    Margus Veanes, Colin Campbell, Wolfram Schulte
    claim paper
    Read More »
    CEC
    2009
    IEEE
    133views Artificial Intelligence» more  CEC 2009»
    A parallel genetic algorithm for protein folding prediction using the 3D-HP Side Chain model
    15 years 2 months ago
    A parallel genetic algorithm for protein folding prediction using the 3D-HP Side Chain model
    Download  www.cpgei.cefetpr.br
    — This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
    César Manuel Vargas Benítez, Heitor ...
    claim paper
    Read More »
    CVGIP
    2010
    182views more  CVGIP 2010»
    MCCD: Multi-core collision detection between deformable models using front-based decomposition
    14 years 9 months ago
    MCCD: Multi-core collision detection between deformable models using front-based decomposition
    Download  gamma.cs.unc.edu
    We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
    Min Tang, Dinesh Manocha, Ruofeng Tong
    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.