<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Oscar Ibarra</style></author><author><style face="normal" font="default" size="100%">Andrei Paun</style></author><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author><author><style face="normal" font="default" size="100%">Alfonso Rodríguez-Patón</style></author><author><style face="normal" font="default" size="100%">Petr Sosik</style></author><author><style face="normal" font="default" size="100%">Sara Woodworth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Normal forms for spiking neural P systems</style></title><secondary-title><style face="normal" font="default" size="100%">Theoretical Computer Science</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Membrane computing</style></keyword><keyword><style  face="normal" font="default" size="100%">normal form</style></keyword><keyword><style  face="normal" font="default" size="100%">Spiking neural P system</style></keyword><keyword><style  face="normal" font="default" size="100%">Universality</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2007</style></year><pub-dates><date><style  face="normal" font="default" size="100%">03/2007</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-4MG065P-4&_user=10&_coverDate=03%2F15%2F2007&_rdoc=1&_fmt=high&_orig=search&_sort=d&_docanchor=&view=c&_searchStrId=1258622819&_rerunOrigin=google&_acct=C000050221&_version=1&_urlVersion=0&_us</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam (The Netherlands)</style></pub-location><volume><style face="normal" font="default" size="100%">372</style></volume><pages><style face="normal" font="default" size="100%">196-217</style></pages><abstract><style face="normal" font="default" size="100%">The spiking neural P systems are a class of computing devices recently introduced as a bridge between spiking neural nets and membrane computing. In this paper we prove a series of normal forms for spiking neural P systems, concerning the regular expressions used in the firing rules, the delay between firing and spiking, the forgetting rules used, and the outdegree of the graph of synapses. In all cases, surprising simplifications are found, without losing the computational completeness — sometimes at the price of (slightly) increasing other parameters which describe the complexity of these systems.</style></abstract><issue><style face="normal" font="default" size="100%">2-3</style></issue></record></records></xml>