1. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  2. Атопический дерматит: проблема приверженности к эмолентам

    Korotchenko, A. K., Boyarova, D. E., Gorislavskaya, T. A., Ivanov, E. V. & Sergeeva, I. G., 2025, In: Klinicheskaya Dermatologiya i Venerologiya. 24, 5, p. 698-707 10 p.

    Research output: Contribution to journalArticlepeer-review

  3. Байесовское моделирование времени формирования кургана 7 могильника Тартас-2

    Пархомчук, Е. В., Меньшанов, П. Н., Молодин, В. И., Ненахов, Д. А. & Мыльникова, Л. Н., 2025, In: Проблемы археологии, этнографии, антропологии Сибири и сопредельных территорий. 31, p. 763-769

    Research output: Contribution to journalArticlepeer-review

  4. БЛОЧНЫЙ СТРУКТУРИРОВАННЫЙ КАТАЛИТИЧЕСКИ АКТИВНЫЙ МАТЕРИАЛ И СПОСОБ ЕГО ПОЛУЧЕНИЯ

    Лысиков, А. И., Шаманаева, И. А., Воробьева, Е. Е., Лузина, Е. В., Брагина, А. А., Полухин, А. В., Вдовиченко, В. А., Машков, Н. И., Окунев, А. Г. & Пархомчук, Е. В., 27 Dec 2023, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2810579, 5 Apr 2023, Priority date 5 Apr 2023, Priority No. 2023108544

    Research output: PatentPatent for invention

  5. Интеллектуальная вопросно-ответная система на основе интеграции генеративной нейросетевой модели языка и неструктурированной базы знаний

    Бондаренко, И., Дерунец, Р. А., Тикунов, Ф. В., Кулаков, М. Я., Мясникова, М. А., Бобровский, А. К., Прокопенко, В. А. & Ропперт, Е. И., 21 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025611584, 23 Dec 2024, Priority date 23 Dec 2024, Priority No. 2024693113

    Research output: PatentSoftware registration

  6. Исследование трехчастичного резонанса Фёрстера для различных пространственных конфигураций трех взаимодействующих ридберговских атомов рубидия

    Рябцев, И. И., Ашкарин, И. Н., Бетеров, И. И., Якшина, Е. А., Третьяков, Д. Б., Энтин, В. М. & Шене, П., 2025, In: Журнал экспериментальной и теоретической физики. 168, 1, p. 14-25

    Research output: Contribution to journalArticlepeer-review

  7. Крепёжное устройство цифровой камеры для анализа изображения объекта при помощи искусственного интеллекта

    Окунев, А. Г., Козулин, И. А., Пауль, С. А. & Харченко, Р. В., 24 Oct 2024, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 229736, 1 Aug 2024, Priority date 1 Aug 2024, Priority No. 2024121916

    Research output: PatentPatent for utility model

ID: 41345111