| Выпуск | Название | |
| Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) |
| Заяна Игоревна ЧУШКАЕВА | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) |
| И. В. Блудов | ||
| Том 35, № 6 (2023) | Решение проблемы многоязычия в международном научно-техническом информационном пространстве | Аннотация PDF (Rus) |
| Константин Константинович КОЛИН, Александр Алексеевич ХОРОШИЛОВ, Анна Владимировна КАН, Юрий Викторович НИКИТИН | ||
| Том 33, № 2 (2021) | Решение проблемы обеспечения качества дерева многоадресной рассылки услуг | Аннотация PDF (Rus) |
| Клаудио Энрике РИССО-МОНТАЛЬДО, Франко Рафаэль РОБЛЕДО-АМОЗА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС | ||
| Том 34, № 1 (2022) | Решение проблемы хранения траекторий молекулярной динамики в СУБД | Аннотация PDF (Rus) |
| Илья Вячеславович ЛИХАЧЕВ | ||
| Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) |
| В. В. Липаев | ||
| Том 24 (2013) | Роль предыстории при оценке сложного объекта в управлении по прецедентам | Аннотация PDF (Rus) |
| Л. Е. Карпов, В. Н. Юдин | ||
| Том 31, № 4 (2019) | Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера | Аннотация PDF (Rus) |
| Игорь Борисович Бурдонов | ||
| Том 37, № 1: январь-февраль | САПР для удаленного высокоуровневого моделирования СтнК | Аннотация PDF (Rus) |
| Александр Александрович АМЕРИКАНОВ, Лариса Геннадьевна ЕВТУШЕНКО, Владимир Викторович ЗУНИН, Владимир Максимович ВИНАРСКИЙ | ||
| Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) |
| Е. В. Давыдова, В. Н. Корчагова | ||
| Том 31, № 2 (2019) | Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов | Аннотация PDF (Eng) |
| Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Сегментация документов на основе графовых нейронных сетей: от строк к словам | Аннотация PDF (Rus) |
| Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ, Роман Игоревич ТРИФОНОВ | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| Том 35, № 4 (2023) | Символьное вычисление условия резонанса произвольного порядка в системе Гамильтона | Аннотация PDF (Rus) |
| Александр Борисович БАТХИН, Зафар Хайдар угли ХАЙДАРОВ | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация PDF (Eng) |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация PDF (Eng) |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация PDF (Eng) |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| Том 30, № 2 (2018) | Синтаксический анализ графов с использованием конъюнктивных грамматик | Аннотация PDF (Rus) |
| Р. Ш. Азимов, С. В. Григорьев | ||
| Том 33, № 4 (2021) | Синтаксический анализ текстов предметной области при помощи онтологии | Аннотация PDF (Rus) |
| Борис Израйльевич ГЕЛЬЦЕР, Татьяна Александровна ГОРБАЧ, Валерия Викторовна ГРИБОВА, Олеся Владимировна КАРПИК, Эдуард Станиславович КЛЫШИНСКИЙ, Наталия Александровна КОЧЕТКОВА, Дмитрий Борисович ОКУНЬ, Маргарита Вячеславовна ПЕТРЯЕВА, Карина Иосифовна ШАХГЕЛЬДЯН | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация PDF (Eng) |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| Том 32, № 5 (2020) | Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 | Аннотация PDF (Rus) |
| Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) |
| Антон Ермаков | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация PDF (Eng) |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) |
| А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 32, № 1 (2020) | Система визуализации для авиационной ОС реального времени JetOS | Аннотация PDF (Rus) |
| Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский | ||
| Том 28, № 3 (2016) | Система деанонимизации пользователей теневого интернета | Аннотация PDF (Eng) |
| С. М. Авдошин, А. В. Лазаренко | ||
| Том 23 (2012) | Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data | Аннотация PDF (Rus) |
| Кузнецов Константин | ||
| Том 33, № 6 (2021) | Система маркирования документов для проведения расследований при их утечке | Аннотация PDF (Rus) |
| Дмитрий Олегович ОБЫДЕНКОВ, Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Александр Евгеньевич ФРОЛОВ, Станислав Александрович ФОМИН, Сергей Викторович КОЗЛОВ, Дмитрий Дмитриевич ГРОМЕЙ, Александр Васильевич КОЗАЧОК, Борис Владимирович КОНДРАТЬЕВ | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация PDF (Eng) |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) |
| Д. А. Грушин, А. И. Поспелов | ||
| Том 30, № 6 (2018) | Система операторов для пространственно-временного анализа динамических сцен | Аннотация PDF (Rus) |
| К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
| Том 37, № 1: январь-февраль | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| Том 34, № 2 (2022) | Система управления заданиями автоматизированного сбора данных из сети Интернет | Аннотация PDF (Rus) |
| Владимир Александрович ЛАЗАРЕВ, Максим Игоревич ВАРЛАМОВ, Александр Константинович ЯЦКОВ | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация PDF (Eng) |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация PDF (Eng) |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация PDF (Eng) |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация PDF (Eng) |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| Том 22 (2012) | Системы рекомендаций: обзор современных подходов | Аннотация PDF (Rus) |
| А. Г. Гомзин, А. В. Коршунов | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация PDF (Eng) |
| М. А. Абакумов, П. М. Довгалюк | ||
| Том 35, № 6 (2023) | Словарь Г.Ф. Миллера «Описание живущих в Казанской губернии языческих народов, яко то черемис, чуваш и вотяков...» как источник для изучения татарского языка XVIII века (на материале ЛингвоДок) | Аннотация PDF (Eng) |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) |
| М. М. Берновски, Н. Н. Кузюрин | ||
| 1081 - 1125 из 1333 результатов | << < 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, № 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
