Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 545-564 de 880
-
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.
-
Artículo
On spiking neural P systems
(Springer, 2010)This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ...
-
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 ...
-
Artículo
On the degree of parallelism in membrane systems
(Elsevier, 2007)In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ...
-
Artículo
On the design of a framework integrating an optimization engine with streaming technologies
(Elsevier, 2020)A number of streaming technologies have appeared in the last years as a result of the rising of Big Data applications. ...
-
Artículo
On the efficiency of cell-like and tissue-like recognizing membrane systems
(Wiley, 2009)Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ...
-
Artículo
On the Optimality of Conservation Results for Local Reflection in Arithmetic
(Association for Symbolic Logic, 2013)Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local ...
-
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
(Wiley, 2013)Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ...
-
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 ...
-
Artículo
On the quantifier complexity of Δ n+1 (T)– induction
(Springer, 2004)In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...
- 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 the Velocity Update in Multi-Objective Particle Swarm Optimizers
(Springer, 2010)Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization ...
-
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 ...