?
Coping with AI errors with provable guarantees
Information Sciences. 2024. Vol. 678. Article 120856.
Tyukin I., Тюкина Т. А., van Helden D. P., Zheng, Z., Mirkes E. M., Sutton O. J., Zhou Q., Gorban A. N., Allison P.
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Добавлено: 4 августа 2026 г.
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Чеповский А. М., Мастерская Печати Идей, 2026.
В учебном пособии представлены методы и алгоритмы автоматического анализа корпусов текстов на естественных языках. Предназначено для изучающих методов обработки текстов на естественных языках и создания обучающих массивов текстов.
Для студентов, аспирантов и научных работников, изучающих методы компьютерной лингвистики и обработку текстов. ...
Добавлено: 1 августа 2026 г.
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 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 г.
Гаджимирзаев Ш. М., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
В статье предлагается архитектура событийно-управляемого Центра экстренного реагирования с компонентом компьютерного зрения. Анализируются источники информации и обсуждаются подходы к использованию событий компьютерного зрения для обнаружения и оценки тактических ситуаций. Сообщения от компонентов компьютерного зрения преобразуются в Протокол общих оповещений (Common Alerting Protocol) и обрабатываются средой Центра управления для распознавания тактических ситуаций. ...
Добавлено: 26 июня 2026 г.
Geneva: International Telecommunication Union, 2025.
Добавлено: 26 мая 2026 г.
Самойлов О. М., Татарко А. Н., Вопросы теоретической экономики 2026 № 2 С. 209–228
В статье представлен теоретический обзор литературы за последние десять лет, посвящённой анализу социально-психологических факторов доверия искусственному интеллекту. Повсеместное внедрение автоматизированных ИИ-систем, связанное с ожидаемым экономическим ростом, снижением ресурсных затрат и оптимизацией ряда рабочих процессов, на практике зачастую сталкивается с недоверием пользователей к новым инструментам и отсутствием готовности трансформировать классические рабочие процессы. Совокупность факторов снижения доверия ...
Добавлено: 21 мая 2026 г.
Humonen I., Голядкин М. Ю., Rubanova V. и др., , in: CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems.: NY: Association for Computing Machinery (ACM), 2026. P. 1–5.
Мы представляем прототип веб-системы с участием человека для изучения древнеегипетских иероглифических текстов, которая интегрирует конвейер обработки изображений в текст в интерактивное рабочее пространство для итеративной доработки. В ходе предварительного исследования с участием египтологов и студентов система позволила ускорить работу и получить более качественные результаты по сравнению с ручным процессом. ...
Добавлено: 14 апреля 2026 г.
NY: Association for Computing Machinery (ACM), 2026.
Данная книга представляет собой сборник материалов расширенных тезисов докладов конференции 2026г "CHI Conference on Human Factors in Computing Systems." ...
Добавлено: 14 апреля 2026 г.
Рыбин А. И., Теоретическая и прикладная юриспруденция 2026 № 1 (27) С. 26–42
Введение: в статье рассматриваются механизмы легитимации этических стандартов, установленных в актах «мягкого права», политико-программных документах, международных рекомендациях в процессе правового регулирования искусственного интеллекта (ИИ) в российской правотворческой и правоприменительной практике. Цель исследования — выявить роль и степень влияния этических стандартов на легитимацию правовых норм в сфере ИИ в Российской Федерации.
Методология и материалы: в ходе исследования ...
Добавлено: 31 марта 2026 г.
Княгинина Н. В., Пучков Е. В., Бальжинимаева В. В., М.: Национальный исследовательский университет "Высшая школа экономики", 2026.
В 2025 году системы образования по всему миру одновременно столкнулись с нехваткой учителей, ростом нагрузки на школы, усложнением демографической структуры, давлением рынка труда, ростом неравенства и стремительным развитием цифровых технологий. На этот фон накладываются изменения в миграции, перераспределение бюджетных ресурсов и пересборка международного сотрудничества, что делает образовательную политику одним из ключевых инструментов адаптации к новым ...
Добавлено: 23 марта 2026 г.