• Ponencia
      Icon

      A P System Modeling an Ecosystem Related to the Bearded Vulture 

      Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí; Margalida, Antoni (Fénix Editora, 2008)
      The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a ...
    • Ponencia
      Icon

      A P-Lingua Programming Environment for Membrane Computing 

      Díaz Pernil, Daniel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009)
      A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed ...
    • Ponencia
      Icon

      A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems 

      Peña Cantillana, Francisco; Díaz Pernil, Daniel; Berciano, Ainhoa; Gutiérrez Naranjo, Miguel Ángel (Springer, 2011)
      In this paper we present a parallel algorithm to solve the thresholding problem by using Membrane Computing techniques. ...
    • Ponencia
      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 ...
    • Ponencia
      Icon

      A Quasi-Metric for Machine Learning 

      Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Springer, 2002)
      The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ...
    • Ponencia
      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 ...
    • Ponencia
      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 ...
    • Ponencia
      Icon

      A Simulator for Confluent P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2005)
      Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ...
    • Ponencia
      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 ...
    • Ponencia
      Icon

      A Software Tool for Dealing with Spiking Neural P Systems 

      Ramírez Martínez, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2007)
      Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ...
    • Ponencia
      Icon

      A Spiking Neural P System Simulator Based on CUDA 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Springer, 2011)
      In this paper we present a Spiking Neural P system (SNP system) simulator based on graphics processing units (GPUs). In ...
    • Ponencia
      Icon

      A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine 

      Solís Martín, David; Galán Páez, Juan; Borrego Díaz, Joaquín (PHM Society, 2021)
      his paper presents the data-driven techniques and method ologies used to predict the remaining useful life (RUL) of a ...
    • Capítulo de Libro
      Icon

      A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      Many approaches to anticancer treatment have had a limited success. A fundamental hurdle to cancer therapy is the robustness ...
    • Ponencia
      Icon

      A syntax for semantics in P-Lingua 

      Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; 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)
      P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ...
    • Ponencia
      Icon

      A systems analysis of the AHL Quorum Sensing system in Pseudomonas aeruginosa 

      Romero Campero, Francisco José; Blakes, Jonathan; Camara, Miguel; Krasnogor, Natalio (European Science Foundation (ESF), 2008)
    • Ponencia
      Icon

      A Theory About First-Order Terms in ACL2 

      Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2002)
      We describe the development in ACL2 of a library of results about first-order terms. In particular, we present the ...
    • Ponencia
      Icon

      A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks 

      Nepomuceno Chamorro, Isabel de los Ángeles; Nepomuceno Chamorro, Juan Antonio; Romero Campero, Francisco José (Fénix Editora, 2005)
      In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions ...
    • Ponencia
      Icon

      A Topological Study of the Upward Refinement Operators on ILP 

      Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (CEUR-WS, 2000)
    • Ponencia
      Icon

      A uniform framework for modeling based on P Systems 

      Colomer, M. Angels; 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 (IEEE Computer Society, 2010)
      In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment ...
    • Ponencia
      Icon

      A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division 

      Niu,Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2011)
      Common algorithmic problem is an optimization problem, which has the nice property that several other NP-complete problems ...