scientific article; zbMATH DE number 5043345
From MaRDI portal
Publication:5480659
zbMath1110.68043MaRDI QIDQ5480659
Gheorghe Păun, Takashi Yokomori, Mihai Ionescu
Publication date: 3 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Modelling and analysing neural networks using a hybrid process algebra ⋮ Modelling and verification of weighted spiking neural systems ⋮ Investigating dynamic causalities in reaction systems ⋮ Computing with viruses ⋮ Cell-like spiking neural P systems ⋮ A sublinear Sudoku solution in cP systems and its formal verification ⋮ An efficient time-free solution to SAT problem by P systems with proteins on membranes ⋮ Computational completeness of spiking neural P systems with inhibitory rules for generating string languages ⋮ Spiking neural P systems: an improved normal form ⋮ Solving the N-queens problem using dP systems with active membranes ⋮ Turing completeness of water computing ⋮ Formal verification of cP systems using Coq ⋮ Spiking neural P systems with a flat maximally parallel use of rules ⋮ Computational power of sequential spiking neural P systems with multiple channels ⋮ Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division ⋮ Asynchronous homogenous spiking neural P systems with local rule synchronization ⋮ Dynamic threshold P systems with delay on synapses for shortest path problems ⋮ Spiking neural P systems with neuron division and budding ⋮ Normal forms for spiking neural P systems ⋮ Spiking neural P systems with multiple channels ⋮ On the computational complexity of spiking neural P systems ⋮ Universality of sequential spiking neural P systems based on minimum spike number ⋮ Fuzzy reasoning spiking neural P systems revisited: a formalization ⋮ A weakly universal spiking neural P system ⋮ Spiking neural P systems with polarizations and rules on synapses ⋮ Cell-like P systems with evolutional symport/antiport rules and membrane creation ⋮ A linear time complexity of breadth-first search using P system with membrane division ⋮ The computational complexity of tissue P systems with evolutional symport/antiport rules ⋮ Computational power of dynamic threshold neural P systems for generating string languages ⋮ A new approach to fault diagnosis of power systems using fuzzy reasoning spiking neural P systems ⋮ On solutions and representations of spiking neural P systems with rules on synapses ⋮ Spiking neural P systems with extended rules: universality and languages ⋮ Three small universal spiking neural P systems ⋮ Computational efficiency and universality of timed P systems with active membranes ⋮ Dendrite P systems ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Computing with SN P systems with I/O mode ⋮ Sequential dynamic threshold neural P systems ⋮ Simulating counting oracles with cooperation ⋮ Solving a PSPACE-complete problem with cP systems ⋮ Seeking computational efficiency boundaries: the Păun's conjecture ⋮ The computational power of cell-like P systems with one protein on membrane ⋮ A formal framework for spiking neural P systems ⋮ Homogeneous spiking neural P systems with structural plasticity ⋮ Implementation of RSA cryptographic algorithm using SN P systems based on HP/LP neurons ⋮ Reliability evaluation of distribution network based on fuzzy spiking neural P system with self-synapse ⋮ Theory of reaction automata: a survey ⋮ Travelling salesman problem in tissue P systems with costs ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ A return to stochasticity and probability in spiking neural P systems ⋮ An error-tolerant serial binary full-adder via a spiking neural P system using HP/LP basic neurons ⋮ An improved universal spiking neural P system with generalized use of rules ⋮ Hyperparameter optimization in learning systems ⋮ Control languages accepted by labeled spiking neural P systems with rules on synapses ⋮ Computational power of sequential dendrite P systems ⋮ Computational power of tissue P systems for generating control languages ⋮ On languages generated by spiking neural P systems with weights ⋮ A uniform family of tissue P systems with cell division solving 3-COL in a linear time ⋮ Small SNQ P systems with multiple types of spikes ⋮ Spiking neural P systems with target indications ⋮ An unsupervised learning algorithm for membrane computing ⋮ On string languages generated by sequential spiking neural P systems based on the number of spikes ⋮ Time-free solution to SAT problem by P systems with active membranes and standard cell division rules ⋮ Spiking neural P systems with structural plasticity and anti-spikes ⋮ Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources ⋮ (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode ⋮ Sequential SNP systems based on min/max spike number ⋮ Computational complexity of tissue-like P systems ⋮ A quick introduction to membrane computing ⋮ Compositional semantics of spiking neural P systems ⋮ Design of logic gates using spiking neural P systems with homogeneous neurons and astrocytes-like control ⋮ Local time membrane systems and time Petri nets ⋮ P systems with symport/antiport rules: when do the surroundings matter? ⋮ Tissue-like P systems with evolutional symport/antiport rules ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ P systems with proteins: a new frontier when membrane division disappears ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity ⋮ Generating context-free languages using spiking neural P systems with structural plasticity ⋮ P systems attacking hard problems beyond NP: a survey ⋮ Rule synchronization for tissue P systems ⋮ The computational power of monodirectional tissue P systems with symport rules ⋮ Neural-like P systems with plasmids ⋮ Computational completeness of sequential spiking neural P systems with inhibitory rules ⋮ Nonlinear neural P systems for generating string languages ⋮ Monodirectional tissue P systems with channel states ⋮ Asynchronous spiking neural P systems ⋮ Cell-like P systems with polarizations and minimal rules ⋮ Simulating P systems with membrane dissolution in a chemical calculus ⋮ Notes on spiking neural P systems and finite automata ⋮ On languages generated by asynchronous spiking neural P systems ⋮ Numerical P systems with Boolean condition ⋮ On string languages generated by spiking neural P systems with exhaustive use of rules ⋮ Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources ⋮ On the power of elementary features in spiking neural P systems ⋮ A software tool for verification of spiking neural P systems ⋮ Characterizations of some classes of spiking neural P systems ⋮ Experiments on the reliability of stochastic spiking neural P systems ⋮ Depth-two P systems can simulate Turing machines with \textbf{NP} oracles ⋮ P systems with evolutional symport and membrane creation rules solving QSAT
This page was built for publication:
