?
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.
Geneva: International Telecommunication Union, 2025.
Добавлено: 26 мая 2026 г.
Добавлено: 25 мая 2026 г.
Караваева Е. А., Кулигин Л. А., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 67–94
В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), ...
Добавлено: 24 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Добавлено: 22 мая 2026 г.
Лошкарева М. Е., Матвеева Н. Н., Вестник Томского государственного университета. История 2026 № 100 С. 112–118
Предпринята попытка применения сетевого анализа в изучении средневекового нарративного источ ника. Цель исследования – проверка гипотезы о политической фрагментарности как основной причины завоевания Уэльса Англией. Построены сети взаимодействий исторических лиц на основе данных валлийской Хроники принцев с 1193 по 1282 г. Построение сетей демонстрирует, что завоевано Англией было формально объеди ненное княжество, ослабляемое не столько ...
Добавлено: 22 мая 2026 г.
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 P. 1–16
Добавлено: 21 мая 2026 г.
Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 No. 106192
Добавлено: 20 мая 2026 г.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Добавлено: 19 мая 2026 г.
Rabat: Association for Computational Linguistics, 2026.
Добавлено: 19 мая 2026 г.
Добавлено: 19 мая 2026 г.
Pikalov V., Meshcheryakov V., Kondratev S. и др., Technologies 2026 Vol. 14 No. 1 P. 1–27
This paper presents Aerokinesis, an IoT-based software–hardware system for intuitive gesture-driven control of quadcopter unmanned aerial vehicles (UAVs), developed within the Robot Operating System 2 (ROS2) framework. The proposed system addresses the challenge of providing an accessible human–drone interaction interface for operators in scenarios where traditional remote controllers are impractical or unavailable. The architecture comprises ...
Добавлено: 19 мая 2026 г.
This paper presents Aerokinesis, an IoT-based software–hardware system for intuitive gesture-driven control of quadcopter unmanned aerial vehicles (UAVs), developed within the Robot Operating System 2 (ROS2) framework. The proposed system addresses the challenge of providing an accessible human–drone interaction interface for operators in scenarios where traditional remote controllers are impractical or unavailable. The architecture comprises ...
Добавлено: 19 мая 2026 г.
Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 P. 1–15
Добавлено: 16 мая 2026 г.
Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66
Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...
Добавлено: 16 мая 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 г.
СПб.: Санкт-Петербургский Федеральный исследовательский центр РАН, 2025.
Двадцать вторая Национальная конференция по искусственному интеллекту с международным участием КИИ-2025 продолжает традицию советских (российских) конференций, организуемых Российской ассоциацией искусственного интеллекта. Во втором томе трудов публикуются доклады участников конференции, представленные на следующих секциях: Секция 5 «Нечеткие модели, мягкие измерения и вычисления, биоинспирированные методы», Секция 6 «Интеллектуальные агенты, роботы, компьютерное зрение», Секция 7 «Интеллектуальное управление и ...
Добавлено: 3 марта 2026 г.