Data

NameGraciani Díaz, Carmen
DepartmentCiencias de la Comput. e Int. Artificial
Knowledge areaCiencia de la Computación e Inteligencia Artificial
Professional categoryProfesora Contratada Doctora
E-mailRequest
           

  Statistics

  • Items

    14

  • Visits

    1164

  • Downloads

    1287

  Publications

 

Chapter of Book
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 ...
Book
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)
Article
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 ...
Book
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)
Presentation
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 ...
Presentation
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 ...
Presentation
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 ...
Presentation
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 ...
Book
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)
Presentation
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 ...
Chapter of Book
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 ...
Presentation
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 ...
PhD Thesis
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 ...
Chapter of Book
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 ...