Author profile: Graciani Díaz, Carmen
Institutional data
Name | Graciani Díaz, Carmen |
Department | Ciencias de la Computación e Inteligencia Artificial |
Knowledge area | Ciencia de la Computación e Inteligencia Artificial |
Professional category | Profesora Contratada Doctora |
Request | |
Statistics
-
No. publications
17
-
No. visits
2333
-
No. downloads
2883
Publications |
---|
Chapter of Book
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 ... |
Article
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 ... |
Book |
Article
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 ... |
Book |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Book |
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 later ... |
Presentation
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 ... |
Chapter of Book
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 ... |
PhD Thesis
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 ... |
Chapter of Book
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 ... |