Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Fundamenta Informaticae(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Ciencias de la computación(1)
Economía(1)
Matemáticas(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
A 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: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