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

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

Mostrando ítems 751-770 de 880

    • Artículo
      Icon

      Some Notes on Membrane Computing and Image Processing 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Peng, Hong (IMCS: International Membrane Computing Society, 2016)
      The application of Membrane Computing techniques to the study of digital images has been a vivid research area in the ...
    • Ponencia
      Icon

      Some Open Problems about Numerical P Systems 

      Paun, Gheorghe (Fénix Editora, 2013)
      Some open problems and research topics related to numerical P systems are formulated { also recalling the problems from the corresponding section of the \mega- paper produced for the previous BWMC
    • Artículo
      Icon

      Some Results on LΔ n+1 

      Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2001)
      We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
    • Ponencia
      Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Österreichische Computer Gesellschaft Komitee für Öffentlichkeitsarbeit, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
    • Ponencia
      Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
    • Ponencia
      Icon

      Sparse-matrix Representation of Spiking Neural P Systems for GPUs 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Cabarle, Francis George C.; Pérez Jiménez, Mario de Jesús; Adorna, Henry N. (Fenix Editora, 2017)
      Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ...
    • Capítulo de Libro
      Icon

      Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment 

      Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002)
      The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...
    • Ponencia
      Icon

      Specifying and Verifying Meta-Security by Means of Semantic Web Methods 

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014)
      In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...
    • Artículo
      Icon

      Spike Trains in Spiking Neural P Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rozenberg, Grzegorz (World Scientific, 2006)
      We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate ...
    • Ponencia
      Icon

      Spiking Neural dP Systems 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011)
      We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems ...
    • Ponencia
      Icon

      Spiking Neural P System Simulations on a High Performance GPU Platform 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2011)
      In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance ...
    • Ponencia
      Icon

      Spiking Neural P system without delay simulator implementation using GPGPUs 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Ateneo de Naga University, 2011)
      This paper presents a parallel simulator for a type of P sys- tem known as spiking neural P system (SNP system) us- ing ...
    • Ponencia
      Icon

      Spiking Neural P Systems with Extended Rules 

      Chen, Haiming; Ishdorj, Tseren-Onolt; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ...
    • Artículo
      Icon

      Spiking neural P systems with extended rules: universality and languages 

      Chen, Haiming; Ionescu, Mihai; Ishdorj, Tseren-Onolt; Paun, Andrei; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2008)
      We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The ...
    • Ponencia
      Icon

      Spiking Neural P Systems with Functional Astrocytes 

      Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Springer, 2012)
      Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants ...
    • Artículo
      Icon

      Spiking neural P systems with inhibitory rules 

      Peng, Hong; Li, Bo; Wang, Jun; Song, Xiaoxiao; Wang, Tao; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
      Motivated by the mechanism of inhibitory synapses, a new kind of spiking neural P (SNP) system rules, called inhibitory ...
    • Ponencia
      Icon

      Spiking Neural P Systems with Neuron Division and Budding 

      Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      In order to enhance the e±ciency of spiking neural P systems, we introduce the features of neuron division and neuron ...
    • Ponencia
      Icon

      Spiking Neural P Systems with Several Types of Spikes 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Fénix Editora, 2011)
      With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...
    • Artículo
      Icon

      Spiking Neural P systems with several types of spikes 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Agora University of Oradea, 2011)
      With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...
    • Artículo
      Icon

      Spiking Neural P Systems with Structural Plasticity 

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús; Song, Tao (Springer, 2015)
      Spiking neural P (SNP) systems are a class of parallel, distributed, and nondeterministic computing models inspired by ...