| Выпуск | Название | |
| Том 34, № 1 (2022) | Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус | Аннотация PDF (Rus) |
| Александр Викторович СУРЧЕНКО | ||
| Том 37, № 2: март-апрель | Исследование распространения примеси в среде в одной прикладной осесимметричной задаче | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Игорь Олегович ТЕПЛЯКОВ, Дмитрий Андреевич ВИНОГРАДОВ | ||
| Том 26, № 5 (2014) | Исследование режимов виброкипящего гранулированного слоя с использованием пакета OpenFOAM | Аннотация PDF (Rus) |
| Н. С. Орлова, Я. Н. Качалкина | ||
| Том 36, № 1 (2024) | Исследование роли ботов в разработке программного обеспечения | Аннотация PDF (Eng) |
| Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) |
| Алексей Вадимович ВИШНЯКОВ | ||
| Том 35, № 2 (2023) | Исследование состязательных атак на нейронные сети распознавания образов | Аннотация PDF (Eng) |
| Денис Владимирович КОТЛЯРОВ, Глеб Дмитриевич ДЮДЮН, Наталья Витальевна РЖЕВСКАЯ, Мария Анатольевна ЛАПИНА, Михаил Григорьевич БАБЕНКО | ||
| Том 37, № 3: май-июнь | Исследование специальных наборов модулей системы остаточных классов | Аннотация PDF (Rus) |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Дмитриевич КРАВЦОВ, Дмитрий Евгеньевич ГОРЛАЧЕВ, Никита Михайлович МИРНЫЙ | ||
| Том 36, № 2 (2024) | Исследование структурно незавершённых высказываний в речи советской и российской молодёжи | Аннотация PDF (Rus) |
| Александр Александрович ЧУЕВ | ||
| Том 32, № 2 (2020) | Исследование технологии RISC-V | Аннотация PDF (Rus) |
| Владимир Александрович ФРОЛОВ, Владимир Александрович ГАЛАКТИОНОВ, Вадим Владимирович САНЖАРОВ | ||
| Том 31, № 6 (2019) | Исследование условий возникновения эолова микрорельефа | Аннотация PDF (Rus) |
| Елена Александровна Малиновская | ||
| Том 36, № 2 (2024) | Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов | Аннотация PDF (Rus) |
| Евгений Александрович МИХАЙЛОВ, Антон Александрович ТАРАНЮК, Анастасия Павловна СТЕПАНОВА | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Исследование эффективности планировщиков протокола MPQUIC в зависимости от алгоритмов контроля перегрузки | Аннотация PDF (Rus) |
| Максим Владимирович ПОПОВ, Иван Александрович СТЕПАНОВ, Александр Игоревич ГЕТЬМАН | ||
| Том 30, № 6 (2018) | Исследовательский поиск научных статей | Аннотация PDF (Rus) |
| Я. Р. Недумов, С. Д. Кузнецов | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Итеративное обучение со слабым контролем с уточнением функций разметки на основе больших языковых моделей | Аннотация PDF (Rus) |
| Артур Дмитриевич СОСНОВИКОВ, Антон Дмитриевич ЗЕМЕРОВ, Денис Юрьевич ТУРДАКОВ | ||
| Том 35, № 3 (2023) | К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений | Аннотация PDF (Rus) |
| Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ | ||
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) |
| Александр Твардовский | ||
| Том 36, № 4 (2024) | К моделированию задачи осаждения твердой частицы в вязкой несжимаемой жидкости методом гидродинамики сглаженных частиц (SPH) | Аннотация PDF (Rus) |
| Игорь Иванович ПОТАПОВ, Ольга Владимировна РЕШЕТНИКОВА | ||
| Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) |
| Ю. Л. Словохотов, И. С. Неретин | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация PDF (Eng) |
| Е. М. Винарский, В. А. Захаров | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) |
| А. С. Твардовский, Н. В. Евтушенко | ||
| Том 30, № 4 (2018) | К формальной верификации стандартов кибербезопасности | Аннотация PDF (Eng) |
| Томаш Кулик, Питер Горм Ларсен | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация PDF (Eng) |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| Том 37, № 2: март-апрель | Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? | Аннотация PDF (Eng) |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| Том 33, № 4 (2021) | Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента | Аннотация PDF (Rus) |
| Дарья Игоревна РОМАНОВА | ||
| Том 33, № 1 (2021) | Качество обслуживания в программно-определяемых сетях для научных приложений: возможности и проблемы | Аннотация PDF (Rus) |
| Хосе Элено ЛОСАНО-РИCК, Рауль РИВЕРА-РОДРИГЕС, Хуан Иван НЬЕТО-ИПОЛИТО, Сальвадор ВИЛЛАРРЕАЛЬ-РЕЙС, Алехандро ГАЛАВИС-МОСКЕДА, Мабель ВАСКЕС-БРИСЕНО | ||
| Том 33, № 2 (2021) | Классификатор изображений транспортных средств для определения корреляции их воздействия со смещением координат моста | Аннотация PDF (Rus) PDF (Rus) |
| Венди ФЛОРЕС-ФУЭНТЕС | ||
| Том 33, № 3 (2021) | Классификация HTTP-запросов к серверу в задаче автоматического обхода современных веб-приложений | Аннотация PDF (Eng) |
| Анна Вадимовна ЛАПКИНА, Андрей Александрович ПЕТУХОВ | ||
| Том 28, № 6 (2016) | Классификация ROP гаджетов | Аннотация PDF (Rus) |
| А. В. Вишняков | ||
| Том 33, № 2 (2021) | Классификация депрессивных эпизодов на основе ночных измерений: многомерный и одномерный анализ данных | Аннотация PDF (Rus) |
| Джульета Г. РОДРИГЕС-РУИЗ, Карлос Эрик ГАЛЬВАН-ТЕХАДА, Содель ВАСКЕС-РЕЙЕС, Хорхе Иссак ГАЛЬВАН-ТЕХАДА, Хамурапи ГАМБОА-РОСАЛЕС | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация PDF (Eng) |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| Том 27, № 3 (2015) | Классификация процедур для выбора стратегии оптимизации | Аннотация PDF (Rus) |
| Ольга Четверина | ||
| Том 35, № 6 (2023) | Классификация текста растрового документа по признаку начертания | Аннотация PDF (Rus) |
| Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ | ||
| Том 37, № 5: сентябрь-октябрь | Кластеризация услуг распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений | Аннотация PDF (Rus) |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО | ||
| Том 28, № 5 (2016) | Когда защита стека в компиляторах не срабатывает? | Аннотация PDF (Eng) |
| Павел Довгалюк, Владимир Макаров | ||
| Том 36, № 1 (2024) | Количественные и качественные подходы к изучению уровня вовлеченности пользователей Facebook* | Аннотация PDF (Eng) |
| Паола Эльвира ВЕЛАСКЕС-СОЛИС, Хорхе Едуардо ИБАРРА-ЭСКЕР, Мария Анжелика АСТОРГА-ВАРГАС, Бренда Летиция ФЛОРЕС-РИОС, Моника КАРИЙО-БЕЛЬТРАН, Иван Антонио ГАРСИЯ ПАЧЕКО | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) |
| В. В. Кулямин | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) |
| В. О. Мордань | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация PDF (Eng) |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| Том 37, № 4: часть 2. июль-август | Комбинирование логических рассуждений и LLM на пути к созданию мультиагентных систем умного дома | Аннотация PDF (Eng) |
| Людмила Александровна РЕЗУНИК, Михаил Алексеевич ПРОЗОРСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) |
| А. А. Алексеев, Н. В. Лукашевич | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) |
| А. Ю. Тихонов, А. И. Аветисян | ||
| Том 31, № 5 (2019) | Компиляция модели памяти OCaml в Power | Аннотация PDF (Rus) |
| Егор Сергеевич Намаконов, Антон Викторович Подкопаев | ||
| 361 - 405 из 1333 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 > >> | |
Список названий
Популярные статьи
Том 31, № 3 (2019)
Том 28, № 1 (2016)
Том 30, № 5 (2018)
Том 31, № 1 (2019)
Том 30, № 5 (2018)
Облако тегов
LLVM
OpenFOAM
QEMU
большие данные
верификация
динамический анализ
информационная безопасность
математическое моделирование
машинное обучение
моделирование
нейронные сети
облачные вычисления
обработка естественного языка
операционная система
параллельные вычисления
символьное выполнение
статический анализ
тестирование
фаззинг
формальные методы
численное моделирование
Уведомления
109004, Москва, ул. Александра Солженицына, 25
ИСП РАН
тел.: +7-495-912-44-25
e-mail: proceedings@ispras.ru
