?
Model structures on categories of models of type theories
Mathematical Structures in Computer Science. 2018. Vol. 28. No. 10. P. 1695–1722.
Valery Isaev
Язык:
английский
Ключевые слова: Homotopy Type theory
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...
Добавлено: 30 июля 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153
В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена.
В рамках демонстрации методов Bss решена обратная задача: получено новое ...
Добавлено: 28 июля 2026 г.
Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234
Добавлено: 28 июля 2026 г.
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению
видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены.
Метод включает формальную постановку задачи, модель конечного автомата для принятия решений,
функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены
с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора
методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Ukhlov A., Rendiconti del Circolo Matematico di Palermo 2026 Vol. 75 Article 91
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Journal of Mathematical Sciences 2026 Vol. 298 P. 608–618
Добавлено: 27 июля 2026 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Association for Computing Machinery (ACM), 2026.
Добавлено: 22 июля 2026 г.
Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Ляппиева А. А., Теория вероятностей и ее применения 2026 Т. 71 № 2 С. 295–304
Установлен новый результат о сильной единственности для многомерного СДУ с невырожденной диффузией и частично нерегулярным сносом. Его можно рассматривать как комбинированный вариант на темы Ямада и Ватанабэ (1971), Звонкина (1974) и первого автора настоящей статьи (1980). ...
Добавлено: 17 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.