| Выпуск | Название | |
| Том 29, № 6 (2017) | Моделирование смазочной системы главной передачи | Аннотация PDF (Rus) |
| Е. В. Авдеев, К. А. Волкова, В. А. Овчинников | ||
| Том 29, № 6 (2017) | Моделирование смешанной конвекции над горизонтальной пластиной | Аннотация PDF (Eng) |
| М. Н. Никитин | ||
| Том 34, № 5 (2022) | Моделирование сопряженного теплообмена в микроканалах в среде OpenFOAM | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Михаил Евгеньевич ХВАЛЬКО, Алексей Юрьевич АРМЯНИН | ||
| Том 37, № 3 (2025) | Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения | Аннотация PDF (Rus) |
| Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО | ||
| Том 32, № 6 (2020) | Моделирование технических и математических задач прикладных областей знаний на ЭВМ | Аннотация PDF (Rus) |
| Екатерина Михайловна ЛАВРИЩЕВА, Игорь Борисович ПЕТРОВ | ||
| Том 37, № 2 (2025) | Модель детекции фибрилляции предсердий, основанная на дифференцировании и сжатии интервалограмм | Аннотация PDF (Eng) |
| Никита Сергеевич МАРКОВ | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) |
| Л. В. Иваничкина, А. П. Непорада | ||
| Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) |
| В. Н. Юдин, Л. Е. Карпов | ||
| Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) |
| А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
| Том 27, № 6 (2015) | Модель проблемно-ориентированной облачной вычислительной среды | Аннотация PDF (Rus) |
| Г. И. Радченко | ||
| Том 32, № 4 (2020) | Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен | Аннотация PDF (Rus) |
| Вячеслав Игоревич ГОНАХЧЯН | ||
| Том 28, № 3 (2016) | Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений | Аннотация PDF (Eng) |
| П. П. Олейник, С. М. Салибекян | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация PDF (Eng) |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| Том 34, № 3 (2022) | Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор | Аннотация PDF (Eng) |
| Педро Омар СИЛЬВА-ВАСКЕС, Вивиана Ярель РОЗАЛЕС-МОРАЛЕС, Эдгар БЕНИТЕС-ГЕРРЕРО | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| Том 32, № 5 (2020) | Модификация алгоритма Marching Cubes для получения трехмерного представления плоского изображения | Аннотация PDF (Rus) |
| Делия Иразу ХЕРНАНДЕС ФАРСАС, Рафаэль ГУСМАН КАБРЕРА, Теодоро КОРДОВА ФРАГА, Хосе Сакариас УАМАНИ ЛУНА, Хосе Франсиско ГОМЕС АГИЛАР | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| Том 35, № 2 (2023) | Модификация алгоритма выравнивания коротких прочтений для повышения качества пайплайна обработки данных полногеномного секвенирования человека | Аннотация PDF (Rus) |
| Егор Павлович ГУГУЧКИН, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 34, № 3 (2022) | Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов | Аннотация PDF (Rus) |
| Андрей Владимирович ГЛАДКОВ, Виктор Андреевич КУЧУКОВ, Михаил Григорьевич БАБЕНКО, Андрей Николаевич ЧЕРНЫХ, Виктор Васильевич БЕРЕЖНОЙ, Александр Юльевич ДРОЗДОВ | ||
| Том 34, № 6 (2022) | Модификация метода выделения контуров объекта в интеллектуальных системах | Аннотация PDF (Rus) |
| Алексей Иванович МАРТЫШКИН, Елена Григорьевна БЕРШАДСКАЯ, Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) |
| В. В. Пузикова | ||
| Том 37, № 1 (2025) | Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей | Аннотация PDF (Rus) |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| Том 34, № 2 (2022) | Модификация метода расчета полигенных рисков с использованием графа вариации | Аннотация PDF (Rus) |
| Олеся Анатольевна КОНДРАТЬЕВА, Евгений Андреевич КАРПУЛЕВИЧ | ||
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| Том 29, № 5 (2017) | Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики | Аннотация PDF (Eng) |
| С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев | ||
| Том 36, № 6 (2024) | Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? | Аннотация PDF (Eng) |
| Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО | ||
| Том 27, № 1 (2015) | Мониторинг динамически меняющегося графа | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| Том 36, № 2 (2024) | Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ | ||
| Том 37, № 2 (2025) | Названия украшений в тюркских и финно-угорских языках Урало-Поволжья | Аннотация PDF (Rus) |
| Римма Талгатовна МУРАТОВА | ||
| Том 36, № 1 (2024) | Направления будущих исследований и рекомендации по развитию микросервисной архитектуры | Аннотация PDF (Rus) |
| Желько СТОЯНОВ, Илья ХРИСТОСКИЙ, Елена СТОЯНОВА, Александра СТОЙКОВА | ||
| Том 35, № 6 (2023) | Настоящее время на (–)ЧАР в младописьменном шорском языке | Аннотация PDF (Rus) |
| Алиса Васильевна ЕСИПОВА | ||
| Том 34, № 4 (2022) | Настройка критериев планировщика СУБД с учётом динамической компиляции | Аннотация PDF (Rus) |
| Егор Викторович ДОЛГОДВОРОВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Дмитрий Михайлович МЕЛЬНИК | ||
| Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) |
| А. В. Шокуров | ||
| Том 20 (2011) | Нацеленная генерация данных для тестирования приложений над базами данных | Аннотация PDF (Rus) |
| Е. А. Костычев, В. А. Омельченко, С. В. Зеленов | ||
| 508 - 546 из 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
