| Выпуск | Название | |
| Том 36, № 4 (2024) | Интеллектуальные алгоритмы обнаружения атак в веб-среде | Аннотация PDF (Eng) |
| Мария Анатольевна ЛАПИНА, Виталия Валентиновна МОВЗАЛЕВСКАЯ, Марина Евгеньевна ТОКМАКОВА, Михаил Григорьевич БАБЕНКО, Виктор Павлович КОЧИН | ||
| Том 33, № 1 (2021) | Интеллектуальный метод автоматического отслеживания объектов путем интеграции лазерного сканирования и инерциальной навигации | Аннотация PDF (Rus) |
| Хулио Сезар РОДРИГЕС-КИНЬОНЕС | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация PDF (Eng) |
| И. А. Адамович, Анд. В. Климов | ||
| Том 31, № 2 (2019) | Интернет вещей для оценки поведения крупного рогатого скота при поиске корма и кормлении в пастбищных системах земледелия: концепции и обзор сенсорных технологий | Аннотация PDF (Eng) |
| Годофредо Рамон Гарай Альварес, Хосе Альберто Бертоm Вальдес, Карина Перес-Теруэль | ||
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) |
| В. С. Мутилин, М. У. Мандрыкин | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) |
| Е. М. Лаврищева, А. К. Петренко | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| Том 32, № 4 (2020) | Использование Big Data в международном бизнесе | Аннотация PDF (Rus) |
| Константин Анатольевич АЛЕКСЕЕВ | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) |
| Р. Р. Мулюков, А. Е. Бородин | ||
| Том 32, № 4 (2020) | Использование аппарата свёрточных нейронных сетей для стегоанализа цифровых изображений | Аннотация PDF (Rus) |
| Александр Александрович ПОЛУНИН, Элина Андреевна ЯНДАШЕВСКАЯ | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) |
| Д. В. Силаков | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) |
| Е. М. Новиков, А. В. Хорошилов | ||
| Том 33, № 5 (2021) | Использование библиотеки функционального программирования для решения численных задач на графических ускорителях с технологией CUDA | Аннотация PDF (Eng) |
| Михаил Михайлович КРАСНОВ, Ольга Борисовна ФЕОДОРИТОВА | ||
| Том 36, № 3 (2024) | Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы | Аннотация PDF (Rus) |
| Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ | ||
| Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) |
| Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация PDF (Eng) |
| Павел Андреевич Путро | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| Том 32, № 3 (2020) | Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор | Аннотация PDF (Rus) |
| Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) |
| В. Н. Игнатьев | ||
| Том 35, № 5 (2023) | Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания | Аннотация PDF (Rus) |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) |
| М. С. Акопян | ||
| Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация PDF (Eng) |
| К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
| Том 35, № 6 (2023) | Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов | Аннотация PDF (Rus) |
| Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ | ||
| Том 20 (2011) | Использование префиксного дерева для хранения и поиска строк во внешней памяти | Аннотация PDF (Rus) |
| И. С. Таранов | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) |
| Е. А. Карпулевич | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) |
| А. В. Цыварев, А. В. Хорошилов | ||
| Том 32, № 4 (2020) | Использование синтетических данных для тонкой настройки моделей сегментации документов | Аннотация PDF (Rus) |
| Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ | ||
| Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) |
| Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| Том 37, № 1 (2025) | Использование технологий искусственного интеллекта для проведения психологического тестирования | Аннотация PDF (Rus) |
| Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН | ||
| Том 35, № 6 (2023) | Использование цифровых методов для выделения структурно-территориальных единиц центрально-южного диалекта удмуртского языка на основе анализа полевых записей | Аннотация PDF (Rus) |
| Александра Филипповна УТКИНА | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) |
| Е. В. Корныхин, А. В. Хорошилов | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация PDF (Eng) |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| Том 26, № 5 (2014) | Исследование влияния длины улиц на течение воздуха в них | Аннотация PDF (Rus) |
| М. В. Волик | ||
| Том 28, № 2 (2016) | Исследование влияния использования параллелизма на производительность движка косимуляции в проекте INTO-CPS | Аннотация PDF (Eng) |
| С. Тул, П. Г. Ларсен | ||
| Том 31, № 6 (2019) | Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик | Аннотация PDF (Rus) |
| Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин | ||
| 274 - 312 из 1237 результатов | << < 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 32 > >> | |
Список названий
Популярные статьи
Том 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
