idUS - Perfil del autor: Graciani Díaz, Carmen

Autorice su foto

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

Nº publicaciones

17
Nº visitas

2056
Nº descargas

2653

Tipología

Orden

Publicaciones
Capítulo de Libro Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla García Quismondo, Manuel; Graciani Díaz, Carmen; Riscos Núñez, Agustín (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 Valencia Cabrera, Luis; Graciani Díaz, Carmen; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IMCS: International Membrane Computing Society, 2018) A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ...
Libro 15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University Graciani Díaz, Carmen; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Research Group on Natural Computing (Fenix Editora, 2017)
Artículo Fuzzy reasoning spiking neural P systems revisited: A formalization Pérez Jiménez, Mario de Jesús; Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis (Elsevier, 2017) Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...
Libro 14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016 Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Research Group on Natural Computing (Fénix, 2016)
Ponencia A New Strategy to Improve the Performance of PDP-Systems Simulators Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín (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 Orellana Martín, David; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Valencia Cabrera, Luis (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 Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Riscos Núñez, Agustín (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 Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Romero Jiménez, Álvaro (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 Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Romero Jiménez, Álvaro; Graciani Díaz, Carmen; Riscos Núñez, Agustín; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús (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 Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (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 Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008 Díaz Pernil, Daniel; Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Research Group on Natural Computing (Fénix Editora, 2008)
Ponencia A Membrane Computing Model for Ballistic Depositions Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (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 Graciani Díaz, Carmen; Riscos Núñez, Agustín (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 Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (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 Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (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 Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002) The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...