Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 425-442 of 442
-
Presentation
Uniform Solution to QSAT Using Polarizationless Active Membranes
(Fénix Editora, 2006)It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
-
Presentation
Universal P Systems: One Catalyst Can Be Suficient
(Fénix Editora, 2013)Whether P systems with only one catalyst can already be universal, is still an open problem. Here we establish universality ...
-
Presentation
Uranium- decay chain
(Fénix, 2016)The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
-
Presentation
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City
(IEEE Computer Society, 2016)Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ...
-
Presentation
Using A Kernel P System to Solve The 3-Col Problem
(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 ...
-
Presentation
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
(Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
-
Chapter of Book
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
-
Presentation
Using Maude
(Springer, 2000) -
Presentation
Using Metaheuristic Algorithms Remotely via ROS
(ACM Digital Library, 2007) -
Presentation
Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers
(Springer, 2002)We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that ...
-
Presentation
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
(Springer, 2004)In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for ...
-
Presentation
Verifying an Applicative ATP Using Multiset Relations
(Springer, 2001)We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets ...
-
Presentation
Vision and Crowdsensing Technology for an Optimal Response in Physical-Security
(Springer, 2019)Law enforcement agencies and private security companies work to prevent, detect and counteract any threat with the ...
-
Presentation
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...
-
Presentation
VisualTissue: A Friendly Tool to Study Tissue P Systems Solutions for Graph Problems
(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 ...
-
Presentation
Weak Metrics on Configurations of a P System
(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 ...
-
Presentation
When Matrices Meet Brains
(Fénix Editora, 2010)Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...
-
Presentation
Why Six Informants Is Optimal in PSO
(ACM Digital Library, 2012)In a previous work, it was empirically shown that certain numbers of informants different from the standard ”two” and the ...