Recent Submissions

  • Presentation
    Icon

    P Systems based Computing Polynomials: Design and Formal Verification 

    Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (IMCS: International Membrane Computing Society, 2015)
    Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
  • Presentation
    Icon

    Temporal Fuzzy Reasoning Spiking Neural P Systems with Real Numbers for Power System Fault Diagnosis 

    Huang, Kang; Wang, Tao; He, Yangyang; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2015)
    This paper proposes a temporal fuzzy reasoning spiking neural P sys- tem with real numbers (rTFRSN P system) and its ...
  • Presentation
    Icon

    CuSNP: Spiking Neural P Systems Simulators in CUDA 

    Carandang, Jym Paul; Villaflores, John Matthew B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2016)
    Spiking neural P systems (in short, SN P systems) are models of computation inspired by biological neurons. In this work, ...
  • Presentation
    Icon

    A Software Tool for Computer-Aided Design of Cell-like Spiking Neural P Systems 

    Valencia Cabrera, Luis; Wu, TingFang; Zhang, ZhiQiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2016)
    Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ...
  • Presentation
    Icon

    Borderlines of efficiency: what’s up? 

    Riscos Núñez, Agustín (IMCS: International Membrane Computing Society, 2016)
    Some of the theoretical open problems and current challenges concerning P systems from a theoretical perspective will be ...
  • Presentation
    Icon

    An Overview of Hardware Implementations of P Systems 

    Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (Xihua University, 2017)
    Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ...
  • Presentation
    Icon

    P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification 

    Zhang, Gexiang; Zhu, Ming; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (Xihua University, 2017)
    Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...
  • Presentation
    Icon

    Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations 

    Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry N.; Hernández, Nestine Hope S.; Martínez del Amor, Miguel Ángel (Xihua University, 2017)
    Spiking Neural P system (or SN P system) is a computing model based on the neurons in a living being. It is composed of ...
  • Presentation
    Icon

    Generation of rapidly-exploring random trees by using a new class of membrane systems 

    Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Xihua University, 2017)
    Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...
  • Presentation
    Icon

    A Semantic Frontier of the Efficiency in Membrane Systems 

    Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
    The (presumed) efficiency of computing models is expressed by means of their ability to solve (NP-complete) presumably ...
  • Presentation
    Icon

    A review of membrane computing models for ecosystems and a case study on giant pandas 

    Duan, Yingying; Zhang, Gexiang; Qi, Dunwu; Valencia Cabrera, Luis; Rong, Haina; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
    Ecosystem modeling based on membrane computing is emerging as a powerful way to study the dynamic of (real) ecological ...
  • Presentation
    Icon

    A Framework for Evolving Spiking Neural P Systems with Rules on Synapses 

    Moredo, Celine Anne A.; Supelana, Ryan Chester J.; Cailipan, Dionne Peter; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Zeng, Xiangxiang; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2019)
    In this paper, we present a genetic algorithm framework for evolving Spiking Neural P Systems with rules on synapses ...
  • Presentation
    Icon

    A Framework for Evolving Spiking Neural P Systems 

    Casauay, Lovely Joy; Macababayao, Ivan Cedric H.; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Zeng, Xiangxiang; Martínez del Amor, Miguel Ángel (IMCS: International Membrane Computing Society, 2019)
    In current literature, there is a lack of research on the optimization of spiking neural P systems (SN P systems) and, ...
  • Presentation
    Icon

    FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems 

    Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Pérez Hurtado de Mendoza, Ignacio (IMCS: International Membrane Computing Society, 2019)
    It is a long-cherished wish to implement numerical P systems (NPS) on a parallel architecture so that its large scale ...
  • Presentation
    Icon

    Solving the feasibility problem in robotic motion planning by means of Enzymatic Numerical P systems 

    Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel; Zhang, Gexiang; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
    Solving the feasibility problem in robotic motion planning means to find feasible trajectories for specific mobile robots ...
  • Presentation
    Icon

    Solving Problems Through a Single Membrane System 

    Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
    The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ...
  • Presentation
    Icon

    Dependency Graph Technique Revisited 

    Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
    The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ...
  • Presentation
    Icon

    Computational Complexity Theory in Membrane Computing: Seventeen Years After 

    Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
    In this work we revisit the basic concepts, definitions of computational complexity theory in membrane computing. The ...
  • Presentation
    Icon

    Spiking Neural P Systems with Functional Astrocytes 

    Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Springer, 2012)
    Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants ...
  • Presentation
    Icon

    (Imprecise Topics about) Handling Imprecision in P Systems 

    Nola, Antonio di; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Roselló, Francesc (Departament de Matemátiques i Informática, Universitat de les Illes Balears, 2004)

View more