Now showing items 1-5 of 5

    • Presentation
      Icon

      Dynamical Probabilistic P Systems: Definitions and Applications 

      Pescini, Dario; Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo (Fénix Editora, 2005)
      We introduce dynamical probabilistic P systems, a variant where probabilities associated to the rules change during the ...
    • Presentation
      Icon

      Reaction Cycles in Membrane Systems and Molecular Dynamics 

      Muskulus, Michael; Houweling, Sanne; Rozenberg, Grzegorz; Besozzi, Daniela; Cazzaniga, Paolo; Pescini, Dario; Brijder, Robert (Fénix Editora, 2006)
      We are considering molecular dynamics and (sequential) membrane systems from the viewpoint of Markov chain theory. The ...
    • Presentation
      Icon

      Stochastic Approaches in P Systems for Simulating Biological Systems 

      Cazzaniga, Paolo; Pescini, Dario; Romero Campero, Francisco José; Besozzi, Daniela; Mauri, Giancarlo (Fénix Editora, 2006)
      Different stochastic strategies for modeling biological systems with P systems are reviewed in this paper, such as the ...
    • Presentation
      Icon

      Towards a P Systems Pseudomonas Quorum Sensing Model 

      Bianco, Luca; Pescini, Dario; Siepmann, Peter; Krasnogor, Natalio; Romero Campero, Francisco José; Gheorghe, Marian (Springer, 2006)
      Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals ...
    • Chapter of Book
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.