[图书][B] Real-life applications with membrane computing

Membrane computing is a vibrant and fast-growing research area of natural computation
which covers the study of computing models, called membrane systems or P systems …

[HTML][HTML] Generating, computing and recognizing with virus machines

A Ramírez-de-Arellano, D Orellana-Martín… - Theoretical Computer …, 2023 - Elsevier
Natural computing is a research area of computer science where different models of
computation arise from the inspiration of real-life natural processes. In particular, virus …

Modeling regenerative processes with membrane computing

M García-Quismondo, M Levin, D Lobo - Information Sciences, 2017 - Elsevier
Understanding the remarkable ability of some organisms to restore their anatomical shape
following the amputation of large parts of their bodies is currently a major unsolved question …

Membrane computing with harmony search algorithm for gene selection from expression and methylation data

S Tuo, F Liu, ZY Feng, C Li, YL Zhu, TR Chen… - Journal of Membrane …, 2022 - Springer
Selecting disease-causing genes from gene expression and methylation data with hundreds
of thousands of loci is of great benefit for cancer diagnosis and treatment, but it also faces …

Spiking neural P systems: matrix representation and formal verification

M Gheorghe, R Lefticaru, S Konur, IM Niculescu… - Journal of Membrane …, 2021 - Springer
Structural and behavioural properties of models are very important in development of
complex systems and applications. In this paper, we investigate such properties for some …

3-Col problem modelling using simple kernel P systems

M Gheorghe, F Ipate, R Lefticaru… - … Journal of Computer …, 2013 - Taylor & Francis
This paper presents the newly introduced class of (simple) kernel P systems ((s) kP systems)
and investigates through a 3-colouring problem case study the expressive power and …

[HTML][HTML] Kernel P systems: from modelling to verification and testing

M Gheorghe, R Ceterchi, F Ipate, S Konur… - Theoretical Computer …, 2018 - Elsevier
A kernel P system integrates in a coherent and elegant manner some of the most
successfully used features of the P systems employed in modelling various applications. It …

Model checking kernel P systems

C Dragomir, F Ipate, S Konur, R Lefticaru… - … Conference, CMC 2013 …, 2014 - Springer
Recent research in membrane computing examines and confirms the anticipated modelling
potential of kernel P systems in several case studies. On the one hand, this computational …

An integrated model checking toolset for kernel P systems

M Gheorghe, S Konur, F Ipate, L Mierla… - … Conference, CMC 2015 …, 2015 - Springer
P systems are the computational models introduced in the context of membrane computing,
a computational paradigm within the more general area of unconventional computing …

Kernel P systems and stochastic P systems for modelling and formal verification of genetic logic gates

M Gheorghe, S Konur, F Ipate - Advances in Unconventional Computing …, 2017 - Springer
P systems are the computational models of membrane computing, a computing paradigm
within natural computing area inspired by the structure and behaviour of the living cell. In …