<?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%">Artiom Alhazov</style></author><author><style face="normal" font="default" size="100%">Linqiang Pan</style></author><author><style face="normal" font="default" size="100%">Gheorghe Paun</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Trading polarizations for labels in P systems with active membranes </style></title><secondary-title><style face="normal" font="default" size="100%">Acta Informatica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.springerlink.com/index/A7HGMKPDA0W7F0W2.pdf</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">http://cantor.cs.us.es/files/Trading polarizations for Labels....pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam, Netherlands</style></pub-location><volume><style face="normal" font="default" size="100%">41</style></volume><pages><style face="normal" font="default" size="100%">111-144</style></pages><abstract><style face="normal" font="default" size="100%">This paper addresses the problem of removing the polarization of membranes from P systems with active membranes - and this is achieved by allowing the change of membrane labels by means of communication rules or by membrane dividing rules. As consequences of these results, we obtain the universality of P systems with active membranes which are allowed to change the labels of membranes, but do not use polarizations. Universality results are easily obtained also by direct proofs. By direct constructions, we also prove that &lt;Emphasis FontCategory=&quot;NonProportional&quot;&gt;SAT&lt;/Emphasis&gt; can be solved in linear time by systems without polarizations and with label changing possibilities. If non-elementary membranes can be divided, then &lt;Emphasis FontCategory=&quot;NonProportional&quot;&gt;SAT&lt;/Emphasis&gt; can be solved in linear time without using polarizations and label changing. Several open problems are also formulated. 
</style></abstract><issue><style face="normal" font="default" size="100%">2-3</style></issue></record></records></xml>