Sciweavers

    237 search results - page 11 / 48
    » Toward Verified Biological Models
    Sort
    View
    ICRA
    2007
    IEEE
    110views Robotics» more  ICRA 2007»
    A Reinforcement Learning Approach to Lift Generation in Flapping MAVs: Experimental Results
    15 years 3 months ago
    A Reinforcement Learning Approach to Lift Generation in Flapping MAVs: Experimental Results
    Download  groups.csail.mit.edu
    — In [17] we proposed an RL framework for control of flapping-wing MAVs. The algorithm has been discussed and simulation results using a quasi-steady model showed initial promis...
    Mehran Motamed, Joseph Yan
    claim paper
    Read More »
    BMCBI
    2007
    140views more  BMCBI 2007»
    Investigations into the relationship between feedback loops and functional importance of a signal transduction network based on
    14 years 9 months ago
    Investigations into the relationship between feedback loops and functional importance of a signal transduction network based on
    Download  www.biomedcentral.com
    Background: A number of studies on biological networks have been carried out to unravel the topological characteristics that can explain the functional importance of network nodes...
    Yung-Keun Kwon, Sun Shim Choi, Kwang-Hyun Cho
    claim paper
    Read More »
    FORTE
    2004
    94views Formal Methods» more  FORTE 2004»
    Formal Verification of Web Applications Modeled by Communicating Automata
    14 years 11 months ago
    Formal Verification of Web Applications Modeled by Communicating Automata
    Download  www.iro.umontreal.ca
    In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
    May Haydar, Alexandre Petrenko, Houari A. Sahraoui
    claim paper
    Read More »
    ICWE
    2005
    Springer
    128views Internet Technology» more  ICWE 2005»
    Towards Model-Driven Testing of a Web Application Generator
    15 years 3 months ago
    Towards Model-Driven Testing of a Web Application Generator
    Download  home.dei.polimi.it
    Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
    Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
    claim paper
    Read More »
    BIB
    2010
    147views more  BIB 2010»
    Toward the dynamic interactome: it's about time
    14 years 9 months ago
    Toward the dynamic interactome: it's about time
    Download  www.cs.tufts.edu
    Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
    Teresa M. Przytycka, Mona Singh, Donna K. Slonim
    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.