Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Funding agency "Ministerio de Educación y Ciencia (MEC). España"
Now showing items 1-20 of 82
-
Presentation
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}
(Fénix Editora, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, South-East European Research Centre, 2007)The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ...
-
Presentation
A Computational Complexity Theory in Membrane Computing
(Springer, 2010)In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ...
-
Presentation
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the ...
-
Presentation
A First Attempt to Model Notch Signalling by Means of P Systems
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)During mammalian central nervous system development, an enormous variety of cell types are generated. This cell diversity ...
-
Presentation
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
-
Presentation
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
-
Presentation
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...
-
Presentation
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 2007)Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ...
-
Presentation
A Logarithmic Bound for Solving Subset Sum with P Systems
(Springer, 2007)The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ...
-
Presentation
A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009)Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power ...
-
Presentation
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were ...
-
Presentation
A Membrane Computing View on Tumours
(2006)In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ...
-
Presentation
A P System Based Model of an Ecosystem of Some Scavenger Birds
(Springer, 2010)The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Eu- rope that feeds almost exclusively on bone remains ...
-
Presentation
A P System Modeling an Ecosystem Related to the Bearded Vulture
(Fénix Editora, 2008)The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a ...
-
Presentation
A P-Lingua Programming Environment for Membrane Computing
(Springer, 2009)A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed ...
-
Presentation
A Software Tool for Dealing with Spiking Neural P Systems
(Fénix Editora, 2007)Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ...
-
Presentation
About Designing an Observer Pattern-Based Architecture for a Multi-objective Metaheuristic Optimization Framework
(Springer, 2018)Multi-objective optimization with metaheuristics is an active and popular research field which is supported by the ...
-
Presentation
Algoritmos Basados en Cúmulos de Partículas para el Análisis de Microarrays de ADN
([Los editores], 2007)