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 420-439 de 442

    • Ponencia
      Icon

      Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems 

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
    • Ponencia
      Icon

      Towards Bridging Two Cell-Inspired Models: P Systems and R Systems 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
    • Ponencia
      Icon

      Towards Emotion Recognition: A Persistent Entropy Application 

      González Díaz, Rocío; Paluzo Hidalgo, Eduardo; Quesada Moreno, José Francisco (Springer, 2019)
      Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
    • Capítulo de Libro
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
    • Capítulo de Libro
      Icon

      Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005)
      In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
    • 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 ...