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 422-439 de 439

    • Ponencia
      Icon

      Uniform Solution to QSAT Using Polarizationless Active Membranes 

      Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
    • Ponencia
      Icon

      Universal P Systems: One Catalyst Can Be Suficient 

      Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2013)
      Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality ...
    • Ponencia
      Icon

      Uranium- decay chain 

      Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
      The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
    • Ponencia
      Icon

      Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City 

      Miguel Rodríguez, Jaime de; Galán Páez, Juan; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín (IEEE Computer Society, 2016)
      Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ...
    • Ponencia
      Icon

      Using A Kernel P System to Solve The 3-Col Problem 

      Ipate, Florentin; Dragomir, Ciprian; Lefticaru, Raluca; Mierla, Laurentiu; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
      The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...
    • Ponencia
      Icon

      Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms 

      Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2017)
      We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
    • Capítulo de Libro
      Icon

      Using Automated Reasoning Systems on Molecular Computing 

      Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
    • Ponencia
      Icon

      Using Maude 

      Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí Oliet, Narciso; Meseguer, José; Quesada Moreno, José Francisco (Springer, 2000)
    • Ponencia
      Icon

      Using Metaheuristic Algorithms Remotely via ROS 

      García Nieto, José Manuel; Alba, Enrique; Chicano, Francisco (ACM Digital Library, 2007)
    • Ponencia
      Icon

      Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2002)
      We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that ...
    • Ponencia
      Icon

      Verified Computer Algebra in ACL2 (Gröbner Bases Computation) 

      Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio; Ruiz Reina, José Luis (Springer, 2004)
      In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...
    • Ponencia
      Icon

      Verifying an Applicative ATP Using Multiset Relations 

      Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2001)
      We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets ...
    • Ponencia
      Icon

      Vision and Crowdsensing Technology for an Optimal Response in Physical-Security 

      Enríquez de Salamanca Ros, Fernando; Soria Morillo, Luis Miguel; Álvarez García, Juan Antonio; Sancho Caparrini, Fernando; Velasco Morente, Francisco; Deniz, Óscar; Vallez, Noelia (Springer, 2019)
      Law enforcement agencies and private security companies work to prevent, detect and counteract any threat with the ...
    • Ponencia
      Icon

      Visual Ontology Cleaning: Cognitive Principles and Applicability 

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2006)
      In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...
    • Ponencia
      Icon

      VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems 

      Borrego Ropero, Rafael; Díaz Pernil, Daniel; Nepomuceno Chamorro, Juan Antonio (Fénix Editora, 2007)
      P systems can be classi ed in two main groups: P systems with the membrane structure described by a tree, and tissue P ...
    • Ponencia
      Icon

      Weak Metrics on Configurations of a P System 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ...
    • Ponencia
      Icon

      When Matrices Meet Brains 

      Zeng, Xiangxiang; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pan, Linqiang (Fénix Editora, 2010)
      Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...
    • Ponencia
      Icon

      Why Six Informants Is Optimal in PSO 

      García Nieto, José Manuel; Alba, Enrique (ACM Digital Library, 2012)
      In a previous work, it was empirically shown that certain numbers of informants different from the standard ”two” and the ...