Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título 

Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título

Mostrando ítems 262-281 de 442

    • Ponencia
      Icon

      On GPU-Oriented P Systems 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018)
    • Capítulo de Libro
      Icon

      On P Systems as a Modelling Tool for Biological Systems 

      Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Muniyandi, Ravie C.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006)
      We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
    • Ponencia
      Icon

      On P Systems with Bounded Parallelism 

      Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Margenstern, Maurice; Verlan, Sergey; Krasnogor, Natalio (IEEE Computer Society, 2005)
      A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
    • Ponencia
      Icon

      On Parallel Array P Systems 

      Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2014)
      We further investigate the parallel array P systems recently introduced by K.G. Subramanian, P. Isawasan, I. Venkat, and ...
    • Ponencia
      Icon

      On Rules and Parameter Free Systems in Bounded Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2007)
      We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
    • Ponencia
      Icon

      On String Languages Generated by Spiking Neural P Systems 

      Chen, Haiming; Freund, Rudolf; Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the ...
    • Ponencia
      Icon

      On the Complexity of Shared Conceptualizations 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Giráldez Cru, Jesús (Springer, 2012)
      In the Social Web, folksonomies and other similar knowledge organization techniques may suffer limitations due to both ...
    • Ponencia
      Icon

      On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution 

      Zandron, Claudio; Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008)
      Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ...
    • Capítulo de Libro
      Icon

      On the Power of Dissolution in P Systems with Active Membranes 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2006)
      In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...
    • Ponencia
      Icon

      On the Reachability Problem for P systems with Porters. 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002)
    • Ponencia
      Icon

      On The Semantics of Annihilation Rules in Membrane Computing 

      Díaz Pernil, Daniel; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel; Leporati, Alberto (Fénix Editora, 2015)
      It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ...
    • Ponencia
      Icon

      On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs 

      Juayong, Richelle Ann B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Fénix Editora, 2012)
      In this report, we present our initial proposal on simulating computations on a restricted variant of Evolution-Communication ...
    • 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)