P-Lingua

swMATH27718MaRDI QIDQ39432

No author found.

Described by source

• A P-Lingua based simulator for tissue P systems
• Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
• An Overview of P-Lingua 2.0

Related Items (28)

Modelling and verification of weighted spiking neural systems ⋮ A sublinear Sudoku solution in cP systems and its formal verification ⋮ Evolutionary Design of a Simple Membrane System ⋮ Formal Verification of P Systems with Active Membranes through Model Checking ⋮ Solving the N-queens problem using dP systems with active membranes ⋮ Simulating and model checking membrane systems using strategies in Maude ⋮ Spiking neural P systems with rules on synapses and anti-spikes ⋮ Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem ⋮ The environment as a frontier of efficiency in tissue P systems with communication rules ⋮ A simulation workflow for membrane computing: from mecosim to PMCGPU through \(\mathrm{P}\)-lingua ⋮ A linear time complexity of breadth-first search using P system with membrane division ⋮ Spatial calculus of looping sequences ⋮ The computational complexity of tissue P systems with evolutional symport/antiport rules ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework ⋮ Simulation challenges in membrane computing ⋮ Alternative space definitions for P systems with active membranes ⋮ Membrane computing models and robot controller design, current results and challenges ⋮ DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution ⋮ Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem ⋮ Designing a new software tool for digital imagery based on P systems ⋮ An empirical evaluation of P system testing techniques ⋮ A computational modeling for real ecosystems based on P systems ⋮ Simulating a P system based efficient solution to SAT by using GPUs ⋮ Test generation from P systems using model checking ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ Current Developments on Computational Modeling Using P Systems ⋮ Parallel simulation of population dynamics P systems: updates and roadmap

This page was built for software: P-Lingua