Buscar
Mostrando ítems 1-5 de 5
Bisimilarity is not borel
(Cambridge University Press, 2017-10)
We prove that the relation of bisimilarity between countable labelled transition systems (LTS) is Σ1 1-complete (hence not Borel), by reducing the set of non-well orders over the natural numbers continuously to it. This ...
A theory for the semantics of stochastic and non-deterministic continuous systems
(2014)
The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, ...
Solving the migration–recombination equation from a genealogical point of view
(Springer Heidelberg, 2021)
We consider the discrete-time migration–recombination equation, a deterministic,
nonlinear dynamical system that describes the evolution of the genetic type distribution
of a population evolving under migration and ...
Bisimulación en procesos de decisión de Markov sobre espacios continuos
(2022-10)
Los procesos de Markov etiquetados (LMP) consisten de un espacio medible de estados y un conjunto etiquetado de subprobabilidades que codifican la interacción con el ambiente. Por ello son un marco apropiado para estudiar ...
Memoria y formación : una aproximación desde la fenomenología y la inteligencia artificial.
(Universidad Pedagógica NacionalDoctorado Interinstitucional en EducaciónDoctorado en Educación, 2016)
Trabajo de grado doctoral en el cual el autor persigue un acercamiento a la subjetividad cognitiva como un intento por superar tanto posiciones idealistas, —para las cuales la mente es inaccesible—, como posiciones ...