Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

87 résultats

Generic algorithms for halting problem and optimal machines revisited

Laurent Bienvenu , Damien Desfontaines , Alexander Shen
2015
Pré-publication, Document de travail lirmm-01233778v1
Image document

Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma

Andrei Rumyantsev , Alexander Shen
Fundamenta Informaticae, 2014, 132 (1), pp.1-14. ⟨10.3233/FI-2014-1029⟩
Article dans une revue lirmm-01233795v1
Image document

Algorithmic tests and randomness with respect to a class of measures

Laurent Bienvenu , Peter Gacs , Mathieu Hoyrup , Cristobal Rojas , Alexander Shen
Proceedings of the Steklov Institute of Mathematics, 2011, 274 (1), pp.34-89. ⟨10.1134/S0081543811060058⟩
Article dans une revue hal-00644785v1
Image document

Complexity of majorants

Alexander Shen
2020
Pré-publication, Document de travail lirmm-03059689v1
Image document

Individual codewords

Alexander Shen
Theoretical Computer Science, 2022, 908, pp.120-122. ⟨10.1016/j.tcs.2022.01.041⟩
Article dans une revue lirmm-03843687v1
Image document

Колмогоровская сложность и алгоритмическая случайность

Nikolay Vereshchagin , Vladimir Andreevich Uspensky , Alexander Shen
, pp.575, 2013, 978-5-4439-0212-8
Ouvrages lirmm-00786255v1
Image document

Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.

Nikolay Vereshchagin , Alexander Shen
2017, 978-5-4439-0943-1
Ouvrages lirmm-01486496v1
Image document

Automatic Kolmogorov complexity, normality, and finite-state dimension revisited

Alexander Kozachinskiy , Alexander Shen
Journal of Computer and System Sciences, 2021, 118, pp.75-107. ⟨10.1016/j.jcss.2020.12.003⟩
Article dans une revue lirmm-03371116v1
Image document

Layerwise Computability and Image Randomness

Laurent Bienvenu , Mathieu Hoyrup , Alexander Shen
Theory of Computing Systems, 2017, 61 (4), pp.1353-1375. ⟨10.1007/s00224-017-9791-8⟩
Article dans une revue hal-01650910v1

Algorithmic identification of probabilities is hard

Laurent Bienvenu , Santiago Figueira , Benoit Monin , Alexander Shen
Journal of Computer and System Sciences, 2018, 95, pp.98-108. ⟨10.1016/j.jcss.2018.01.002⟩
Article dans une revue lirmm-01803441v1
Image document

Randomness tests: theory and practice

Andrei Romashchenko , Alexander Shen
2021
Pré-publication, Document de travail lirmm-03371151v1

Limit complexities revisited [ once more ]

Laurent Bienvenu , Andrej Muchnik , Alexander Shen , Nikolay Vereshchagin
arxiv:1204-0201, 2012, pp.1-12
Rapport lirmm-00786224v1

Hilbert's Error?

Alexander Shen
2018
Pré-publication, Document de travail lirmm-01803582v1
Image document

Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции.

Nikolay Vereshchagin , Alexander Shen
MCCME Publishers, Moscow, 2017, 978-5-4439-0945-5
Ouvrages lirmm-01486500v1
Image document

Kolmogorov Complexity and Algorithmic Randomness

Alexander Shen , Vladimir Andreevich Uspensky , Nikolay Vereshchagin
American Mathematical Society, 2017, 9781470431822
Ouvrages lirmm-01803620v1
Image document

Космография

Anthony Ayiomamitis , Alexander Shen
MCCME Publishers, Moscow, 2009, 978-5-94057-551-1
Ouvrages lirmm-01486519v1

Nonsense

Alexander Shen
Autre publication scientifique lirmm-01345485v1
Image document

Программирование: теоремы и задачи

Alexander Shen
MCCME publishers, 2021, 978-5-4439-1560-9
Ouvrages lirmm-03377918v1
Image document

Insuring against loss of evidence in game-theoretic probability

A. Philip Dawid , Steven de Rooij , Glenn Shafer , Alexander Shen , Nikolai Vereshchagin , et al.
Statistics and Probability Letters, 2010, 81 (1), pp.157. ⟨10.1016/j.spl.2010.10.013⟩
Article dans une revue hal-00698844v1
Image document

Sparse sets

Alexander Shen , Laurent Bienvenu , Andrei Romashchenko
JAC 2008, Apr 2008, Uzès, France. pp.18-28
Communication dans un congrès hal-00274010v1
Image document

Алгебра

Israel M. Gelfand , Alexander Shen
MCCME Publishers, Moscow, 2017, 978-5-4439-0946-2
Ouvrages lirmm-01486516v1
Image document

Ergodic theorem and algorithmic randomness

Alexander Shen
2023
Pré-publication, Document de travail lirmm-04186550v1
Image document

The Kučera–Gács theorem revisited by Levin

George Barmpalias , Alexander Shen
Theoretical Computer Science, 2023, 947, pp.#113693. ⟨10.1016/j.tcs.2023.113693⟩
Article dans une revue lirmm-03957655v1

K-trivial, K-low and MLR-low sequences: a tutorial

Laurent Bienvenu , Alexander Shen
Fields of Logic and Computation II, LNCS (9300), Springer, pp.1-23, 2015, Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, 978-3-319-23533-2. ⟨10.1007/978-3-319-23534-9_1⟩
Chapitre d'ouvrage lirmm-01233787v1

An Additivity Theorem for Plain Kolmogorov Complexity

Bruno Bauwens , Alexander Shen
Theory of Computing Systems, 2013, 52, pp.297-302. ⟨10.1007/s00224-012-9385-4⟩
Article dans une revue lirmm-00785244v1

Random Semicomputable Reals Revisited

Laurent Bienvenu , Alexander Shen
WTCS: Workshop on Theoretical Computer Science, Feb 2012, Auckland, New Zealand. pp.031-045, ⟨10.1007/978-3-642-27654-5⟩
Communication dans un congrès lirmm-00845796v1
Image document

On the likelyhood for finite mixture models and Kirill Kalinin’s paper “Validation of the Finite Mixture Model Using Quasi-Experimental Data and Geography”

Alexander Shen
2019
Autre publication scientifique lirmm-02080273v1
Image document

Two Characterizations of Finite-State Dimension

Alexander Kozachinskiy , Alexander Shen
FCT 2019 - 22nd International Symposium on Fundamentals of Computation Theory, Aug 2019, Copenhagen, Denmark. pp.80-94, ⟨10.1007/978-3-030-25027-0_6⟩
Communication dans un congrès lirmm-02337412v1
Image document

Algorithmic Statistics: Forty Years Later

Nikolay Vereshchagin , Alexander Shen
Adam Day; Michael Fellows. Computability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 10010, Springer, pp.669 - 737, 2017, Lecture Notes in Computer Science, 978-3-319-50061-4. ⟨10.1007/978-3-319-50062-1_41⟩
Chapitre d'ouvrage hal-01480627v1
Image document

Decomposition Complexity

Alexander Shen
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.203-213
Communication dans un congrès hal-00541921v1