| Выпуск | Название | |
| Том 31, № 4 (2019) | Регуляризация Байеса при подборе весовых коэффициентов в ансамблях предикторов | Аннотация PDF (Rus) |
| Антон Сергеевич Нужный | ||
| Том 33, № 2 (2021) | Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма | Аннотация PDF (Rus) |
| Донован РИАНЬО-ЭНРИКЕС, Родриго ПИНОН-АЯЛА, Гильермо МОЛЕРО-КАСТИЛЬО, Эверардо БАРСЕНАС, Алехандро ВЕЛАСКЕС-МЕНА | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) |
| Н. Никитина, А. Мицюк | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) |
| Петр Николаевич ДЕВЯНИН | ||
| Том 32, № 3 (2020) | Рекомендательная система на основе действий пользователей в социальной сети | Аннотация PDF (Eng) |
| Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ | ||
| Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация PDF (Eng) |
| Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
| Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) |
| С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
| Том 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) |
| Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб | ||
| Том 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) |
| К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
| 1026 - 1066 из 1270 результатов | << < 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 > >> | |
Список названий
Популярные статьи
Том 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
