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)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(2)
ODS 15: Vida de ecosistemas terrestres(1)
ODS 17: Alianzas para lograr los objetivos(1)
ODS 3: Salud y bienestar(1)
ODS 4: Educación de calidad(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