?
Even Simple Processes of Pi-calculus are Hard for Analysis
Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7. P. 589–606.
Захаров В. А., Abbas M. M.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Ключевые слова: вычислительная сложностьsecurityбезопасность авиаперевозокcryptographic protocolsComputational Complexityкриптографические протоколыcalculus of mobile processesисчисление мобильных процессов
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
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 г.
Добавлено: 28 мая 2026 г.
Добавлено: 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 г.
Клестов Д. А., Полития: Анализ. Хроника. Прогноз 2025 Т. 119 № 4 С. 73–106
Статья посвящена анализу феномена экстраординарного полицейского насилия в демократических странах, проявившегося в ходе ряда протестных кампаний последних лет. На примере протестов против неравенства в Чили, а также антилокдаунных протестов в Нидерландах и Австралии автор демонстрирует, что даже в устойчивых демократиях полиция способна прибегать к непропорциональной жестокости. Каждый кейс подробно рассматривается с точки зрения хроники эскалации, ...
Добавлено: 23 мая 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Дудаков С. М., Карлов Б. Н., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 524 № 1 С. 11–18
В работе изучается проблема тотальной выводимости в контекстно-свободных, неукорачивающих и контекстно-зависимых грамматиках. Для фиксированного терминального слова проблема состоит в том, чтобы по грамматике определить, существует ли вывод этого слова, в котором каждое правило используется не менее некоторого заданного числа раз. Доказывается, что проблема тотальной выводимости пустого слова в контекстно-свободной грамматике является NP-полной. Для неукорачивающих и ...
Добавлено: 18 марта 2026 г.
Чистиков М. Н., В кн.: Северная Европа: политика безопасности вчера и сегодня. Доклады Института Европы № 425Вып. 425.: М.: Институт Европы РАН, 2025. Гл. 11 С. 106–114.
Внешние для Арктического региона международно-полити- ческие кризисы 2014 и 2022 гг. привели к значительным изме- нениям в понимании и осуществлении политики региональной безопасности. Ключевая трансформация, произошедшая в усло- виях кризисов, заключается в постепенном переходе от модели «позитивной» к модели «негативной» безопасности. Иными словами, до 2014 г. ключевые вызовы, риски и угрозы в аркти- ческом регионе ...
Добавлено: 2 февраля 2026 г.
Канаев Е. А., Луконин С. А., Куприянов А. В. и др., В кн.: Россия и мир: 2026. Экономика и внешняя политика. Ежегодный прогноз.: М.: ИМЭМО РАН, 2025. С. 177–196.
В главе дается прогноз развития Индо-Тихоокеанской Азии на 2026 год. ...
Добавлено: 30 января 2026 г.
Доклад «Россия и мир: 2026» – двадцать четвертый в серии ежегодных публикаций ИМЭМО РАН. Доклад состоит из трех частей: глобальные тренды, экономика и внешняя политика. Главное внимание сфокусировано на проблемах, имеющих ключевое значение для обеспечения стабильного экономического и политического развития России на ближайшую (2026 г.) и более отдаленную перспективу. В подготовке доклада использован многолетний опыт ...
Добавлено: 30 января 2026 г.