Now showing items 1-20 of 29

    • Presentation
      Icon

      A Toolbox for Simpler Active Membrane Algorithms 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      We show that recogniser P systems with active membranes can be augmented with a priority over their set of rules and any ...
    • Presentation
      Icon

      Alternative Space Definitions for P Systems with Active Membranes 

      Alhazov, Artiom; Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Zandron, Claudio (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
      The first definition of space complexity for P systems was based on an hypothetical real implementation by means of ...
    • Presentation
      Icon

      Characterizing PSPACE with Shallow Non-Confluent P Systems 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In P systems with active membranes, the question of understanding the power of non-confluence within a polynomial time ...
    • Presentation
      Icon

      Characterizing the Computational Power of Energy-Based P Systems 

      Alhazov, Artiom; Antoniotti, Marco; Leporati, Alberto (Fénix Editora, 2012)
      We investigate the computational power of energy-based P systems, a model of membrane systems where a fixed amount of ...
    • Presentation
      Icon

      Complete Problems for a Variant of P Systems with Active Membranes 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2010)
      We identify a family of decision problems that are hard for some complexity classes defined in terms of P systems with ...
    • Article
      Icon

      Complexity aspects of polarizationless membrane systems 

      Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús; Zandron, Claudio (Springer, 2009)
      We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make ...
    • Presentation
      Icon

      Constant-Space P Systems with Active Membranes 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2014)
      We continue the investigation of the computational power of space- constrained P systems. We show that only a constant ...
    • Presentation
      Icon

      Deterministic Solutions to QSAT and Q3SAT by Spiking Neural P Systems with Pre-Computed Resources 

      Ishdorj, Tseren-Onolt; Leporati, Alberto; Pan, Linqiang; Zeng, Xiangxiang; Zhang, Xingyi (Fénix Editora, 2009)
      In this paper we continue previous studies on the computational effciency of spiking neural P systems, under the assumption ...
    • Presentation
      Icon

      Elementary Active Membranes Have the Power of Counting 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2011)
      We prove that uniform families of P systems with active membranes operat- ing in polynomial time can solve the whole class ...
    • Article
      Icon

      First Steps Towards a CPU Made of Spiking Neural P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Agora University of Oradea, Romania, 2009)
      We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
    • Presentation
      Icon

      Improving Universality Results on Parallel Enzymatic Numerical P Systems 

      Leporati, Alberto; Porreca, Antonio E.; Zandron, Claudio; Mauri, Giancarlo (Fénix Editora, 2013)
      We improve previously known universality results on enzymatic numerical P systems (EN P systems, for short) working in ...
    • Presentation
      Icon

      Introducing a Space Complexity Measure for P Systems 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2009)
      We define space complexity classes in the framework of membrane computing, giving some initial results about their mutual ...
    • Presentation
      Icon

      Modeling and Analysis of Firewalls by (Tissue-like) P Systems 

      Leporati, Alberto; Ferretti, Claudio (Fénix Editora, 2010)
      We propose to use tissue-like P systems as a tool to model and analyse the security properties of ¯rewall systems. The ...
    • Presentation
      Icon

      Monodirectional P Systems 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2015)
      We investigate the in uence that the ow of information in membrane systems has on their computational complexity. In ...
    • Presentation
      Icon

      On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution 

      Zandron, Claudio; Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ...
    • Presentation
      Icon

      On the Computational Power of Spiking Neural P Systems 

      Leporati, Alberto; Zandron, Claudio; Ferretti, Claudio; Mauri, Giancarlo (Fénix Editora, 2007)
      In this paper we study some computational properties of spiking neural P systems. In particular, we show that by using ...
    • Presentation
      Icon

      On The Semantics of Annihilation Rules in Membrane Computing 

      Díaz Pernil, Daniel; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2015)
      It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ...
    • Presentation
      Icon

      Performing Arithmetic Operations with Spiking Neural P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2009)
      We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ...
    • Article
      Icon

      Recognizer P Systems with Antimatter 

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Romanian Academy, Section for Information Science and Technology, 2015)
      In this paper, we consider recognizer P systems with antimatter and the in uence of the matter/antimatter annihilation ...
    • Presentation
      Icon

      Self-Stabilization in Membrane Systems 

      Alhazov, Artiom; Antoniotti, Marco; Freund, Rudolf; Leporati, Alberto; Mauri, Giancarlo (Fénix Editora, 2012)
      In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of ...