• Ponencia
      Icon

      An Academic Reinforcement Methodology Based on Multimedia Resources 

      Arevalo, Vicente; García Nieto, José Manuel; Sánchez Sánchez, Juan J.; Luque Baena, Rafael; Gómez, Gerardo; Velasco Álvarez, Francisco; Godoy Rubio, Rafael (International Academy of Technology, Education and Development (IATED), 2011)
      This paper describes an academic reinforcement methodology resulted from the research activity carried out by a group of ...
    • Ponencia
      Icon

      An Agent Based Approach of Collective Foraging 

      Gheorgue, Marian; Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2003)
      In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and ...
    • Ponencia
      Icon

      An apparently innocent problem in Membrane Computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to ...
    • Ponencia
      Icon

      An Application of Genetic Algorithms to Membrane Computing 

      Escuela, Gabi; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2010)
      The process of designing a P system in order to perform a task is a hard job. The researcher has often only an approximate ...
    • Capítulo de Libro
      Icon

      An Approach to Computational Complexity in Membrane Computing 

      Pérez Jiménez, Mario de Jesús (Springer, 2005)
      In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ...
    • Ponencia
      Icon

      An Approach to the Bio-Inspired Control of Self-reconfigurable Robots 

      Bie, Dongyang; Gutiérrez Naranjo, Miguel Ángel; Zhao, Jie; Zhu, Yanhe (Springer, 2017)
      Self-reconfigurable robots are robots built by modules which can move in relationship to each other. This ability of ...
    • Ponencia
      Icon

      An Approach to the Degree of Parallelism in P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2006)
      In the literature, several designs of P systems were used for performing the same task. The use of different techniques ...
    • Ponencia
      Icon

      An Approach to the Engineering of Cellular Models Based on P Systems 

      Romero Campero, Francisco José; Krasnogor, Natalio (Springer, 2009)
      Living cells assembled into colonies or tissues communicate using complex systems. These systems consist in the interaction ...
    • Ponencia
      Icon

      An Efficient Cellular Solution for the Partition Problem 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ...
    • Ponencia
      Icon

      An Improved GPU Simulator For Spiking Neural P Systems 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2011)
      Spiking Neural P (SNP) systems, variants of Psystems (under Membrane and Natural computing), are computing models that ...
    • Ponencia
      Icon

      An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division 

      Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ...
    • Ponencia
      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 ...
    • Ponencia
      Icon

      An Overview of P-Lingua 2.0 

      García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009)
      P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to ...
    • Ponencia
      Icon

      Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study 

      Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Su, Yansen; Yu, Hui; Pan, Linqiang (Fénix Editora, 2013)
      Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ...
    • Ponencia
      Icon

      Analysis of P systems simulation on CUDA 

      Guerrero, Ginés D.; Cecilia, José M.; García Carrasco, José M.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (SARTECO: Sociedad de Arquitectura y Tecnología de Computadores, 2009)
      GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ...
    • Ponencia
      Icon

      Anomalías en Ontologías Provisionales. 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de León, Servicio de Publicaciones, 2007)
    • Ponencia
      Icon

      Antimatter as a Frontier of Tractability in Membrane Computing 

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
      It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, ...
    • Ponencia
      Icon

      Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways 

      Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
      This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ...
    • Ponencia
      Icon

      Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2011)
      In this paper we present a complete formalization, using the ACL2 theorem prover, of the Normalization Theorem, a result ...
    • Ponencia
      Icon

      Approximating Non-discrete P Systems 

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (Springer, 2004)
      The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The ...