Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 264-283 de 442
-
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. ...
-
Ponencia
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 ...
-
Ponencia
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 ...
-
Ponencia
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 ...
-
Ponencia
P Systems as a Modeling Framework for Molecular Systems Biology
(Huazhong University of Science and Technology, 2012) -
Ponencia
P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification
(Xihua University, 2017)Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...
-
Ponencia
P Systems based Computing Polynomials: Design and Formal Verification
(IMCS: International Membrane Computing Society, 2015)Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...