Search | Research Group on Natural Computing

Search

Results 411 - 420 of 1207

Results

Recent Results in Natural Computing

Tue, 12/04/2007 - 12:03 — ana

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2005). Recent Results in Natural Computing. 311.

Normal Forms for Spiking Neural P Systems

Thu, 12/13/2007 - 15:07 — ana

Ibarra, O., Paun G., Rodríguez-Patón A., Sosik P., & Woodworth S. (2006). Normal Forms for Spiking Neural P Systems. Fourth Brainstorming Week on Membrane Computing . II, 105-135.

Looking for P truth

Thu, 01/03/2008 - 14:26 — ana

Cordón-Franco, A., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2004). Looking for P truth. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 134-138.

Pre-Proceedings of Workshop on Membrane Computing, WMC-2003

Mon, 01/14/2008 - 13:11 — ana

Alhazov, A., Martín-Vide C., & Paun G. (2003). Pre-Proceedings of Workshop on Membrane Computing, WMC-2003. Workshop on Membrane Computing, WMC-2003.

Multidimensional descriptional complexity of P systems

Mon, 10/27/2008 - 14:55 — mmartinez

Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2007). Multidimensional descriptional complexity of P systems. Journal of Automata, Languages and Combinatorics. 12(1-2), 167-179.

P-Lingua 2.0: A software framework for cell-like P systems

Mon, 11/09/2009 - 11:53 — mmartinez

García-Quismondo, M., Gutiérrez-Escudero R., Martínez-del-Amor M. A., Orejuela-Pinedo E. F., & Pérez-Hurtado I. (2009). P-Lingua 2.0: A software framework for cell-like P systems. International Journal of Computers, Communications and Control. IV(3), 234-243.

On the efficiency of cell-like and tissue-like recognizing membrane systems

Mon, 11/23/2009 - 10:44 — mmartinez

Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J. (2009). On the efficiency of cell-like and tissue-like recognizing membrane systems. International Journal of Intelligent Systems. 24(7), 747-765.

Formal verification of programs in molecular models with random access memory

Fri, 03/05/2010 - 21:35 — manu

Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2005). Formal verification of programs in molecular models with random access memory. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent results in Natural Computing. 205-229.

A quick overview of membrane computing with details about spiking neural P systems

Sat, 03/20/2010 - 14:00 — manu

Paun, G. (2007). A quick overview of membrane computing with details about spiking neural P systems. Frontiers of Computer Science in China. 1(1), 37-49.

A New Class of Symbolic Abstract Neural Nets: Tissue P Systems

Fri, 06/18/2010 - 17:18 — manu

Martín-Vide, C., Pazos-Díaz J., Paun G., & Rodríguez-Patón A. (2002). A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. COCOON '02: Proceedings of the 8th Annual International Conference on Computing and Combinatorics. 290-299.