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 863-879 de 879

    • Tesis Doctoral
      Icon

      Verificación de programas en modelos de computación no convencionales 

      Sancho Caparrini, Fernando (2002)
      El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...
    • Tesis Doctoral
      Icon

      Verificación formal en ACL2 del Algoritmo de Buchberger 

      Medina Bulo, Inmaculada (2003-12-18)
      En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...
    • 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 ...
    • Artículo
      Icon

      Verification of the Formal Concept Analysis 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Real Academia de Ciencias, 2004)
      This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...
    • 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 ...
    • Artículo
      Icon

      Verifying a P system generating squares 

      Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Romanian Academy, Section for Information Science and Technology, 2002)
      In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
    • 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 ...
    • Artículo
      Icon

      Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm 

      Lambán Pardo, Laureano; Rubio, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Oxford Academic, 2013)
      The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...
    • Artículo
      Icon

      VIGLA-M: visual gene expression data analytics 

      Navas Delgado, Ismael; García Nieto, José Manuel; López Camacho, Esteban; Rybinski, Maciej; Lavado, Rocío; Berciano Guerrero, Miguel Ángel; Aldana Montes, José F. (BMC, 2019)
      Background: The analysis of gene expression levels is used in many clinical studies to know how patients evolve or to ...
    • 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 ...
    • Artículo
      Icon

      Weighted Fuzzy Spiking Neural P Systems 

      Wang, Jun; Shi, Peng; Peng, Hong; Pérez Jiménez, Mario de Jesús; Wang, Tao (IEEE Computer Society, 2013)
      Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ...
    • 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 ...
    • Artículo
      Icon

      When object production tunes the efficiency of membrane systems 

      Orellana Martín, David; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
      Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...
    • 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 ...