Mostrando 10 resultados de: 10
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(6)
Fundamenta Informaticae(1)
International Journal of Foundations of Computer Science(1)
Natural Computing(1)
New Generation Computing(1)
Área temáticas
Ciencias de la computación(6)
Programación informática, programas, datos, seguridad(4)
Métodos informáticos especiales(3)
Economía(1)
Instrumentos de precisión y otros dispositivos(1)
Complexity classes in models of cellular computing with membranes
ArticleAbstract: In this paper we introduce four complexity classes for cellular computing systems with membranes: thPalabras claves:Complexity classes, Membrane Computing, P systemsAutores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J., Romero-Jiménez A.Fuentes:scopusA MzScheme implementation of transition P systems
ArticleAbstract: The main goal of this paper is to present the design of an MzScheme program that allows us to simulaPalabras claves:Autores:Balbontín Noval D., Fernando Sancho-Caparrini, Pérez-Jiménez M.J.Fuentes:scopusA formalization of transition P systems
ArticleAbstract: In this paper we give a complete formalization of a new computability model of a distributed parallePalabras claves:Formal verification, Natural Computing, P systemAutores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J.Fuentes:scopusA prolog simulator for deterministic P systems with active membranes
Conference ObjectAbstract: In this paper we propose a new way to represent P systems with active membranes based on Logic ProgrPalabras claves:Logic Programming, Membrane Computing, Prolog, SAT-problem, SimulationAutores:Cordón-Franco A., Fernando Sancho-Caparrini, Gutiérrez-Naranjo M.A., Pérez-Jiménez M.J.Fuentes:scopusA simulation algorithm for multienvironment probabilistic P systems: A formal verification
ArticleAbstract: Multienvironment probabilistic P systems provide a framework of specification for modeling populatioPalabras claves:Biological modeling, Formal verification, P systemsAutores:Fernando Sancho-Caparrini, Martínez-del-Amor M., Pérez-Hurtado I., Pérez-Jiménez M.J., Riscos-Núñez A.Fuentes:scopusDecision P systems and the P≠NP conjecture
ArticleAbstract: We introduce decision P systems, which are a class of P systems with symbol-objects and external outPalabras claves:Autores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J., Romero-Jiménez A.Fuentes:scopusHybrid networks of evolutionary processors
ArticleAbstract: A hybrid network of evolutionary processors consists of several processors which are placed in nodesPalabras claves:Autores:Fernando Sancho-Caparrini, Martín-Vide C., Mitrana V., Pérez-Jiménez M.J.Fuentes:scopusImplementing in prolog an effective cellular solution to the knapsack problem
ArticleAbstract: In this paper we present an implementation in Prolog of an effective solution to the Knapsack problePalabras claves:Autores:Cordón-Franco A., Fernando Sancho-Caparrini, Gutiérrez-Naranjo M.A., Pérez-Jiménez M.J., Riscos-Núñez A.Fuentes:scopusSolving knapsack problems in a sticker based model
Conference ObjectAbstract: Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely SubsPalabras claves:Autores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J.Fuentes:scopusThe P versus NP problem through cellular computing with membranes
ArticleAbstract: We study the P versus NP problem through membrane systems. Language accepting P systems are introducPalabras claves:Autores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J., Romero-Jiménez A.Fuentes:scopus