Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) fecha de publicación 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación

Mostrando ítems 41-60 de 355

    • Artículo
      Icon

      Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Mateos, Francisco Jesús (IEEE Computer Society, 2006)
      The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the ...
    • Artículo
      Icon

      Membrane computing: Brief introduction, recent results and applications 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2006)
      The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order ...
    • Artículo
      Icon

      Envelopes, indicators and conservativeness 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2006)
      A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
    • Artículo
      Icon

      Handling Languages with Spiking Neural P Systems with Extended Rules 

      Cheng, Haiming; Ishdorj, Tseren-Onolt; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 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

      Formal Correctness of a Quadratic Unification Algorithm 

      Ruiz Reina, José Luis; Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José (Springer, 2006)
      We present a case study using ACL2 [5] to verify a non-trivial algorithm that uses efficient data structures. The algorithm ...
    • Artículo
      Icon

      Membrane division, restricted membrane creation and object complexity in P systems 

      Alhazov, Artiom; Freund, Rudolf; Riscos Núñez, Agustín (Taylor and Francis, 2006)
      We improve, by using register machines, some existing universality results for specific models of P systems. P systems ...
    • Artículo
      Icon

      P systems with input in binary form 

      Leporati, Alberto; Zandron, Claudio; Gutiérrez Naranjo, Miguel Ángel (WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
      Current P systems which solve NP-complete numerical problems represent the instances of the problems in unary notation. ...
    • Artículo
      Icon

      On the degree of parallelism in membrane systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2007)
      In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ...
    • Artículo
      Icon

      P systems with minimal parallelism 

      Ciobanu, Gabriel; Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2007)
      A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ...
    • Artículo
      Icon

      Cellular modelling using P systems and process algebra. 

      Romero Campero, Francisco José; Gheorghe, Marian; Ciobanu, Gabriel; Auld, John M.; Pérez Jiménez, Mario de Jesús (Taylor and Francis Online, 2007)
      In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and ...
    • Artículo
      Icon

      A linear-time tissue P system based solution for the 3-coloring problem 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2007)
      In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems ...
    • Artículo
      Icon

      Membrane Systems with Marked Membranes 

      Brijder, Robert; Cavaliere, Matteo; Riscos Núñez, Agustín; Rozenberg, Grzegorz; Sburlan, Dragos (Elsevier, 2007)
      Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane ...
    • Artículo
      Icon

      A uniform solution to SAT using membrane creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Elsevier, 2007)
      In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ...
    • Artículo
      Icon

      A Note on Σ₁-Maximal Models 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2007)
      Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of ...
    • Artículo
      Icon

      Simulating FAS-induced apoptosis by using P systems 

      Cheruku, Smitha; Paun, Andrei; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H. (Taylor and Francis Online, 2007)
      In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration ...
    • Artículo
      Icon

      How to express tumours using membrane systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (ELSEVIER SCIENCE INC, 2007)
      In this paper we discuss the potential usefulness of membrane systems as tools for modelling tumours. The approach is ...
    • Artículo
      Icon

      A uniform family of tissue P systems with cell division solving 3-COL in a linear time 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2008)
      Several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial ...
    • Artículo
      Icon

      Reachability problems in low-dimensional iterative maps 

      Kurganskyy, Oleksiy; Potapov, Igor; Sancho Caparrini, Fernando (World Scientific, 2008)
      In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are ...
    • Artículo
      Icon

      Tissue P systems with cell division 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Agora University of Oradea, 2008)
      In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a ...
    • Artículo
      Icon

      Hierarchical clustering with Membrane Computing. 

      Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez Jiménez, Mario de Jesús (Institute of Informatics Slovak Academy of Sciences, 2008)
      In this paper we approach the problem of hierarchical clustering through membrane computing. A specific P system with ...