Perfil del autor: Romero Jiménez, Álvaro
Datos institucionales
Nombre | Romero Jiménez, Álvaro |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Profesor Contratado Doctor |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
26
-
Nº visitas
3850
-
Nº descargas
5537
Publicaciones |
---|
Trabajo Fin de Grado
Análisis experimental de heurísticas para el problema del viajante de comercio
(2018)
El Problema del Viajante de Comercio es un problema de optimización de tipo NP-duro cuyo objetivo es, dado un conjunto de ... |
Capítulo de Libro
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing
(Springer, 2018)
Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ... |
Artículo
Fuzzy reasoning spiking neural P systems revisited: A formalization
(Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ... |
Trabajo Fin de Grado
Ciencia del dato aplicada: competiciones en Kaggle
(2016)
El objetivo de este trabajo es la aplicación de algoritmos de aprendizaje automático para resolver problemas de modelización ... |
Libro |
Ponencia
Computing Partial Recursive Functions by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
Ponencia
Generating Diophantine Sets by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
Artículo |
Artículo
A Rete-based algorithm for rule selection in P systems
(Old City Publishing, Inc., 2013)
The Rete algorithm is a well-known pattern matching algorithm conceived to make rule-based production system implementa ... |
Ponencia
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ... |
Artículo
A software tool for generating graphics by means of P systems
(Springer, 2011)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... |
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
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired ... |
Libro |
Capítulo de Libro
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ... |
Capítulo de Libro
Computationally Hard Problems Addressed Through P Systems
(Springer, 2006)
In this chapter we present a general framework to provide efficient solutions to decision problems through families of ... |
Ponencia
The Growth of Branching Structures with P Systems
(Fénix Editora, 2006)
L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ... |
Capítulo de Libro
Characterizing tractability by cell-like membrane systems
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ... |
Capítulo de Libro
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ... |
Artículo
Modelos de computación celular con membranas
(SEMA, 2004)
|
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)
We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ... |
Capítulo de Libro
Computing Partial Recursive Functions by Transition P Systems
(Springer, 2004)
In this paper a variant of transition P systems with external output designed to compute partial functions on natural ... |
Ponencia
Complexity Classes in Cellular Computing with Membranes
(2003)
In this paper we introduce the complexity class PMC∗ F of all decision problems solvable in polynomial time by a family of P systems belonging to a prefixed class of recognizer membrane systems, F. |
Tesis Doctoral
Complejidad y universalidad en modelos de computación celular
(2003)
"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ... |
Capítulo de Libro
Decision P Systems and the P =NP Conjecture
(Springer, 2003)
We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ... |
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
(Springer, 2002)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ... |