Listar Ciencias de la Computación e Inteligencia Artificial por título
Mostrando ítems 293-312 de 878
-
Ponencia
Editing Configurations of P Systems
(Fénix Editora, 2005)This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ...
-
Artículo
Editorial. Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013) -
Ponencia
Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2009)The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. ...
-
Artículo
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a ...
-
Artículo
Efficient execution in an automated reasoning environment
(Cambridge University Press, 2008)We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while ...
-
Artículo
Efficient simulation of tissue-like P systems by transition cell-like P systems
(Springer, 2009)In the framework of P systems, it is known that the construction of exponential number of objects in polynomial time is ...
-
Artículo
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division
(Elsevier, 2015)P systems are computing models inspired by some basic features of biological membranes. In this work, membrane division, ...
-
Artículo
Efficient Water Quality Prediction Using Supervised Machine Learning
(MDPI, 2019)Water makes up about 70% of the earth’s surface and is one of the most important sources vital to sustaining life. Rapid ...
-
Libro
Eighteenth Brainstorming Week on Membrane Computing Sevilla, February 4 - 7, 2020 : RGNC REPORT 1/2020
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020) - Libro
- Libro
-
Ponencia
Emergent Concepts on Knowledge Intensive Processes
(Springer, 2014)An approach to refine and revise the general framework of KiP (Knowledge Intensive Process) is presented. The specific ...
-
Ponencia
Empirical computation of the quasi-optimal number of informants in particle swarm optimization
(ACM Digital Library, 2011)In the standard particle swarm optimization (PSO), a new particle’s position is generated using two main informant ...
-
Artículo
Empirical evaluation of distributed Differential Evolution on standard benchmarks
(Elsevier, 2014)This paper presents a new distributed Differential Evolution (dDE) algorithm and provides an exhaustive evaluation of it ...
-
Artículo
Enhancing semantic consistency in anti-fraud rule-based expert systems
(Elsevier, 2017)In this study, an ontology-driven approach is proposed for semantic conflict detection and classification inrule-based ...
-
Ponencia
Enhancing the simulation of P systems for the SAT problem on GPUs
(National Center for Supercomputing Applications, 2010)GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers ...
-
Ponencia
Enhancing the Urban Road Traffic with Swarm Intelligence: A Case Study of Córdoba City Downtown
(IEEE Computer Society, 2011)In current modern cities, the increasing number of traffic lights that control the vehicular traffic flow requires a highly ...
-
Tesis Doctoral
Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P
(2015-02-02)** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ...
-
Artículo
Envelopes, indicators and conservativeness
(Wiley, 2006)A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
-
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003-09-29)La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ...