Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 262-281 of 442
-
Presentation
On GPU-Oriented P Systems
(IEEE Computer Society, 2018) -
Chapter of Book
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 ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
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.
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Chapter of Book
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 ...
- Presentation
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Chapter of Book
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 ...
-
Presentation
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 ...
-
Presentation
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. ...
-
Presentation
Optimising Traffic Lights with Metaheuristics: Reduction of Car Emissions and Consumption
(IEEE Computer Society, 2014)In last years, enhancing the vehicular traffic flow becomes a mandatory task to minimize the impact of polluting emissions ...
-
Presentation
Optimizations in CuSNP Simulator for Spiking Neural P Systems on CUDA GPUs
(IEEE Computer Society, 2019)Spiking Neural P systems (in short, SNP systems) are computing models based on living neurons. SNP systems are non-deterministic ...
-
Presentation
P System Based Model of an Ecosystem of the Scavenger Birds
(Fénix Editora, 2009)The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...
-
Presentation
P Systems as a Modeling Framework for Molecular Systems Biology
(Huazhong University of Science and Technology, 2012)