| Выпуск | Название | |
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) |
| Е. А. Велесевич | ||
| Том 31, № 1 (2019) | Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов | Аннотация PDF (Rus) |
| Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров | ||
| Том 29, № 4 (2017) | Обнаружение неточно повторяющегося текста в документации программного обеспечения | Аннотация PDF (Eng) |
| Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов | ||
| Том 33, № 2 (2021) | Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход | Аннотация PDF (Rus) |
| Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) |
| И. А. Дудина | ||
| Том 23 (2012) | Обнаружение периодических наборов событий во временных базах данных | Аннотация PDF (Rus) |
| Е. A. Иванникова. | ||
| Том 21 (2011) | Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов | Аннотация PDF (Rus) |
| А. С. Павлов, Б. В. Добров | ||
| Том 34, № 1 (2022) | Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов | Аннотация PDF (Rus) |
| Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ | ||
| Том 27, № 6 (2015) | Обработка больших объемов сырых астрономических данных с помощью модели вычислений MapReduce | Аннотация PDF (Rus) |
| С. В. Герасимов, А. В. Мещеряков, И. Ю. Колосов, Е. С. Глотов, И. С. Попов | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация PDF (Eng) |
| Г. А. Зимин, Д. А. Мордвинов | ||
| Том 33, № 1 (2021) | Обучение многослойного перцептрона с учителем в задаче распознавания с помощью корреляционного показателя | Аннотация PDF (Rus) |
| Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Виктор Андреевич КУЧУКОВ, Наталья Николаевна КУЧУКОВА | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 32, № 4 (2020) | Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем | Аннотация PDF (Rus) |
| Сергей Юрьевич МОКШИН | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 36, № 4 (2024) | Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов | Аннотация PDF (Eng) |
| Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК | ||
| Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) |
| К. А. Казаков, В. А. Семенов | ||
| Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) |
| В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) |
| А. С. Аничкин, В. А. Семенов | ||
| Том 35, № 2 (2023) | Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования | Аннотация PDF (Rus) |
| Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ | ||
| Том 27, № 1 (2015) | Объектные модели ODMG и SQL десять лет спустя: нет противоречий | Аннотация PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 36, № 2 (2024) | Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей | Аннотация PDF (Eng) |
| Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА | ||
| Том 30, № 5 (2018) | Онтологический репозиторий для CFD-расчетов | Аннотация PDF (Rus) |
| В. А. Зенкин | ||
| Том 33, № 5 (2021) | Онтологическое обеспечение управления рисками информационной безопасности | Аннотация PDF (Rus) |
| Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК | ||
| Том 35, № 6 (2023) | Онтология архитектурных знаний в совместно локализованной “живой” среде | Аннотация PDF (Rus) |
| Хосе Луис РОБЛЕС, Хильберто БОРРЕГО, Рамон Рене ПАЛАСИО, Франсиско КАСТИЛЬО-БОРРЕРА | ||
| Том 30, № 2 (2018) | Онтология предметной области «Удобство использования программного обеспечения» | Аннотация PDF (Rus) |
| А. А. Сытник, Т. Э. Шульга, Н. А. Данилов | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) |
| О. В. Горемыкин | ||
| Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
| Том 32, № 3 (2020) | Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения | Аннотация PDF (Eng) |
| Денис Игоревич САМОХВАЛОВ | ||
| Том 34, № 5 (2022) | Определение влиятельных пользователей социальной сети по двудольному графу комментариев | Аннотация PDF (Rus) |
| Роман Константинович ПАСТУХОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Денис Юрьевич ТУРДАКОВ | ||
| Том 25 (2013) | Определение демографических атрибутов пользователей микроблогов | Аннотация PDF (Rus) |
| Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков | ||
| Том 36, № 6 (2024) | Определение когнитивных решений в сложных неформально структурированных доменах: эмпирические подходы | Аннотация PDF (Eng) |
| Алисия Маргарита ХИМЕНЕС-ГАЛИНА, Карла ОЛМОС-САНЧЕС, Аида Арасели МАЛЬДОНАДО-МАЧИАС, Жасмин Георгина ЛИКОНА-ОЛМОС, Хулия Патрисия САНЧЕС-СОЛИС | ||
| Том 31, № 1 (2019) | Определение ограничений облачной платформы на миграцию ресурсов | Аннотация PDF (Rus) |
| Александр Сергеевич Чадин, Григорий Андреевич Бизюкин | ||
| Том 34, № 2 (2022) | Определение присутствия человека с помощью фильтра Колмогорова-Винера и нейронных сетей с управляемыми рекуррентными блоками методом Wi-Fi-сканирования | Аннотация PDF (Eng) |
| Павел Павлович ШИБАЕВ, Андрей Андреевич ЧУПАХИН | ||
| Том 36, № 1 (2024) | Определение релевантных факторов риска для рака молочной железы | Аннотация PDF (Eng) |
| Сасиль Хосефина ИБАРРА-КУЭВАС, Хосе Игнасио НУНЕС-ВАРЕЛА, Альберто НУНЕС-ВАРЕЛА, Франсиско Эдуардо МАРТИНЕС-ПЕРЕС, Сандра Э. НАВА-МУНЬОС, Сесар Аугусто РАМИРЕС-ГАМЕС, Эктор Херардо ПЕРЕС-ГОНСАЛЕС | ||
| Том 35, № 1 (2023) | Определение уровня способности студентов к системному мышлению с помощью оценки концептуальных карт | Аннотация PDF (Eng) |
| Хорхе Рафаэль АГИЛАР СИСНЕРОС, Рикардо ВАЛЕРДИ, Брендан Патрик САЛЛИВАН | ||
| 625 - 663 из 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
