Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

doi:10.1007/978-3-319-22156-4

Публикации

?

Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

Базель : Birkhauser/ Springer, 2015.

Под общей редакцией: G. Sommaruga, T. Strahm

Proof-theoretic analysis by iterated reflection

Беклемишев Л. Д., , in: Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015.: Basel: Birkhauser/Springer, 2015. P. 225–270.

Добавлено: 13 марта 2016 г.

Приоритетные направления: компьютерно-математическое математика

Язык: английский

DOI

Ключевые слова: computation Turing

Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

Добавлено: 11 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

ICCTA '22: Proceedings of the 2022 8th International Conference on Computer Technology Applications

NY: Association for Computing Machinery (ACM), 2022.

Добавлено: 26 сентября 2022 г.

Intelligent Systems and Applications. IntelliSys 2020.

Springer, 2020.

Добавлено: 9 сентября 2020 г.

Twelfth International Tbilisi Symposium on Language, Logic and Computation

Centre for Language, Logic and Speech at the Tbilisi State University, 2017.

Добавлено: 8 октября 2019 г.

Communication, Computation, and Cognitive Processes (СССР3)

Higher School of Economics Publishing House, 2016.

Third annual conference “Communication, Computation, and Cognitive Processes (СССР3)”. National Research University Higher School of Economics, Moscow, Russia, September 28-29, 2016. ...

Добавлено: 7 декабря 2016 г.

Логико-термальная эквивалентность программ с динамической памятью

Захаров В. А., Новикова Т. А., В кн.: Дискретные модели в теории управляющих систем : IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г.: Труды.: М.: МАКС Пресс, 2015. С. 173–176.

В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.) ...

Добавлено: 12 октября 2015 г.

Modelling, Computation and Optimization in Information Systems and Management Sciences. Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part II

Springer, 2015.

This proceedings set contains 85 selected full papers presentedat the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, held on May 11–13, 2015 at Lorraine University, France. The present part II of the 2 volume set includes articles devoted to Data analysis and Data mining, Heuristic ...

Добавлено: 1 июня 2015 г.