Buscar
Mostrando ítems 21-30 de 37
Artículo
A uniform solution to SAT using membrane creation
(Elsevier, 2007)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have inspired two variants of cell-like membrane systems, namely P systems with active membranes ...
Artículo
Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems
(World Scientific, 2008)
Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of Turing computability were obtained in this framework. In this note we contribute to this research ...
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Artículo
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired by the intercellular communication and neuronal synaptics, their structures being formalized ...
Artículo
An Efficient Family of P Systems for Packing Items into Bins
(Graz University of Technology, Institut für Informationssysteme und Computer Medie, 2004)
Artículo
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)
In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge between membrane computing and linear algebra. On the one hand, we prove that an efficient ...
Artículo
Recent Computability Models Inspired from Biology: DNA and Membrane Computing
(Universidad del País Vasco, 2003)
We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane computing. Both of them have the roots in cellular biology and are rather developed at the theoretical ...
Artículo
Membrane computing: Brief introduction, recent results and applications
(Elsevier, 2006)
The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order structures, can be a rich source of inspiration for computer science, not fully exploited at the present ...
Artículo
Modelling gene expression control using P systems: The Lac Operon, a case study
(Elsevier, 2008)
In this paper P systems are used as a formal framework for the specification and simulation of biological systems. In particular, we will deal with gene regulation systems consisting of protein–protein and protein–DNA ...
Artículo
Handling Languages with Spiking Neural P Systems with Extended Rules
(Romanian Academy, Section for Information Science and Technology, 2006)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. A tool-kit for computing (some) operations with languages generated by such systems is provided. ...