Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Publisher
International Journal of Foundations of Computer Science(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
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:scopus