RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
From MaRDI portal
applications of membrane computingcell membranescomplexity classesfinite automataformal languagesmembrane computingnatural computingP systemsemantics and formal verificationsimulation frameworksspiking neurons
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites work
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- A membrane algorithm with quantum-inspired subalgorithms and its application to image processing
- A rewriting logic framework for operational semantics of membrane systems
- A tour of reaction systems
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time
- An infinite hierarchy of languages defined by dP systems
- Array-rewriting P systems
- Bounded sequence testing from deterministic finite state machines
- Complexity classes in models of cellular computing with membranes
- Computational complexity of tissue-like P systems
- Computational efficiency of dissolution rules in membrane systems
- Contextual array P systems
- Deterministic and stochastic P systems for modelling cellular processes
- Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
- Discrete solutions to differential equations by metabolic P systems
- Events and modules in reaction systems
- Finite state based testing of P systems
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Introducing time in reaction systems
- Learning finite cover automata from queries
- Log-gain stoichiometric stepwise regression for MP systems
- Membrane algorithm with Brownian subalgorithm and genetic subalgorithm
- Membrane computing and complexity theory: A characterization of PSPACE
- Membrane Dissolution and Division in P
- Metabolic approximation of real periodical functions
- Modeling diffusion in a signal transduction pathway: the use of virtual volumes in P systems
- MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS
- On uniformity within \(NC^ 1\)
- P systems and computational algebraic topology
- P systems with active membranes working in polynomial space
- PP is as Hard as the Polynomial-Time Hierarchy
- Probabilistic regularisation and symmetry in binocular dynamic programming stereo
- REGISTER MACHINE COMPUTATIONS ON BINARY NUMBERS BY OSCILLATING AND CATALYTIC CHEMICAL REACTIONS MODELLED USING MASS-ACTION KINETICS
- Reversing computation in membrane systems
- Rule-based and object-based event structures for membrane systems
- Scene segmentation by spike synchronization in reciprocally connected visual areas. II: Global assemblies and synchronization on larger space and time scales
- Simulating FAS-induced apoptosis by using P systems
- Spatial and temporal pattern analysis via spiking neurons
- Spiking neural P systems with extended rules: universality and languages
- Spiking neural P systems with neuron division and budding
- Test generation from P systems using model checking
- The chemical abstract machine
- The computational power of membrane systems under tight uniformity conditions
- The metabolic algorithm for P systems: principles and applications
- Towards bridging two cell-inspired models: P systems and R systems
- Trading polarizations for labels in P systems with active membranes
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
- Using enzymatic numerical P systems for modeling mobile robot controllers
Cited in
(15)- A dozen of research topics in membrane computing
- Generating pictures in string representation with P systems: the case of space-filling curves
- Time-free solution to SAT problem by tissue P systems
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
- P colonies. Survey
- Kernel P systems: from modelling to verification and testing
- A time-free uniform solution to subset sum problem by tissue P systems with cell division
- Kernel P systems modelling, testing and verification -- sorting case study
- The computational power of timed P systems with active membranes using promoters
- Computational efficiency and universality of timed P systems with active membranes
- Computational efficiency and universality of timed P systems with membrane creation
- An unsupervised learning algorithm for membrane computing
- P systems with anti-matter
- A bibliometric analysis of membrane computing (1998--2019)
- Automatic design of arithmetic operation spiking neural P systems
This page was built for publication: RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404514)
