Last Arrivals

Documents found: 168 094

Description Arrival Date
101 12/26/2025
102
Шкодырев, Вячеслав Петрович. Применение машинного обучения для гибридной верификации надежности программного обеспечения промышленных киберфизических распределенных систем = Application of machine learning for hybrid verification reliability of software industrial cyber-physical distributed systems / В. П. Шкодырев, Д. Е. Баскаков; Санкт-Петербургский политехнический университет Петра Великого, ООО «Газинформсервис». — 1 файл (258 Кб). — DOI 10.18720/SPBPU/2/id25-560. — Текст: электронный // Промышленный искусственный интеллект (ПИИ'2025): Всероссийская научно-практическая конференция с международным участием 3–4 июля 2025 года: cборник научных трудов / Российская академия наук, Санкт-Петербургское отделение, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербургский государственный университет; под общей редакцией Д. Г. Арсеньева. – Санкт-Петербург, 2025. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/id25-560.pdf>.
12/26/2025
103 12/26/2025
104 12/26/2025
105 12/26/2025
106
Васильев, Олег Сергеевич. Применение модели доверия для повышения защищенности распределенного реестра в информационных системах умного города = Applying a trust model for increasing the distributed ledger security in informationsystems of smart city / О. С. Васильев, В. М. Крундышев; Санкт-Петербургский политехнический университет Петра Великого. — 1 файл (532 Кб). — DOI 10.18720/SPBPU/2/id25-558. — Текст: электронный // Промышленный искусственный интеллект (ПИИ'2025): Всероссийская научно-практическая конференция с международным участием 3–4 июля 2025 года: cборник научных трудов / Российская академия наук, Санкт-Петербургское отделение, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербургский государственный университет; под общей редакцией Д. Г. Арсеньева. – Санкт-Петербург, 2025. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/id25-558.pdf>.
12/26/2025
107 12/26/2025
108
Подоров, Андрей Алексеевич. Применение временной логики при верификации процессов обработки и хранения больших данных = Using of temporal logic in the processes of big data processing and storing verifying / А. А. Подоров, М. А. Полтавцева; Санкт-Петербургский политехнический университет Петра Великого. — 1 файл (217 Кб). — DOI 10.18720/SPBPU/2/id25-557. — Текст: электронный // Промышленный искусственный интеллект (ПИИ'2025): Всероссийская научно-практическая конференция с международным участием 3–4 июля 2025 года: cборник научных трудов / Российская академия наук, Санкт-Петербургское отделение, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербургский государственный университет; под общей редакцией Д. Г. Арсеньева. – Санкт-Петербург, 2025. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/id25-557.pdf>.
12/26/2025
109 12/26/2025
110
Охлопков, Никита Михайлович. Обеспечение целостности глобальной модели федеративного машинного обучения в крупных промышленных интеллектуальных системах с использованием технологии блокчейн = Providing the integrity of the global federated machine learning model in large industrial intellectual systems using blockchain technology / Н. М. Охлопков, М. О. Калинин; Санкт-Петербургский политехнический университет Петра Великого. — 1 файл (388 Кб). — DOI 10.18720/SPBPU/2/id25-556. — Текст: электронный // Промышленный искусственный интеллект (ПИИ'2025): Всероссийская научно-практическая конференция с международным участием 3–4 июля 2025 года: cборник научных трудов / Российская академия наук, Санкт-Петербургское отделение, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербургский государственный университет; под общей редакцией Д. Г. Арсеньева. – Санкт-Петербург, 2025. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/id25-556.pdf>.
12/26/2025