• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • A Rewriting Framework and Logic for Activities Subject to Regulations
  • 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
  • еще
Тематика
Новости
11 июня 2026 г.
Время жизни популяций определяется законами математики
Исследователи НИУ ВШЭ и МГУ доказали универсальный закон, описывающий время исчезновения популяций в случайной среде. Анализ эволюции ветвящихся процессов — сложных вероятностных систем — показал, что вне зависимости от изначального числа особей процесс вымирания подчиняется строгим математическим закономерностям. Результаты опубликованы в Journal of Applied Probability.
8 июня 2026 г.
«За 12 лет на нашем счету почти 1000 операций с пробуждением»
В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.
5 июня 2026 г.
Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона
Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

 

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

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

?

A Rewriting Framework and Logic for Activities Subject to Regulations

Mathematical Structures in Computer Science. 2015.
Канович М. И., Щедров А., Nigam V., Talcott C., Kirigin T. B., Perovic R.
Приоритетные направления: компьютерно-математическое
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: cyber security
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Разработка моделей, методов и алгоритмов для разработки и анализа интеллектуальных систем (2015)
Похожие публикации
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.
Добавлено: 20 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning
Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.
Добавлено: 21 ноября 2025 г.
Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Analogical reasoning in uncovering the meaning of digital-technology terms: the case of backdoor
Скрынникова И. В., Journal of Computer-Assisted Linguistic Research 2020 Vol. 4 P. 23–46
Добавлено: 14 августа 2025 г.
The Digital Economy, Cyber Security and Russian Criminal Law
Денисова А. В., Бортников С. П., , in: Current Achievements, Challenges and Digital Chances of Knowledge Based Economy.: Springer, 2021. P. 851–856.
Добавлено: 31 октября 2022 г.
Оценка киберрисков в проектах интернета вещей
Grishunin Sergei V., Пищалкина И. И., Сулоева С. Б., Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Экономические науки 2021 Т. 14 № 6 С. 102–116
Интернет вещей (IoT) открывает широкие возможности для инноваций, начиная от промышленных предприятий до здравоохранения и потребителей. Однако развитие проектов Интернета вещей создает значительные риски для разработчиков и пользователей. Количество и частота IoT-атак увеличивается и наблюдается рост прямого и косвенного ущерба. Так одно зараженное устройство может открыть для атаки всю экосистему компании с потенциальными сбоями: от ...
Добавлено: 22 июня 2022 г.
A Hybrid Machine Learning Framework for E-commerce Fraud Detection
Festa, Yury Y., Vorobyev, Ivan A., Model Assisted Statistics and Applications 2022 Vol. 17 No. 1 P. 41–49
Добавлено: 13 апреля 2022 г.
Insurers’ responses to cyber crime: Evidence from Russia
Тимофеев Ю. В., Дремова О. В., International Journal of Law, Crime and Justice 2022 Vol. 68 Article 100520
Добавлено: 19 ноября 2021 г.
The Challenges of Using Big Data in the Consumer Credit Sector
Романюк К. А., , in: Intelligent Computing: Proceedings of the 2021 Computing ConferenceVol. 2.: Springer, 2021. P. 221–231.
Добавлено: 27 октября 2021 г.
Examining private sector strategies for preventing insurance fraud
Тимофеев Ю. В., Skidmore M., , in: The Handbook of Security, 3rd ed.: Palgrave Macmillan, 2022. Ch. 12 P. 239–260.
Добавлено: 24 апреля 2021 г.
2020 12th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)
IEEE, 2020.
Добавлено: 22 октября 2020 г.
“Comment vraiment paralyser un pays à l’aide du cyber”
Филиол Э. А., Les Cahiers de la Revue de Défense Nationale "Penser autrement" 2015 P. 103–110
Добавлено: 15 мая 2020 г.
Developing a Cybersecurity Risk Analysis System for High-Tech Equipment in Machine Industry
Гришунин С. В., Сулоева С. Б., Бурова Е. Е., , in: SPBPU IDE '19: Proceedings of the 2019 International SPBPU Scientific Conference on Innovations in Digital Economy.: NY, United States of America: Association for Computing Machinery (ACM), 2019. Ch. 21 P. 1–6.
Добавлено: 25 марта 2020 г.
The 13th IEEE International Conference on Application of Information and Communication Technologies (AICT2019): / Conference Proceedings
Baku: The Institute of Electrical and Electronics Engineering, Inc., 2019.
Добавлено: 18 декабря 2019 г.
Development of the Mechanism of Assessing Cyber Risks in the Internet of Things Projects
Гришунин С. В., Suloeva S., Егорова А. А. и др., , in: Internet of Things, Smart Spaces, and Next Generation Networks and Systems. 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, ProceedingsIssue 11660.: Switzerland: Springer, 2019. P. 481–494.
Добавлено: 26 октября 2019 г.
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019)
IEEE Computer Society, 2019.
EWDTS-2019 исследует новые тенденции в тестировании, диагностике, ремонте микроэлектронных систем, а также кибербезопасности, автомобилестроении, IoT, искусственном интеллекте. ...
Добавлено: 15 октября 2019 г.
Возможности и перспективы развития приложений родительского контроля как средства обеспечения безопасности детей и подростков в сети Интернет
Денисов Д. В., Прикладная информатика 2019 Т. 14 № 2 С. 89–104
В данной статье рассматриваются вопросы повышения безопасности пользователей сети Интернет юного возраста за счет применения приложений родительского контроля, ограничивающих доступ к нежелательному контенту, а также ограничивающих время пользования устройством или работы конкретных приложений. Проводится сравнительный анализ соответствующих программных средств, определяются рекомендации по их выбору и перспективы развития. ...
Добавлено: 25 сентября 2019 г.
The IEEE 12th International Conference on Application of Information and Communication Technologies / AICT 2018: Conference Proceedings
Almaty: Institute of Electrical and Electronics Engineers Inc., 2018.
Добавлено: 18 января 2019 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору