<?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%">Bosheng Song</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Linqiang Pan</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Computational efficiency and universality of timed P systems with membrane creation</style></title><secondary-title><style face="normal" font="default" size="100%">Soft Computing</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Membrane creation</style></keyword><keyword><style  face="normal" font="default" size="100%">P system</style></keyword><keyword><style  face="normal" font="default" size="100%">SAT problem</style></keyword><keyword><style  face="normal" font="default" size="100%">Time-free solution</style></keyword><keyword><style  face="normal" font="default" size="100%">Universality</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2015</style></year><pub-dates><date><style  face="normal" font="default" size="100%">11/2015</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://link.springer.com/article/10.1007%2Fs00500-015-1732-3</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlin, Germany</style></pub-location><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">3043-3053</style></pages><abstract><style face="normal" font="default" size="100%">P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living cell, where the execution of each rule is completed in exactly one time unit (a global clock is assumed). However, in living cells, the execution time of different biological processes is difficult to know precisely and very sensitive to environmental factors that might be hard to control. Inspired from this biological motivation, in this work, timed polarization P systems with membrane creation are introduced and their computational efficiency and universality are investigated. Specifically, we give a time-free semi-uniform solution to the SAT problem by a family of P systems with membrane creation in the sense that the correctness of the solution is irrelevant to the times associated with the involved rules. We also prove that time-free P systems with membrane creation are computationally universal.</style></abstract><issue><style face="normal" font="default" size="100%">11</style></issue><custom1><style face="normal" font="default" size="100%">1.271</style></custom1><custom2><style face="normal" font="default" size="100%">65/123 - Q3</style></custom2></record></records></xml>