yes / This Workshop on Membrane Computing, at the Conference of Unconventional
Computation and Natural Computation (UCNC), 12th July 2016, Manchester,
UK, is the second event of this type after the Workshop at UCNC 2015 in
Auckland, New Zealand*. Following the tradition of the 2015 Workshop the
Proceedings are published as technical report.
The Workshop consisted of one invited talk and six contributed presentations
(three full papers and three extended abstracts) covering a broad spectrum of
topics in Membrane Computing, from computational and complexity theory to
formal verification, simulation and applications in robotics. All these papers –
see below, but the last extended abstract, are included in this volume.
The invited talk given by Rudolf Freund, “P SystemsWorking in Set Modes”,
presented a general overview on basic topics in the theory of Membrane Computing
as well as new developments and future research directions in this area.
Radu Nicolescu in “Distributed and Parallel Dynamic Programming Algorithms
Modelled on cP Systems” presented an interesting dynamic programming
algorithm in a distributed and parallel setting based on P systems enriched with
adequate data structure and programming concepts representation. Omar Belingheri,
Antonio E. Porreca and Claudio Zandron showed in “P Systems with
Hybrid Sets” that P systems with negative multiplicities of objects are less powerful
than Turing machines. Artiom Alhazov, Rudolf Freund and Sergiu Ivanov
presented in “Extended Spiking Neural P Systems with States” new results regading
the newly introduced topic of spiking neural P systems where states are
considered.
“Selection Criteria for Statistical Model Checker”, by Mehmet E. Bakir and
Mike Stannett, presented some early experiments in selecting adequate statistical
model checkers for biological systems modelled with P systems. In “Towards
Agent-Based Simulation of Kernel P Systems using FLAME and FLAME GPU”,
Raluca Lefticaru, Luis F. Macías-Ramos, Ionuţ M. Niculescu, Laurenţiu Mierlă
presented some of the advatages of implementing kernel P systems simulations in
FLAME. Andrei G. Florea and Cătălin Buiu, in “An Efficient Implementation and Integration of a P Colony Simulator for Swarm Robotics Applications" presented an interesting and efficient implementation based on P colonies for swarms of Kilobot robots.
*http://ucnc15.wordpress.fos.auckland.ac.nz/workshop-on-membrane-computingwmc-
at-the-conference-on-unconventional-computation-natural-computation/
Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/8840 |
Date | 08 1900 |
Creators | Konur, Savas, Gheorghe, Marian |
Source Sets | Bradford Scholars |
Language | English |
Detected Language | English |
Type | Other, published version paper |
Rights | © 2016 University of Bradford. This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. (http://creativecommons.org/licenses/by-nc-nd/4.0/). |
Page generated in 0.0183 seconds