Search | Research Group on Natural Computing

Search

Results 1141 - 1150 of 1205

Results

Formalización computacional del experimento de Lipton sobre el problema SAT

Thu, 01/10/2008 - 14:20 — ana

Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002). Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.

Simulating apoptosis using discrete methods: A membrane system and a stochastic approach

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

Jack, J., Romero-Campero F. J., Pérez-Jiménez M. J., Paun A., & Ibarra O. (2007). Simulating apoptosis using discrete methods: A membrane system and a stochastic approach. Unconventional Computation, UC'07. 50-63.

Hebbian learning from spiking neural P systems view

Wed, 10/28/2009 - 22:08 — mmartinez

Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2009). Hebbian learning from spiking neural P systems view. Lecture Notes in Computer Science. 5391, 217-230.

Proceedings of the Tenth Workshop on Membrane Computing

Tue, 11/10/2009 - 17:40 — mmartinez

Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2009). Proceedings of the Tenth Workshop on Membrane Computing. 10th Workshop on Membrane Computing. X+565.

Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas

Fri, 03/05/2010 - 20:37 — manu

Pérez-Jiménez, M. J. (2006). Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas. V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 607-609.

Spiking neural P systems with anti-spikes

Sat, 03/20/2010 - 13:46 — manu

Pan, L., & Paun G. (2009). Spiking neural P systems with anti-spikes. International Journal of Computers, Communications and Control. IV(3), 273-282.

Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers

Fri, 06/18/2010 - 16:52 — manu

Paun, G., Rozenberg G., Salomaa A., & Zandron C. (2003). Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers. Lecture Notes in Computer Science. 2597,

Proceedings First Workshop on Applications of Membrane Computing, Concurrency and Agent-based modelling in Population Biology

Tue, 09/21/2010 - 15:12 — manu

Milazzo, P., & Pérez-Jiménez M. J. (2010). Proceedings First Workshop on Applications of Membrane Computing, Concurrency and Agent-based modelling in Population Biology . Electronic Proceedings in Theoretical Computer Science. 33,

Membrane Computing (Tutorial)

Mon, 04/25/2011 - 16:05 — manu

Pérez-Hurtado, I., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J. (2011). Membrane Computing (Tutorial). Lecture Notes in Computer Science. 6714, 38-39.

Formal Verication of P Systems with Active Membranes through Model Checking

Thu, 09/01/2011 - 16:05 — manu

Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2011). Formal Verication of P Systems with Active Membranes through Model Checking. 12th International Conference on Membrane Computing (CMC12). 241-252.