Search | Research Group on Natural Computing

Search

Results 921 - 930 of 1205

Results

Program - 18th Brainstorming Week on Membrane Computing

List of Participants

TUESDAY, FEBRUARY 4
*Room: "Salón de Grados"*
09:00-09:30	Registration
09:30-10:30	Opening

Read more

Call for Participation - 20th Brainstorming Week on Membrane Computing

20BWMC

Read more

Verifying a P system generating squares

Fri, 11/23/2007 - 14:56 — ana

Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002). Verifying a P system generating squares. Romanian Journal of Information Science and Technology. 5(1-2), 181-191.

Modeling signal transduction using P systems

Thu, 11/29/2007 - 12:44 — ana

Paun, A., Pérez-Jiménez M. J., & Romero-Campero F. J. (2006). Modeling signal transduction using P systems. Lecture Notes in Computer Science. 4361, 100-122.

A MzScheme implementation of Transition P systems

Fri, 11/30/2007 - 13:01 — ana

Balbontín-Noval, D., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003). A MzScheme implementation of Transition P systems. Lecture Notes in Computer Science. 2597, 58-73.

Second Brainstorming Week on Membrane Computing

Wed, 12/05/2007 - 14:17 — ana

Paun, G., Riscos-Núñez A., Romero-Jiménez Á., & Sancho-Caparrini F. (2004). Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing. 456.

Further Twenty Six Open Problems in Membrane Computing

Tue, 12/18/2007 - 11:36 — ana

Paun, G. (2005). Further Twenty Six Open Problems in Membrane Computing. (Miguel A. Gutiérrez-Naranjo, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Dragos Sburlan, Ed.).Third Brainstorming Week on Membrane Computing. 249-262.

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.