| Выпуск | Название | |
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) |
| Г. Н. Циперман | ||
| Том 36, № 1 (2024) | Стратегии автоматического выявления ошибочных аргументов в политических речах во время избирательных кампаний в Мексике | Аннотация PDF (Eng) |
| Кения НЬЕТО-БЕНИТЕС, Ноэ Алехандро КАСТРО-САНЧЕС, Эктор Хименес САЛАСАР, Хемма БЕЛЬ-ЭНГИКС, Данте МУХИКА ВАРГАС, Хуан Габриель ГОНСАЛЕС СЕРНА, Нимрод ГОНСАЛЕС ФРАНКО | ||
| Том 34, № 2 (2022) | Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок | Аннотация PDF (Rus) |
| Федор Владимирович КРАСНОВ, Ирина Сергеевна СМАЗНЕВИЧ, Елена Николаевна БАСКАКОВА | ||
| Том 33, № 2 (2021) | Стратегии управлении спросом в умных сетях электроснабжения для центров данных | Аннотация PDF (Rus) |
| Джонатан МУРАНЬЯ-СИЛЬВЕРА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС, Сантьяго Дамиан ИТУРРИАГА-ФАБРА, Себастьян МОНТЕС ДЕ ОКА, Гонсало БЕЛКРЕДИ, Пабло Ариэль МОНЗОН-РАНГЕЛОФФ, Владимир Дмитриевич ШЕПЕЛЁВ, Андрей Николаевич ЧЕРНЫХ | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация PDF (Eng) |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| Том 23 (2012) | Тематическое моделирование текстов на естественном языке | Аннотация PDF (Rus) |
| Антон Коршунов, Андрей Гомзин | ||
| Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) |
| В. А. Семенов, О. В. Сидяка | ||
| Том 34, № 4 (2022) | Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений | Аннотация PDF (Eng) |
| Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ | ||
| Том 31, № 2 (2019) | Теоретический подход к поиску глобального экстремума при обучении нейронных сетей | Аннотация PDF (Rus) |
| Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова | ||
| Том 33, № 5 (2021) | Тепловая нагрузка биметаллической оребренной трубки | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Альбина Фирдавесовна ГИЗЗАТУЛЛИНА, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА, Федор Николаевич ПУШКАРЕВ, Алена Алексеевна ЧЕРНОВА | ||
| Том 36, № 1 (2024) | Тест на удобство использования для учителей при обучении уходу за детьми с нарушениями слуха на основе информационно-коммуникационных технологий | Аннотация PDF (Eng) |
| Этельвина АРЧУНДИЯ-СЬЕРРА | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) |
| Стефан Мааг | ||
| Том 37, № 3 (2025) | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) |
| Борис Аронович ПОЗИН | ||
| Том 29, № 1 (2017) | Тестирование возможностей открытого кода BEM++ по решению задач акустики | Аннотация PDF (Rus) |
| П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) |
| А. В. Цыварев, В. А. Мартиросян | ||
| Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| Том 30, № 6 (2018) | Тестирование различных методов моделирования внутренних течений несжимаемой жидкости | Аннотация PDF (Rus) |
| В. Г. Мельникова | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) |
| А. В. Никешин, В. З. Шнитман | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация PDF (Eng) |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация PDF (Eng) |
| Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
| Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация PDF (Eng) |
| Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) |
| Е. В. Пальчевский, А. Р. Халиков | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация PDF (Eng) |
| В. В. Никифоров, С. Н. Баранов | ||
| Том 36, № 6 (2024) | Технические и социальные навыки, необходимые для квантовых вычислений | Аннотация PDF (Rus) |
| Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Кристиан Ксавьер НАВАРРО-КОТА, Сезар ГУЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Хавьер ОРТИС-ЭРНАНДЕС, Карина КАНСИНО | ||
| Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) |
| Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) |
| Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
| Том 29, № 6 (2017) | Технология обработки изображений для гидравлических приложений | Аннотация PDF (Eng) |
| Дж. Теллез-Альварез, М. Гомез, Б. Руссо | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) |
| С. Г. Грошев | ||
| Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация PDF (Eng) |
| А. А. Гудошникова, Ю. В. Литвинов | ||
| Том 35, № 2 (2023) | Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных | Аннотация PDF (Rus) |
| Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация PDF (Eng) |
| Алексей Валерьевич Головешкин | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация PDF (Eng) |
| А. В. Головешкин, С. С. Михалкович | ||
| 1121 - 1160 из 1254 результатов | << < 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
