?
Kolmogorov complexity and algorithmic randomness
Верещагин Н. К., Милованов А. С., / Weizmann Institute of Science. Series Technical report "Electronic Colloquium on Computational Complexity". 2017. No. TR17-043.
Добавлено: 7 марта 2017 г.
Милованов А. С., Theory of Computing Systems 2017 Vol. 61 No. 2 P. 521-535
Algorithmic statistics is a part of algorithmic information theory (Kolmogorov complexity theory) that studies the following task: given a finite object x (say, a binary string), find an `explanation' for it, i.e., a simple finite set that contains x and where x is a `typical element'. Both notions (`simple' and `typical') are defined in terms ...
Добавлено: 27 июня 2016 г.
Баувенс Б. Ф., Archive for Mathematical Logic 2015 Vol. 54 No. 5 P. 615-629
Joseph Miller [16] and independently Andre Nies, Frank Stephan and Sebastiaan Terwijn [18] gave a complexity characterization of 2-random sequences in terms of plain Kolmogorov complexity C: they are sequences that have infinitely many initial segments with O(1)-maximal plain complexity (among the strings of the same length). Later Miller [17] showed that prefix complexity K ...
Добавлено: 2 октября 2015 г.
Верещагин Н. К., / Hasso-Plattner-Institut. Series Tecnical report "Electronic Colloquium on Computational Complexity". 2013. No. TR13-178.
Добавлено: 14 декабря 2013 г.
Верещагин Н. К., Баувенс Б. Ф., Makhlin A. и др., Computational Complexity 2018 Vol. 27 No. 1 P. 31-61
Given a machine $U$, a $c$-short program for $x$ is a string $p$ such that $U(p)=x$ and the length of $p$ is bounded by $c$ + (the length of a shortest program for $x$). We show that for any universal machine, it is possible to compute in polynomial time on input $x$ a list of ...
Добавлено: 22 апреля 2017 г.
Баувенс Б. Ф., Shen A., Journal of Symbolic Logic 2013 Vol. 79 No. 2 P. 620-632
Добавлено: 2 октября 2015 г.
Верещагин Н. К., Theoretical Computer Science 2023 Vol. 940 P. 108-122
Добавлено: 19 декабря 2022 г.
Баувенс Б. Ф., Zimand M., Journal of the ACM 2023 Vol. 70 No. 2 Article 9
Добавлено: 22 марта 2023 г.
Милованов А. С., Theory of Computing Systems 2019 Vol. 63 No. 4 P. 833-848
Добавлено: 17 октября 2018 г.
Добавлено: 23 декабря 2022 г.
Bauwens B., Makhlin A., Верещагин Н. К. и др., / Hasso-Plattner-Institut. Series Technical report "Electronic Colloquium on Computational Complexity". 2013. No. TR13-007.
Добавлено: 14 декабря 2013 г.
Bienvenu L., Muchnik A., Shen A. и др., / Cornell University. Series math "arxiv.org". 2012. No. 1204.0201.
Добавлено: 14 декабря 2013 г.
Ружицкая Д. Д., САМОЙЛЕНКО А. А., Иванов А. Д. и др., Optoelectronics, Instrumentation and Data Processing 2017 Vol. 54 No. 1 P. 1-8
This paper presents an algorithm for processing the transmission spectra of whisperinggallery optical microcavities for use as a nanoparticle detector. The algorithm is based on the broadening of the microcavity resonance curve during precipitation of nanoparticles on the microcavity surface. Experimental results on the detection of particles are compared with Langmuir adsorption theory. The contribution ...
Добавлено: 25 мая 2018 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Литвин Ю. В., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Расширен подход к оценке случайного времени прибытия пожарных боевых расчётов на объект защиты, времени их занятости и свободного горения. Получены некоторые количественные оценки с использованием рассмотренных аналитических методов и имитации ...
Добавлено: 27 августа 2016 г.
Aaij R., Abdelmotteleb A. S., Abellan Beteta C. и др., The European Physical Journal C - Particles and Fields 2023 Vol. 83 Article 543
Добавлено: 4 декабря 2023 г.
Springer, 2012
Добавлено: 29 января 2013 г.
М. : National Instruments Russia, 2017
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники, для широкого круга преподавателей, аспирантов и студентов ВУЗов, а также для преподавателей средних школ и технических колледжей. ...
Добавлено: 10 мая 2017 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
Фурманов К. К., Nikol'skii I. M., Computational Mathematics and Modeling 2016 Vol. 27 No. 2 P. 247-253
Добавлено: 22 декабря 2016 г.
Kiselyova N. N., Dudarev V.A., Korzhuev M. A., Inorganic Materials: Applied Research 2016 Vol. 7 No. 1 P. 34-39
A database (DB) on the bandgap of inorganic substances available via the Internet (http://bg.imetdb.ru) was developed for the information service of specialists in the sphere of inorganic chemistry and materials science. The DB is integrated with other information systems on the properties of inorganic substances and materials, which provides the search of a wide range ...
Добавлено: 23 февраля 2016 г.