1. 2021
  2. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction

    Старчак, М. Р., 20 дек 2021, в: Vestnik St. Petersburg University: Mathematics. 54, 4, стр. 372–380 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Visualization Social Graph for Identification Multistep Social Engineering Attack, Version 01 for Python (VSG_MSEA_py.v.01)

    Хлобыстова, А. О., Абрамов, М. В., Тулупьев, А. Л. & Костенников, Д. В., 17 дек 2021, Патент № 2020666931, 17 дек 2020

    Результаты исследований: Патентование и регистрация прав на ИСсвидетельство о регистрации

  4. Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis

    Ловягин, Н. Ю. & Ловягин, Ю. Н., дек 2021, в: Axioms. 10, 4, 263.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Нейронные сети, меняющие конфигурацию

    Косовская, Т. М., дек 2021, стр. 126 - 127. 2 стр.

    Результаты исследований: Материалы конференцийтезисыРецензирование

  6. Predicting changes in the state of an industrial facility using machine learning methods

    Balagurin, P. S., Grigorieva, A. V. & Kulagin, M., 15 ноя 2021, Proceedings of the III International Conference on Advanced Technologies in Materials Science, Mechanical and Automation Engineering, MIP: Engineering-III 2021. Kovalev, I. V., Stupina, A. A. & Voroshilova, A. A. (ред.). American Institute of Physics, 5 стр. 040031. (AIP Conference Proceedings; том 2402).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  7. Идентификация аккаунтов пользователей социальных сетей при помощи сравнения графического контента

    Корепанова, А. А., Абрамов, М. В. & Тулупьев, А. Л., ноя 2021, в: Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 21, 6, стр. 942-950

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Social Media Analyzer for Social Engineering Attacks Modeling Version 01 (SMA for SEA v.01)

    Иванов, К. А., Тулупьев, А. Л., Абрамов, М. В. & Олисеенко, В. Д., 31 окт 2021, Патент № 2021667542, 31 окт 2021, Дата приоритета 31 окт 2021, № приоритета 2021667123

    Результаты исследований: Патентование и регистрация прав на ИСсвидетельство о регистрации

  9. Автоматизация проверки непротиворечивости идеалов конъюнктов с оценками вероятности истинности

    Вяткин, А. А. & Тулупьев, А. Л., 27 окт 2021, Информационная безопасность регионов России (ИБРР-2021). XII Санкт-Петербургская межрегиональная конференция. Санкт-Петербург, 27-29 октября 2021 г. : Материалы конференции. СПб.: Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления, стр. 330-332

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийтезисы в сборнике материалов конференцииРецензирование

  10. Проверка непротиворечивости альтернативных моделей фрагментов знаний с неопределенностью

    Владимирова, Э. В., Стельмах, Т. Д., Ельцов, Д. А., Вяткин, А. А., Абрамов, М. В. & Тулупьев, А. Л., 27 окт 2021, Региональная информатика и информационная безопасность. : Сборник трудов. Выпуск 10. СПб.: Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления, стр. 308-311

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  11. A human support system in a smart home environment

    Соловьев, И. П. & Небогатиков, И. Ю., 21 окт 2021, стр. 38-42. 5 стр.

    Результаты исследований: Материалы конференцийматериалыРецензирование

ID: 30313