• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • On Security Analysis of Periodic Systems: Expressiveness and Complexity.
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
20 мая 2026 г.
«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи
Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.
20 мая 2026 г.
Творческая работа как лекарство от выгорания
Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.
19 мая 2026 г.
Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря
В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

P. 43–54.
AlTurki M. A., Kirigin T. B., Канович М. И., Nigam V., Scedrov A., Talcott C.
Язык: английский
DOI
Ключевые слова: verificationcomputer securityformal methods in computer science Industry 4.0,

В книге

Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021
SciTePress, 2021.
Похожие публикации
Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
2025 International Russian Smart Industry Conference (SmartIndustryCon)
Sochi: IEEE, 2025.
Добавлено: 10 мая 2025 г.
Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track. European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X. LNCS, volume 14950
Cham: Springer, 2024.
Добавлено: 22 ноября 2024 г.
Hardware-Software Complex for Prototyping NoCs Using a Few FPGA Chips
Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
Добавлено: 13 июня 2024 г.
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Добавлено: 9 октября 2023 г.
Индустрия 4.0: конкуренция за актуальность
Юдина М. А., Государственное управление. Электронный вестник 2020 № 80 С. 282–299
В настоящее время мир переживает переходный период между промышленными революциями. Происходит комплексное обновление социальных и технологических систем. Инновации Индустрии 4.0 называют «подрывными», они - инструмент радикальных преобразований. Активизируется «конкуренция за актуальность», борьба за соответствие требованиям новой эпохи выходит из бизнеса на уровень государств. В статье это противостояние анализируется на примерах четырех стран: ФРГ, США, Сингапура ...
Добавлено: 27 апреля 2023 г.
Индустрия 4.0: поражение работы или победа творческого труда?
Юдина М. А., Квачев В. Г., Государственное управление. Электронный вестник 2017 № 64 С. 140–158
Статья посвящена радикальным изменениям в характере труда и занятости населения в связи с наступающей четвертой промышленной революцией. Капитализм претерпевает серьезные изменения, включая его ключевые категории: труд, стоимость, капитал. Компании стремятся заменить переменный капитал основным, поэтому доля человеческого труда в капитализации резко падает. Растущее распространение Интернета вещей и сопутствующих технологий тотальной автоматизации способствует тому, что новая ...
Добавлено: 18 апреля 2023 г.
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties
Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.
Добавлено: 20 сентября 2022 г.
Глобальные рынки передового производства — новая возможность для технологического обновления России
Симачев Ю. В., Федюнина А. А., Городный Н. А., Журнал Новой экономической ассоциации 2022 Т. 53 № 1 С. 202–212
Новые технологии, в том числе технологии Индустрии 4.0, кардинально меняют традиционные и высокотехнологичные отрасли, формируют внутри промышленного комплекса сектор передо- вых производств (ПП). Россия до сих пор характеризовалась скромным присутствием на мировых рынках ПП — менее 0,6% по отдельным рынкам и не более 0,4% по совокупности. Отчасти это связано, в целом, со скудностью товарного разнообразия ...
Добавлено: 22 марта 2022 г.
Information Systems and Design. Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers
Springer, 2022.
Добавлено: 16 февраля 2022 г.
Цифровой регион: опыт, компетенции, проекты: сборник статей IV Международной научно-практической конференции, приуроченной к Году науки и технологий в России (г. Брянск, 25 ноября 2021 г.)
Брянск: Брянский государственный инженерно-технологический университет, 2021.
В рамках настоящей научной работы автор рассматривает основные аспекты статистического анализа и мониторинга технологий искусственного интеллекта. Автор анализируется искусственный интеллект как объект статистического учета, рассматривает основные измеримые показатели и виды статистической информации в сфере искусственного интеллекта. Автор дает рекомендации по совершенствованию сбора и анализа данных о развитии технологий искусственного интеллекта. ...
Добавлено: 26 января 2022 г.
Цифровые двойники: концепция и области применения. Digital Twins: Concept and Applications
Серова Е. Г., Сумятина В. О., В кн.: Робототехника и искусственный интеллект.: Красноярск: ЛИТЕРА-принт, 2021. С. 91–97.
Цифровая трансформация повышает конкурентоспособность предприятий, способствует развитию интеллектуальных технологий и систем, формированию инновационных бизнес-моделей. Одной из современных концепций этого направления является концепция цифровых двойников. Статья посвящена литературному обзору, основанному на библиометрическом анализе с помощью программного обеспечения VOSviewer, и фокусируется на теме цифровых двойников. Цель исследования – изучить и проанализировать динамику интереса в академической среде к ...
Добавлено: 28 декабря 2021 г.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021)
Евтушенко Н. В., Burdonov I., Kossachev A. и др., SCITEPRESS – Science and Technology Publications, 2021.
Добавлено: 25 октября 2021 г.
Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021
SciTePress, 2021.
Добавлено: 18 октября 2021 г.
. Resource and timing aspects of security protocols.
Urquiza A. A., AlTurki M. A., Kirigin T. B. и др., , in: Journal of Computer SecurityVol. 25. Issue 6.: Amsterdam: IOS Press, 2017. Ch. 29(3) P. 299–340.
Добавлено: 18 октября 2021 г.
Demystifying Blockchain Technology for Resource-Constrained IoT Devices: Parameters, Challenges and Future Perspective
Romashkova I., Комаров М. М., Ometov A., IEEE Access 2021 No. 9 P. 129264–129277
Добавлено: 26 сентября 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору