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

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

Mostrando ítems 229-248 de 355

    • Artículo
      Icon

      Notes on spiking neural P systems and finite automata 

      Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Springer, 2016)
      Spiking neural P systems (in short, SN P systems) are membrane computing models inspired by the pulse coding of information ...
    • Artículo
      Icon

      On a partial affirmative answer for a Paun's Conjecture 

      Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Gutiérrez Naranjo, Miguel Ángel; Rius Font, Miquel (WORLD SCIENTIFIC PUBL CO PTE LTD, 2011)
      At the beginning of 2005, Gheorghe Pun formulated a conjecture stating that in the framework of recognizer P systems with ...
    • Artículo
      Icon

      On axiom schemes for T-provably Δ1 formulas 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2014)
      This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...
    • Artículo
      Icon

      On spiking neural P systems 

      Ibarra, Óscar H.; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2010)
      This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ...
    • 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

      On the design of a framework integrating an optimization engine with streaming technologies 

      Barba González, Cristóbal; Nebro, Antonio J.; Benítez Hidalgo, Antonio; García Nieto, José Manuel; Aldana Montes, José F. (Elsevier, 2020)
      A number of streaming technologies have appeared in the last years as a result of the rising of Big Data applications. ...
    • Artículo
      Icon

      On the efficiency of cell-like and tissue-like recognizing membrane systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Wiley, 2009)
      Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ...
    • Artículo
      Icon

      On the Optimality of Conservation Results for Local Reflection in Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2013)
      Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local ...
    • Artículo
      Icon

      On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis 

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Wiley, 2013)
      Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ...
    • Artículo
      Icon

      On the quantifier complexity of Δ n+1 (T)– induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...
    • Artículo
      Icon

      One-shot fault diagnosis of 3D printers through improved feature space learning 

      Li, Chuan; Cabrera, Diego; Sancho Caparrini, Fernando; Sánchez, René-Vinicio; Cerrada, Mariela; Oliveira, José Valente de (IEEE Computer Society, 2020)
      Signal acquisition from mechanical systems working in faulty conditions is normally expensive. As a consequence, supervised ...
    • Artículo
      Icon

      Ontology-driven approach for KPI meta-modelling, selection and reasoning 

      Roldán García, María del Mar; García Nieto, José Manuel; Maté, Alejandro; Trujillo, Juan; Aldana Montes, José F. (Elsevier, 2021)
      A key challenge in current Business Analytics (BA) is the selection of suitable indicators for business objectives. This ...
    • Artículo
      Icon

      Optimal Cycle Program of Traffic Lights With Particle Swarm Optimization 

      García Nieto, José Manuel; Olivera, Ana Carolina; Alba, Enrique (IEEE Computer Society, 2013)
      Optimal staging of traffic lights, and in particular optimal light cycle programs, is a crucial task in present day ...
    • Artículo
      Icon

      Optimal multi-level thresholding with membrane computing 

      Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús (Elsevier, 2015)
      The conventional methods are not effective and efficient for image multi-level thresholding due to time-consuming and ...
    • Artículo
      Icon

      Optimizing ligand conformations in flexible protein targets: amulti-objective strategy 

      López Camacho, Esteban; García Godoy, María Jesús; García Nieto, José Manuel; Nebro, Antonio J.; Aldana Montes, José F. (Springer, 2020)
      Finding the orientation of a ligand (small molecule) with the lowest binding energy to the macromolecule (receptor) is ...
    • Capítulo de Libro
      Icon

      Other Buds in Membrane Computing 

      Gutiérrez Naranjo, Miguel Ángel (Springer, 2018)
      It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ...
    • Artículo
      Icon

      P automata revisited 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2012)
      We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ...
    • Artículo
      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 (Springer, 2016)
      Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...
    • Artículo
      Icon

      P Systems Computing the Period of Irreducible Markov Chains 

      Cardona Roca, Mónica; Colomer Cugat, M. Ángels; Riscos Núñez, Agustín; Rius Font, Miquel (Agora University of Oradea, 2009)
      It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any ...
    • Artículo
      Icon

      P systems with evolutional communication and division rules 

      Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (MDPI, 2021)
      A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ...