Datos

NombreGraciani Díaz, Carmen
DepartamentoCiencias de la Comput. e Int. Artificial
Área de conocimientoCiencia de la Computación e Inteligencia Artificial
Categoría profesionalProfesora Contratada Doctora
Correo electrónicoSolicitar
           

  Estadísticas

  • Registros

    14

  • Visitas

    1180

  • Descargas

    1328

  Publicaciones

 

Capítulo de Libro
Icon

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-01-01)
This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane computing has ...
Libro
Icon

15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University

Research Group on Natural Computing; Graciani Díaz, Carmen; Paun, Gheorghe; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fenix Editora, 2017-01-01)
Artículo
Icon

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-01-01)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...
Libro
Icon

14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016

Research Group on Natural Computing; Graciani Díaz, Carmen; Orellana Martín, David; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Valencia Cabrera, Luis (Fénix, 2016-01-01)
Ponencia
Icon

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-01-01)
One of the major challenges that current P systems simulators have to deal with is to be as efficient as possible. A P ...
Ponencia
Icon

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-01-01)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
Ponencia
Icon

Rete Algorithm for P System Simulators

Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Riscos Núñez, Agustín (Fénix Editora, 2013-01-01)
The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ...
Ponencia
Icon

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-01-01)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ...
Libro
Icon

Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008

Research Group on Natural Computing; 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 (Fénix Editora, 2008-01-01)
Ponencia
Icon

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-01-01)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ...
Capítulo de Libro
Icon

Using Automated Reasoning Systems on Molecular Computing

Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005-01-01)
This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the ...
Ponencia
Icon

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-01-01)
Earlier solutions to decision problems by means of P systems used many counter objects to control the synchronization of ...
Tesis Doctoral
Icon

Especificación y verificación de programas moleculares en PVS

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando; Graciani Díaz, Carmen (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 ...
Capítulo de Libro
Icon

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-01-01)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...