Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)
International Journal of Foundations of Computer Science(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(2)
Métodos informáticos especiales(2)
Economía(1)
Instrumentos de precisión y otros dispositivos(1)
Área de conocimiento
Ciencias de la computación(2)
Origen
scopus(4)
A 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: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