• Ponencia
      Icon

      On the Use of Automated Reasoning Systems in Ontology Integration. 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2009)
      Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the ...
    • Capítulo de Libro
      Icon

      On Two-Dimensional Mesh Networks and Their Simulation with P Systems 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the ...
    • Ponencia
      Icon

      One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems 

      Alhazov, Artiom; Freund, Rudolf; Riscos Núñez, Agustín (IEEE Computer Society, 2005)
      We improve, by using register machines, some existing universality results for specific models of P systems. P systems ...
    • Ponencia
      Icon

      Ontology Cleaning by Mereotopological Reasoning 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)
      A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ...
    • Ponencia
      Icon

      Optimising Traffic Lights with Metaheuristics: Reduction of Car Emissions and Consumption 

      García Nieto, José Manuel; Ferrer, Javier; Alba, Enrique (IEEE Computer Society, 2014)
      In last years, enhancing the vehicular traffic flow becomes a mandatory task to minimize the impact of polluting emissions ...
    • Ponencia
      Icon

      Optimizations in CuSNP Simulator for Spiking Neural P Systems on CUDA GPUs 

      Aboy, Blaine Corwyn D.; Bariring, Edward James A.; Carandang, Jym Paul; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2019)
      Spiking Neural P systems (in short, SNP systems) are computing models based on living neurons. SNP systems are non-deterministic ...
    • Ponencia
      Icon

      P System Based Model of an Ecosystem of the Scavenger Birds 

      Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Fénix Editora, 2009)
      The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...
    • Ponencia
      Icon

      P Systems as a Modeling Framework for Molecular Systems Biology 

      Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús (Huazhong University of Science and Technology, 2012)
    • Ponencia
      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 ...
    • Ponencia
      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 ...
    • Ponencia
      Icon

      P systems simulations on massively parallel architectures 

      Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ujaldón, Manuel (Universidad Complutense de Madrid, 2010)
      Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ...
    • Ponencia
      Icon

      P Systems with Active Cells 

      Orellana Martín, David (Fenix Editora, 2017)
      P systems with active membranes is a widely studied framework within the field of Membrane Computing since the creation ...
    • Capítulo de Libro
      Icon

      P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2005)
      We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ...
    • Ponencia
      Icon

      P Systems with Anti-Matter 

      Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
      After a short introduction to the area of membrane computing (a branch of natural computing), we introduce the concept ...
    • Ponencia
      Icon

      P Systems with Membrane Creation and Rule Input 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2005)
      When a uniform family of recognizer P systems is designed to solve a problem, the data of a concrete instance of the problem ...
    • Ponencia
      Icon

      P Systems with Replicator Dynamics: A Proposal 

      Cavaliere, Matteo; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing
    • Ponencia
      Icon

      P Systems with Tables of Rules 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active ...
    • Ponencia
      Icon

      P systems-based Modelling of Cellular Signalling Pathways 

      Pérez Jiménez, Mario de Jesús (2006)
      Cellular signalling pathways are fundamental to the control and regulation of cell behaviour. Understanding the biosignalling ...
    • Ponencia
      Icon

      P Systems: from Anti-Matter to Anti-Rules 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule ...
    • Ponencia
      Icon

      P-Lingua 2.0: New Features and First Applications 

      García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      P-Lingua is a programming language for membrane computing. It was rst presented in Edinburgh, during the Ninth Workshop ...