Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2022, том 34, выпуск 2  


An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
V. A. Agafonov, P. V. Frolov, A. N. Meshkov
7–16
An algorithm of test generation from functional specification using Open IE model and clustering
K. S. Kobyshev, S. A. Molodyakov
17–24
Поиск ошибок в бинарном коде методами динамической символьной интерпретации
А. В. Вишняков, И. А. Кобрин, А. Н. Федотов
25–42
Design patterns for a knowledge-driven analytical platform
V. S. Zayakin, L. N. Lyadova, E. A. Rabchevskiy
43–56
Actor-oriented approach for business-process management of analytical system development
T. M. Pribylev, M. N. Zaytsev, O. L. Vikenteva
57–66
Architecture of a software system for designing robust business processes
K. V. Samoylova, E. B. Zamyatina
67–76
Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок
Ф. В. Краснов, И. С. Смазневич, Е. Н. Баскакова
77–88
Функции потерь для обучения моделей сегментации изображений документов
А. И. Перминов, Д. Ю. Турдаков, О. В. Беляева
89–110
Система управления заданиями автоматизированного сбора данных из сети Интернет
В. А. Лазарев, М. И. Варламов, А. К. Яцков
111–122
Automated object storage management approach with operator SDK and custom resource definition
K. M. Stonozhenko, I. V. Nikiforov, S. M. Ustinov
123–134
Wi-Fi sensing Human Detection with Kolmogorov-Wiener Filter and Gated Recurrent Neural Networks
P. P. Shibaev, A. A. Chupakhin
135–144
Автоматизация процесса экологического мониторинга в особо охраняемых природных территориях Российской Федерации на базе системы управления контентом Directum RX
И. Д. Рудько, Л. Л. Хорошко, П. П. Кейно
145–158
Реализация функций управления задачами и ресурсами высокопроизводительной вычислительной системы в "СПО Супер-ЭВМ"
А. О. Игнатьев, А. А. Калинин, С. Ю. Мокшин
159–178
A web application to promote blood donation in Russia
P. A. Smirnov, V. V. Malinovskaya, N. V. Voinov
179–190
Модификация метода расчета полигенных рисков с использованием графа вариации
О. А. Кондратьева, Е. А. Карпулевич
191–200
Approach to displaying data to users of telemedicine systems for early detection of diseases by ECG
A. A. Busenkov, E. A. Kholodov, R. S. Novikov, B. A. Pozin
201–208
Труды института системного программирования РАН
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025