?
Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 13–17 ноября 2023 г. Тезисы докладов
2023.
Материалы международной конференции "Мальцевские чтения 2023"
Главы книги
Поляков Н. Л., В кн.: Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 13–17 ноября 2023 г. Тезисы докладов.: [б.и.], 2023. С. 104–104.
Добавлено: 30 ноября 2024 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Добавлено: 26 мая 2026 г.
Андросов И. А., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3 P. 87–114
В работе рассматриваются сети эхо-состояний (Echo State Network, ESN), которые являются одними из самых распространенных способов реализации резервуарных вычислений. Они состоят из рекуррентной нейронной сети, веса которой выбираются один раз и не обучаются, и выходного, обычно линейного, обучаемого слоя. Такой подход позволяет создавать энергоэффективные и быстрые нейронные сети, способные обучаться в режиме реального времени. Но ...
Добавлено: 26 мая 2026 г.
Караваева Е. А., Кулигин Л. А., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 67–94
В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), ...
Добавлено: 24 мая 2026 г.
Добавлено: 23 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Chertopolokhov V., Mukhamedov A., Bugriy G. и др., IEEE Access 2026 Vol. 14 P. 14369–14392
Добавлено: 22 мая 2026 г.
Лошкарева М. Е., Матвеева Н. Н., Вестник Томского государственного университета. История 2026 № 100 С. 112–118
Предпринята попытка применения сетевого анализа в изучении средневекового нарративного источ ника. Цель исследования – проверка гипотезы о политической фрагментарности как основной причины завоевания Уэльса Англией. Построены сети взаимодействий исторических лиц на основе данных валлийской Хроники принцев с 1193 по 1282 г. Построение сетей демонстрирует, что завоевано Англией было формально объеди ненное княжество, ослабляемое не столько ...
Добавлено: 22 мая 2026 г.
Добавлено: 19 мая 2026 г.
Rabat: Association for Computational Linguistics, 2026.
Добавлено: 19 мая 2026 г.
Долгоруков В. В., Попова Е. Л., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
Рецензия на: Hoffmann D. Limits of Mathematics. A Journey Through the Key Areas of Mathematical Logic. — Berlin : Springer, 2025. ...
Добавлено: 30 марта 2026 г.
Городенцев А. Л., М.: МЦНМО, 2025.
Книга представляет собой первую часть интенсивного двухгодичного курса алгебры для студентов, профессионально изучающих математику и физику. Основу курса составляют лекции, читавшиеся на факультете математики Высшей школы экономики и в Независимом московском университете, а также материалы сопровождавших их семинарских занятий. В книге также приводится большое количество задач и упражнений.
Новое издание отличается от издания 2013 года: материал ...
Добавлено: 24 февраля 2026 г.
Городенцев А. Л., М.: МЦНМО, 2025.
Книга представляет собой вторую часть интенсивного двухгодичного курса алгебры для студентов, профессионально изучающих математику и физику. Основу курса составляют лекции, читавшиеся на факультете математики Высшей школы экономики и в Независимом московском университете, а также материалы сопровождавших их семинарских занятий. В книге также приводится большое количество задач и упражнений. ...
Добавлено: 22 февраля 2026 г.
Дзардини Э., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
Добавлено: 5 февраля 2026 г.
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
Долгоруков В. В., Попова Е. Л., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Добавлено: 16 января 2026 г.
Долгоруков В. В., Попова Е. Л., Логические исследования 2025 Т. 31 № 2 С. 31–51
Статья посвящена исследованию структурных параллелей между нормативными стандартами в логике и теории игр. С одной стороны, стандартная точка зрения утверждает, что и логика, и теория игр являются нормативными дисциплинами. С другой стороны, их нормативный статус является предметом дискуссий. Демонстрируется, что внутри логики и теории игр возникают параллельные исследовательские программы, связанные с различными стратегиями ответа на ...
Добавлено: 15 сентября 2025 г.