Perfil del autor: Graciani Díaz, Carmen
Datos institucionales
Nombre | Graciani Díaz, Carmen |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Profesora Contratada Doctora |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
17
-
Nº visitas
2333
-
Nº descargas
2883
Publicaciones |
---|
Capítulo de Libro
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla
(Springer, 2018)
This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane computing has ... |
Artículo
A Decade of Ecological Membrane Computing Applications
(IMCS: International Membrane Computing Society, 2018)
A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ... |
Libro |
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 ... |
Libro |
Ponencia
A New Strategy to Improve the Performance of PDP-Systems Simulators
(Springer, 2015)
One of the major challenges that current P systems simulators have to deal with is to be as efficient as possible. A P ... |
Ponencia
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
(Fénix Editora, 2014)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ... |
Ponencia
Rete Algorithm for P System Simulators
(Fénix Editora, 2013)
The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ... |
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
An approach to Ballistic deposition based on membrane computing
(Old City Publishing, Inc., 2009)
Ballistic Deposition was proposed by Vold [10] and Sutherland [9] as a model for colloidal aggregation. These early works ... |
Libro |
Ponencia
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 later ... |
Ponencia
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
(Springer, 2005)
Earlier solutions to decision problems by means of P systems used many counter objects to control the synchronization of ... |
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)
This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the ... |
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ... |
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
(Springer, 2002)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ... |