Arithmetic abilities of SNP systems with astrocytes producing calcium.

Are the membrane systems able of performing arithmetic operations? In the last dozen years, there were published several implementations of the arithmetic operations based on membrane systems by using all available topologies (cell-like, tissue-like, or neural-like). In particular, the spiking neural P systems perform arithmetic operations by using the numbers represented in binary base. In this paper, we consider numbers represented in unary base (to each number n corresponds an object with multiplicity n), and we propose two encodings for the main arithmetic operations (addition, subtraction, multiplication and division) between numbers given in unary base: (i) for each pair of input values generate an instance of a spiking neural P system with astrocytes producing calcium with rules based on these values; (ii) generate a spiking neural P system with astrocytes producing calcium that does not depend on these values.

Spiking Neural P Systems with Astrocytes Producing Calcium.

The astrocytes are cells which play an essential role in the functioning and interaction of neurons by feeding the respective neurons with calcium ions. Drawing inspiration from this two-way relationship in which the astrocytes influence and are influenced by the neurons by means of calcium ions, in this paper, we define and study spiking neural P systems with astrocytes producing calcium. Distinct from the usual firing rules in spiking neural P systems, the firing condition not only depends on the spikes collected in a neuron but also on the calcium units received from astrocytes.

On the relationship between membranes and ambients.

We establish a relationship between two formalisms used in describing biological systems. We translate some notions from the ambient calculus into the formalism of membrane systems. Thus we consider the exhibit of an ambient, its level, the structural congruence, and the contextual bisimulation in order to define and study in membrane systems the corresponding observation barbs, the depths of a membrane system, the structural congruence and the contextual bisimulation.

Conformon-driven biopolymer shape changes in cell modeling.

Conceptual models of the atom preceded the mathematical model of the hydrogen atom in physics in the second decade of the 20th century. The computer modeling of the living cell in the 21st century may follow a similar course of development. A conceptual model of the cell called the Bhopalator was formulated in the mid-1980s, along with its twin theories known as the conformon theory of molecular machines and the cell language theory of biopolymer interactions [Ann.

Distributed algorithms over communicating membrane systems.

This paper presents fundamental distributed algorithms over membrane systems with antiport carriers. We describe distributed algorithms for collecting and dispersing information, leader election in these systems, and the mutual exclusion problem. Finally, we consider membrane systems producing correct results despite some failures at some of the components or the communication links.