Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 254-273 de 435
-
Ponencia
On a Paun’s Conjecture in Membrane Systems
(Springer, 2007)We study a P˘aun’s conjecture concerning the unsolvability of NP–complete problems by polarizationless P systems with ...
-
Ponencia
On Communication Complexity in Evolution-Communication P Systems
(Fénix Editora, 2010)Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC ...
-
Capítulo de Libro
On Descriptive Complexity of P Systems
(Springer, 2005)In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
-
Ponencia
On Efficiency of P Systems with Symport/Antiport and Membrane Division
(Fenix Editora, 2017)Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...
-
Ponencia
On GPU-Oriented P Systems
(IEEE Computer Society, 2018) -
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
(Springer, 2006)We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
-
Ponencia
On P Systems with Bounded Parallelism
(IEEE Computer Society, 2005)A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
-
Ponencia
On Parallel Array P Systems
(Fénix Editora, 2014)We further investigate the parallel array P systems recently introduced by K.G. Subramanian, P. Isawasan, I. Venkat, and ...
-
Ponencia
On Rules and Parameter Free Systems in Bounded Arithmetic
(Springer, 2007)We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
-
Ponencia
On String Languages Generated by Spiking Neural P Systems
(Fénix Editora, 2006)We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the ...
-
Ponencia
On the Complexity of Shared Conceptualizations
(Springer, 2012)In the Social Web, folksonomies and other similar knowledge organization techniques may suffer limitations due to both ...
-
Ponencia
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
(Fénix Editora, 2008)Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ...
-
Capítulo de Libro
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...
- Ponencia
-
Ponencia
On The Semantics of Annihilation Rules in Membrane Computing
(Fénix Editora, 2015)It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ...
-
Ponencia
On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs
(Fénix Editora, 2012)In this report, we present our initial proposal on simulating computations on a restricted variant of Evolution-Communication ...
-
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the ...
-
Capítulo de Libro
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
(Springer, 2005)We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the ...
-
Ponencia
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems
(IEEE Computer Society, 2005)We improve, by using register machines, some existing universality results for specific models of P systems. P systems ...
-
Ponencia
Ontology Cleaning by Mereotopological Reasoning
(IEEE Computer Society, 2004)A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ...