Mostrando 5 resultados de: 5
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Iberian Conference on Information Systems and Technologies, CISTI(1)
International Journal of Foundations of Computer Science(1)
New Generation Computing(1)
Área temáticas
Métodos informáticos especiales(2)
Ciencias de la computación(1)
Economía(1)
Instrumentos de precisión y otros dispositivos(1)
Interacción social(1)
Origen
scopus(5)
A 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:scopusASAP: A framework for designing gamified models of complex systems
Conference ObjectAbstract: This paper introduces ASAP, a framework for the development of mobile gamification of problems wherePalabras claves:Complex systems, data crowdsourcing, Gamification, mobile computingAutores:Borrego-Diaz J., Fernando Sancho-Caparrini, Galan-Paez J., Solis-Martin D.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:scopus