3 research outputs found
Recommended from our members
Proceedings of the Workshop on Membrane Computing, WMC 2016.
yesThis 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