111 - 120 out of 625Page size: 10
  1. 2021

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

    Старчак, М. Р., 20 Dec 2021, In: Vestnik St. Petersburg University: Mathematics. 54, 4, p. 372–380 9 p.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Patenting and IP registration › Certificate of registration

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

    Ловягин, Н. Ю. & Ловягин, Ю. Н., Dec 2021, In: Axioms. 10, 4, 263.

    Research output: Contribution to journal › Article › peer-review

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

    Косовская, Т. М., Dec 2021, p. 126 - 127. 2 p.

    Research output: Contribution to conference › Abstract › peer-review

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

    Balagurin, P. S., Grigorieva, A. V. & Kulagin, M., 15 Nov 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. (eds.). American Institute of Physics, 5 p. 040031. (AIP Conference Proceedings; vol. 2402).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

    Иванов, К. А., Тулупьев, А. Л., Абрамов, М. В. & Олисеенко, В. Д., 31 Oct 2021, Patent No. 2021667542, 31 Oct 2021, Priority date 31 Oct 2021, Priority No. 2021667123

    Research output: Patenting and IP registration › Certificate of registration

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. A human support system in a smart home environment

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

    Research output: Contribution to conference › Paper › peer-review

Previous 1...8 9 10 11 12 13 14 15 ...63 Next

ID: 30313