Recent Submissions

  • Chapter of Book
    Icon

    Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology 

    Blakes, Jonathan; Twycross, Jamie; Konur, Savas; Romero Campero, Francisco José; Krasnogor, Natalio; Gheorghe, Marian (Springer, 2014)
    This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel ...
  • Chapter of Book
    Icon

    Evolution of the Flowering Pathways 

    Lucas Reina, Eva; Ortiz Marchena, M Isabel; Romero Campero, Francisco José; Calonje, Myriam; Romero, José M.; Valverde, Federico (Springer, 2016)
    Flowering plants are some of the most successful organisms on Earth, particularly those used in agriculture due to the ...
  • Chapter of Book
    Icon

    On the Velocity Update in Multi-Objective Particle Swarm Optimizers 

    Durillo, Juan J.; Nebro, Antonio J.; García Nieto, José Manuel; Alba, Enrique (Springer, 2010)
    Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization ...
  • Chapter of Book
    Icon

    Applications of Membrane Computing 

    Ciobanu, Gabriel; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2006)
  • Chapter of Book
    Icon

    Membrane System-Based Models for Specifying Dynamical Population Systems 

    Colomer Cugat, M. Ángels; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Springer, 2014)
    Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...
  • Chapter of Book
    Icon

    Formal Verification of Programs in Molecular Models with Random Access Memory 

    Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Fénix Editorial, 2005)
    Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...
  • Chapter of Book
    Icon

    Skeletonizing Digital Images with Cellular Automata 

    Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Springer, 2014)
    The skeletonization of an image consists of converting the initial image into a more compact representation. In general, ...
  • Presentation
    Icon

    Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data 

    Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2016)
    This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...
  • Chapter of Book
    Icon

    On Experimental Efficiency for Retraction Operator to Stem Basis 

    Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan; Trujillo Caballero, Alejandro (Springer, 2018)
    In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ...
  • Chapter of Book
    Icon

    Topología simplicial en ACL2 

    Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Universidad de la Rioja, 2010)
  • Presentation
    Icon

    Towards Emotion Recognition: A Persistent Entropy Application 

    González Díaz, Rocío; Paluzo Hidalgo, Eduardo; Quesada Moreno, José Francisco (Springer, 2019)
    Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
  • Chapter of Book
    Icon

    A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua 

    Valencia Cabrera, Luis; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio (Springer, 2018)
    P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation ...
  • Chapter of Book
    Icon

    A Kernel-Based Membrane Clustering Algorithm 

    Yang, Jinyu; Chen, Ru; Zhang, GuoZhou; Peng, Hong; Wang, Jun; Riscos Núñez, Agustín (Springer, 2018)
    The existing membrane clustering algorithms may fail to handle the data sets with non-spherical cluster boundaries. To ...
  • Chapter of Book
    Icon

    Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing 

    Romero Jiménez, Álvaro; Orellana Martín, David (Springer, 2018)
    Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ...
  • Chapter of Book
    Icon

    Other Buds in Membrane Computing 

    Gutiérrez Naranjo, Miguel Ángel (Springer, 2018)
    It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ...
  • Chapter of Book
    Icon

    Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla 

    García Quismondo, Manuel; Graciani Díaz, Carmen; Riscos Núñez, Agustín (Springer, 2018)
    This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...
  • Presentation
    Icon

    Population Dynamics P Systems on CUDA 

    Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Gastalver Rubio, Adolfo; Elster, Anne C.; Pérez Jiménez, Mario de Jesús (Springer, 2012)
    Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
  • Presentation
    Icon

    Heterotic Computing Examples with Optics, Bacteria, and Chemicals 

    Stepney, Susan; Abramsky, Samson; Bechmann, Matthias; Gorecki, Jerzy; Kendon, Viv; Naughton, Thomas J.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José; Sebald, Angelika (Springer, 2012)
    Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...
  • Presentation
    Icon

    Formal Verification of P Systems with Active Membranes through Model Checking 

    Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)
    Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
  • Presentation
    Icon

    A P–Lingua Based Simulator for Spiking Neural P Systems 

    Macías Ramos, Luis Felipe; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2011)
    The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ...

View more