Mostrando 2 resultados de: 2
Subtipo de publicación
Article(2)
Área temáticas
Análisis(1)
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Área de conocimiento
Algoritmo(1)
Ciencias de la computación(1)
Optimización matemática(1)
Sistema dinámico(1)
Origen
scopus(2)
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:scopusReachability problems in low-dimensional iterative maps
ArticleAbstract: In this paper we analyze the dynamics of one-dimensional piecewise maps. We show that one-dimensionaPalabras claves:Iterative piecewise maps, Pseudo-billiard systems, Reachability problems, Theory of computing, universalityAutores:Fernando Sancho-Caparrini, Kurganskyy O., Potapov I.Fuentes:scopus