Search | Research Group on Natural Computing

Search

Results 361 - 370 of 1207

Results

Formal verification of a transition P system generating the set {2^n+n^2+n:n>=1}

Tue, 01/08/2008 - 12:38 — ana

Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003). Formal verification of a transition P system generating the set {2^n+n^2+n:n>=1}. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 261-269.

A software tool for verification of Spiking Neural P Systems

Mon, 10/20/2008 - 13:01 — mmartinez

Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Ramírez-Martínez D. (2008). A software tool for verification of Spiking Neural P Systems. Natural Computing. 7(4), 485-497.

Research topics arising from the (planned) P systems

Thu, 06/25/2009 - 17:24 — mmartinez

Gershoni, R., Keinan E., Paun G., Piran R., Ratner T., & Shoshani S. (2008). Research topics arising from the (planned) P systems . 6th Brainstorming Week on Membrane Computing. 183-192.

A bibliography of spiking neural P systems

Mon, 11/09/2009 - 13:25 — mmartinez

Paun, G. (2009). A bibliography of spiking neural P systems . 7th Brainstorming Week on Membrane Computing. II, 207-212.

Membrane Computing, WMC 2009

Fri, 03/05/2010 - 15:57 — manu

Paun, G., Pérez-Jiménez M. J., Riscos-Núñez A., Rozenberg G., & Salomaa A. (2010). Membrane Computing, WMC 2009. Lecture Notes in Computer Science. 5957, IX+487.

Asynchronous spiking neural P systems

Sat, 03/20/2010 - 12:04 — manu

Cavaliere, M., Egecioglu O., Ibarra O., Ionescu M., Paun G., & Woodworth S. (2009). Asynchronous spiking neural P systems. Theoretical Computer Science. 410(24-25), 2352-2364.

An universality result for a membrane calculus based on mate/drips operations

Sun, 03/21/2010 - 11:10 — manu

Cardelli, L., & Paun G. (2005). An universality result for a membrane calculus based on mate/drips operations. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 75-94.

Spiking Neural P Systems with Weights

Mon, 08/02/2010 - 22:39 — manu

Wang, J., Hoogeboom H. J., Pan L., Paun G., & Pérez-Jiménez M. J. (2010). Spiking Neural P Systems with Weights. Neural Computation. 22(10), 2615-2646.

A New Way to Obtain Homology Groups in Binary 2D Images Using Membrane Computing

Mon, 01/24/2011 - 18:07 — manu

Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Real P., & Sánchez-Canales V. (2011). A New Way to Obtain Homology Groups in Binary 2D Images Using Membrane Computing. XII Encuentro de Algebra Computacional y Aplicaciones EACA 2010. 107-112.

Spiking neural P systems with neuron division and budding

Mon, 08/29/2011 - 13:27 — manu

Pan, L., Paun G., & Pérez-Jiménez M. J. (2011). Spiking neural P systems with neuron division and budding. Science China. Information Sciences. 8, 1596-1607.