Search
Now showing items 31-36 of 36
Presentation
A uniform framework for modeling based on P Systems
(IEEE Computer Society, 2010)
In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment probabilistic functional P systems with active membranes provide the syntactical ...
Presentation
An Overview of P-Lingua 2.0
(Springer, 2009)
P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to implement this idea, a Java library called pLinguaCore has been developed as a software framework for ...
Presentation
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
(IEEE Computer Society, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for nearly two decades. On the other hand, in the membrane computing framework, models based on ...
Presentation
A new simulation algorithm for multienvironment probabilistic P systems
(IEEE Computer Society, 2010)
Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling framework represents the structural and dynamical aspects of real ecosystems in a discrete, ...
Presentation
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems
(IEEE Computer Society, 2010)
In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the knowledge of several real-life phenomena. In this framework, membrane computing is an emergent ...
Presentation
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes ...