Segui
Mathieu Hoyrup
Mathieu Hoyrup
Chargé de recherche Inria, Nancy
Email verificata su inria.fr
Titolo
Citata da
Citata da
Anno
Computability of probability measures and Martin-Löf randomness over metric spaces
M Hoyrup, C Rojas
Information and Computation 207 (7), 830-847, 2009
1802009
Randomness on computable probability spaces—a dynamical point of view
P Gács, M Hoyrup, C Rojas
Theory of Computing Systems 48 (3), 465-485, 2011
912011
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
S Galatolo, M Hoyrup, C Rojas
Information and Computation 208 (1), 23-41, 2010
712010
Dynamics and abstract computability: computing invariant measures
S Galatolo, M Hoyrup, C Rojas
arXiv preprint arXiv:0903.2385, 2009
572009
An application of Martin-Löf randomness to effective probability theory
M Hoyrup, C Rojas
Mathematical Theory and Computational Practice: 5th Conference on …, 2009
552009
A constructive version of Birkhoffʼs ergodic theorem for Martin-Löf random points
L Bienvenu, AR Day, M Hoyrup, I Mezhirov, A Shen
Information and Computation 210, 21-30, 2012
502012
Applications of effective probability theory to Martin-Löf randomness
M Hoyrup, C Rojas
International colloquium on automata, languages, and programming, 549-561, 2009
492009
Algorithmic tests and randomness with respect to a class of measures
L Bienvenu, P Gács, M Hoyrup, C Rojas, A Shen
Proceedings of the Steklov Institute of Mathematics 274, 34-89, 2011
482011
A constructive Borel–Cantelli lemma. Constructing orbits with required statistical properties
S Galatolo, M Hoyrup, C Rojas
Theoretical Computer Science 410 (21-23), 2207-2222, 2009
432009
Rewriting logic and probabilities
O Bournez, M Hoyrup
Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003
422003
Computability of the ergodic decomposition
M Hoyrup
Annals of Pure and Applied Logic 164 (5), 542-549, 2013
272013
Computability on quasi-Polish spaces
M Hoyrup, C Rojas, V Selivanov, DM Stull
Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International …, 2019
262019
Computability of the Radon-Nikodym derivative
M Hoyrup, C Rojas, K Weihrauch
Computability 1 (1), 3-13, 2012
252012
The dimension of ergodic random sequences
M Hoyrup
arXiv preprint arXiv:1107.1149, 2011
242011
Degree spectra of homeomorphism types of Polish spaces
M Hoyrup, T Kihara, V Selivanov
222020
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
S Galatolo, M Hoyrup, C Rojas
arXiv preprint arXiv:1006.0392, 2010
222010
Statistical properties of dynamical systems–simulation and abstract computation
S Galatolo, M Hoyrup, C Rojas
Chaos, Solitons & Fractals 45 (1), 1-14, 2012
192012
Descriptive complexity on non-Polish spaces
A Callard, M Hoyrup
STACS 2020-37th Symposium on Theoretical Aspects of Computer Science 154, 16, 2020
182020
Computability of the Radon-Nikodym derivative
M Hoyrup, C Rojas, K Weihrauch
Conference on Computability in Europe, 132-141, 2011
182011
Dynamical systems: stability and simulability
M Hoyrup
Mathematical Structures in Computer Science 17 (2), 247-259, 2007
172007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20