| Выпуск | Название | |
| Том 23 (2012) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 22 (2012) | Предисловие | Аннотация PDF (Rus) |
| В. П. Иванников | ||
| Том 19 (2010) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 18 (2010) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация PDF (Eng) |
| Андрей Николаевич Черных, Аллел Хаджали | ||
| Том 36, № 6 (2024) | Предметно-ориентированное проектирование в микросервисной архитектуре | Аннотация PDF (Eng) |
| Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| Том 37, № 2 (2025) | Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения | Аннотация PDF (Rus) |
| Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация PDF (Eng) |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) |
| П. А. Лозов, Д. Ю. Булычев | ||
| Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) |
| А. С. Асратян, Н. Н. Кузюрин | ||
| Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) |
| С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
| Том 30, № 1 (2018) | Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел | Аннотация PDF (Rus) |
| М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур | ||
| Том 31, № 5 (2019) | Применение i-векторов для автоматизированного определения уровня близости языков | Аннотация PDF (Rus) |
| Анс-Атаол Улдович Берзинь | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация PDF (Eng) |
| И. С. Шугуров, А. А. Мицюк | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) |
| В. А. Захаров, Т. А. Новикова | ||
| Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) |
| Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) |
| В. А. Захаров, В. В. Подымов | ||
| Том 30, № 4 (2018) | Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке | Аннотация PDF (Rus) |
| В. Е. Сачков | ||
| Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) |
| В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
| Том 36, № 2 (2024) | Применение генеративного искусственного интеллекта для управления рисками программных проектов | Аннотация PDF (Eng) |
| Анна Даниеловна ДЖЕЙРАНЯН, Михаил Александрович ПЛАКСИН | ||
| Том 30, № 3 (2018) | Применение глубокого машинного обучения к синтезу цепочки вызовов C# | Аннотация PDF (Eng) |
| А. Е. Чебыкин, Я. А. Кириленко | ||
| Том 35, № 4 (2023) | Применение глубокого обучения для обнаружения компьютерных атак в сетевом трафике | Аннотация PDF (Rus) |
| Александр Игоревич ГЕТЬМАН, Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ, Анастасия Григорьевна НИКОЛЬСКАЯ | ||
| Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) |
| Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
| Том 28, № 5 (2016) | Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода | Аннотация PDF (Rus) |
| А. Р. Нурмухаметов | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) |
| С. П. Вартанов, А. Ю. Герасимов | ||
| Том 26, № 2 (2014) | Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС | Аннотация PDF (Rus) |
| Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| Том 32, № 5 (2020) | Применение метода HDBSСAN для кластеризации данных scRNA-seq | Аннотация PDF (Eng) |
| Мария Андреевна АКИМЕНКОВА, Анна Анатольевна МАЗНИНА, Антон Юрьевич НАУМОВ, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 26, № 1 (2014) | Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища | Аннотация PDF (Rus) |
| С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян | ||
| Том 32, № 5 (2020) | Применение метода неинвазивного оценивания нарушений углеводного обмена при скрининге населения | Аннотация PDF (Eng) |
| Андрей Александрович БЕРЕЗИН, Роман Сергеевич НОВИКОВ, Максим Александрович НОВОПАШИН, Борис Аронович ПОЗИН, Александр Викторович ШМИД | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация PDF (Eng) |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| Том 30, № 3 (2018) | Применение методов системного анализа к оцениванию работы учебных ассистентов | Аннотация PDF (Eng) |
| Е. Н. Береснева, М. К. Горденко | ||
| Том 36, № 5 (2024) | Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи | Аннотация PDF (Rus) |
| Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Олег Ильгисович САМОВАРОВ, Елена Сергеевна КОЗАЧОК | ||
| Том 35, № 5 (2023) | Применение мультимодального трансформера для прогнозирования выходных параметров насыщенных углеводородных соединений из состава тяжелой нефти в присутствии катализаторов | Аннотация PDF (Rus) |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Елизавета Георгиевна ЗАЙЦЕВА | ||
| Том 35, № 5 (2023) | Применение нейронных сетей для сегментации изображений в задаче быстрой трассировки интегральных схем | Аннотация PDF (Rus) |
| Тимур Маратович КАДИРЛИЕВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Роман Александрович СОЛОВЬЁВ | ||
| Том 37, № 3 (2025) | Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии | Аннотация PDF (Rus) |
| Марат Халитович САЙБОДАЛОВ, Максим Вадимович ДАШИЕВ, Яков Михайлович КАРАНДАШЕВ, Никита Владимирович ЖЕЛУДКОВ, Елизавета Сергеевна КОЧЕВА | ||
| Том 28, № 6 (2016) | Применение облачных вычислений для анализа данных большого объема в умных городах | Аннотация PDF (Rus) |
| Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко | ||
| Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) |
| А. Н. Авдеева, В. В. Пузикова | ||
| 820 - 858 из 1237 результатов | << < 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
