?
Control of movement of underwater swimmers: Animals, simulated animates and swimming robots
Physics of Life Reviews. 2023. Vol. 47. P. 211–244.
Язык:
английский
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Добавлено: 11 августа 2026 г.
Lucas J., Hebbar P., Рябов Ф. Д. и др., / Series 10.64898/2026.07.21.739710 "10.64898/2026.07.21.739710". 2026.
Пангеномный референс позволяет преодолеть фундаментальное ограничение любого отдельного референсного генома за счёт интеграции генетической вариабельности, представленной в популяции. Мы представляем Release 2 Консорциума по созданию референсного пангенома человека (Human Pangenome Reference Consortium, HPRC2) — общедоступную пангеномную сборку второго этапа, которая примерно в пять раз превосходит HPRC Release 1 (HPRC1) по числу представленных геномов и демонстрирует ...
Добавлено: 10 августа 2026 г.
Корсунский В. А., Бяков К. Е., М.: Издательство МГТУ им. Н.Э. Баумана, 2025.
Описана методика выбора параметров энергетической установки и тяговых электродвигателей мобильного робота на этапе проектирования с использованием программного комплекса MatLab. Для студентов высших учебных заведений, обучающихся по специальностям 23.05.01 «Наземные транспортно-технологические средства», 23.05.02 «Транспортные средства специального назначения», и магистрантов 2 курса, обучающихся по направлению подготовки 23.05.04 «Наземные транспортно-технологические средства». ...
Добавлено: 7 августа 2026 г.
Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
Добавлено: 7 августа 2026 г.
Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Добавлено: 7 августа 2026 г.
Добавлено: 6 августа 2026 г.
Радыгина А. А., Куликова С. П., Herald of the Russian Academy of Sciences 2025 Vol. 95 No. 6 P. 963–970
Музыкальное обучение оказывает значительное влияние на организацию мозга, вызывая функциональные и структурные адаптации, которые усиливают слуховые, зрительные, моторные и когнитивные процессы. В данном исследовании изучается, как интенсивное музыкальное обучение формирует функциональную связность мозга, путём сравнения профессиональных музыкантов и не-музыкантов. С использованием анализа значения фазовой синхронизации (PLV) по данным ЭЭГ мы оценили нейронную синхронизацию в альфа-, ...
Добавлено: 5 августа 2026 г.
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 Т. 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 г.
Ananyev S., Lyakhovetskii V., Ekaterina Pomelova и др., Journal of Neural Engineering 2026 Vol. 23 No. 2 Article 026011
Добавлено: 2 марта 2026 г.
Tsybina Y., Гордлеева С. Ю., Zharinov A. I. и др., Chaos, Solitons and Fractals 2022 Vol. 165 P. 112864–0
Добавлено: 9 апреля 2025 г.
Korotkov A., Levanova T., Zaks M. и др., Communications in Nonlinear Science and Numerical Simulation 2022 No. 104 Article 106045
Добавлено: 25 октября 2021 г.