Sciweavers

    4987 search results - page 134 / 998
    » Fuzzifying P Systems
    Sort
    View
    100
    Voted
    ICALP
    2010
    Springer
    106views Programming Languages» more  ICALP 2010»
    On p-Optimal Proof Systems and Logics for PTIME
    15 years 8 months ago
    On p-Optimal Proof Systems and Logics for PTIME
    Download  basics.sjtu.edu.cn
    We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
    Yijia Chen, Jörg Flum
    claim paper
    Read More »
    NGC
    2002
    Springer
    111views Communications» more  NGC 2002»
    The Power of Communication: P Systems with Symport/Antiport
    15 years 3 months ago
    The Power of Communication: P Systems with Symport/Antiport
    Download  www2.latech.edu
    In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (o...
    Andrei Paun, Gheorghe Paun
    claim paper
    Read More »
    CLUSTER
    2009
    IEEE
    72views Distributed And Parallel Com...» more  CLUSTER 2009»
    Fault-aware, utility-based job scheduling on Blue, Gene/P systems
    15 years 10 months ago
    Fault-aware, utility-based job scheduling on Blue, Gene/P systems
    Download  www.cluster2009.org
    Wei Tang, Zhiling Lan, Narayan Desai, Daniel Buett...
    claim paper
    Read More »
    MEMBRANE
    2009
    Springer
    219views Applied Computing» more  MEMBRANE 2009»
    Tuning P Systems for Solving the Broadcasting Problem
    15 years 10 months ago
    Tuning P Systems for Solving the Broadcasting Problem
    Download  www.gcn.us.es
    Raluca Lefticaru, Florentin Ipate, Marian Gheorghe...
    claim paper
    Read More »
    MEMBRANE
    2009
    Springer
    213views Applied Computing» more  MEMBRANE 2009»
    On Reversibility and Determinism in P Systems
    15 years 10 months ago
    On Reversibility and Determinism in P Systems
    Download  www.gcn.us.es
    Artiom Alhazov, Kenichi Morita
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.