?
IFAC-PapersOnLine
Vol. 55. Issue 38: 13th IFAC Symposium on Robot Control SYROCO 2022.
Elsevier, 2022.
Под общей редакцией: L. Rincon-Ardilla
Главы книги
Дергачев С. А., Яковлев К. С., Муравьев К. Ф., , in: IFAC-PapersOnLineVol. 55. Issue 38: 13th IFAC Symposium on Robot Control SYROCO 2022.: Elsevier, 2022. P. 80–85.
Добавлено: 8 сентября 2023 г.
Гайфуллин С. А., Киктева В. В., 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 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Карпова И. П., Robotics and Autonomous Systems 2025 Vol. 193 Article 105082
Добавлено: 3 июня 2025 г.
Карпова И. П., В кн.: Двадцать первая Национальная конференция по искусственному интеллекту с международным участием, КИИ-2023Т. 1.: Смоленск: Принт-Экспресс, 2023. С. 242–253.
В работе рассматривается метод использования визуальных ориентиров для запоминания пройденного пути мобильным роботом (аниматом), основанный на механизме навигации муравьев. Описывается модель представления маршрута и алгоритм преобразования прямого маршрута в обратный. Приведены результаты экспериментов по имитационному моделированию, описаны натурные эксперименты. ...
Добавлено: 30 октября 2023 г.
Карпова И. П., Управление большими системами: сборник трудов 2022 № 96 С. 69–117
В работе описывается биоинспирированный механизм навигации мобильных роботов, подобный тому, который используют общественные насекомые. Модельным видом является Formica rufa – рыжий лесной муравей. Муравей-разведчик этого вида не только запоминает маршрут до пищи, но умеет передавать муравьям-фуражирам сведения о местонахождении пищи, и те самостоятельно могут до нее дойти и вернуться домой. Рассмотрены основные аспекты навигации муравьев, ...
Добавлено: 8 декабря 2022 г.
Карпова И.П., В кн.: Муравьи и защита леса: Материалы XVI Всероссийского мирмекологического симпозиума, Москва, 27–31 августа 2022 года.: Товарищество научных изданий КМК, 2022. С. 217–222.
В работе описывается биоинспирированный механизм навигации мобильных роботов, подобный тому, который используют общественные насекомые. В основу предлагаемого метода положено запоминание пути по визуальным ориентирам с учетом показаний компаса и временно́й составляющей. Путь рассматривается как последовательность сцен, образуемых ориентирами. Приведены результаты имитационного моделирования для решения задачи фуражировки, подтверждающие работоспособность предложенного метода. ...
Добавлено: 1 сентября 2022 г.
Bodenschatz A., Uhl M., Валковиц Г., Computers in Human Behavior Reports 2021 Vol. 4 Article 100145
Добавлено: 24 ноября 2021 г.
Карпова И. П., В кн.: Девятнадцатая Национальная конференция по искусственному интеллекту с международным участием КИИ-2021 (11-16 октября 2021 г.) Труды конференции.: Таганрог: Издательство Южного федерального университета, 2021. С. 205–218.
В работе предложен метод использования визуальных ориентиров для запоминания пройденного пути мобильным роботом (аниматом), основанный на механизме навигации муравьев. Описывается модель представления маршрута и правила ее интерпретации, позволяющие другому роботу повторить маршрут, пройденный роботом-разведчиком. Приведены результаты экспериментов по имитационному моделированию, показывающие возможность применения разработанного метода для решения задач фуражировки и рекогносцировки. ...
Добавлено: 14 октября 2021 г.
Карпова И. П., Мехатроника, автоматизация, управление 2021 Т. 22 № 10 С. 537–546
Среди природоподобных технологий есть направление, в рамках которого исследуется применение навигационных механизмов насекомых для навигации автономных роботов. Данная работа относится к этому направлению и посвящена использованию этого подхода для решения задач фуражирования и рекогносцировки. В качестве модельного вида взят муравей рода Formica rufa – рыжий лесной муравей. От других видов он отличается тем, что активно ...
Добавлено: 21 сентября 2021 г.