• 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
  • еще
Тематика
Новости
23 октября 2026 г.
В НИУ ВШЭ впервые прошла конференция на стыке стохастики, ИИ и финансовой математики
В середине октября в Высшей школе экономики состоялась первая научная конференция «Стохастика, искусственный интеллект и финансовая математика» (SAIMF 26). Исследователи Вышки, ведущие математики и специалисты финансового сектора обсудили фундаментальные математические задачи, современные методы искусственного интеллекта и их применение в финансах.
21 октября 2026 г.
Ученые НИУ ВШЭ систематизировали методы защиты изображений
Исследователи МИЭМ ВШЭ проанализировали схемы полухрупких цифровых водяных знаков для изображений, опубликованные за последние десять лет. Такие водяные знаки сохраняются при обычном сжатии или изменении яркости, но выдают подделку, если в снимок добавили объект или заменили лицо. Авторы предложили классификацию этих схем и выделили главные нерешенные проблемы. Результаты опубликованы в журнале Computer Science Review.
20 октября 2026 г.
«Наши работы можно назвать исследованиями на переднем крае науки»
Международная лаборатория кластерной геометрии, действующая на факультете математики НИУ ВШЭ, занимается формированием новой научной дисциплины, соединяющей в себе знания из различных областей математики. Выполненные в ней работы вызывают большой интерес, в том числе у зарубежных коллег. Лаборатория изучает семейства кривых и разрабатывает методы, применяемые в исследованиях физического микромира. Новостная служба «Вышка.Главное» побеседовала с заведующим лабораторией профессором Сергеем Ландо.

 

Нашли опечатку?
Выделите её, нажмите 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)
Похожие публикации
A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.
Добавлено: 30 июля 2026 г.
Growth in noncommutative algebras and entropy in derived categories
Пионтковский Д. И., / Series arXiv "math". 2026.
Добавлено: 23 июня 2026 г.
Multilinear nilalgebras and the Jacobian theorem
Пионтковский Д. И., / Series arXiv "math". 2025.
Добавлено: 23 июня 2026 г.
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 г.
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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору