Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 1 (2024) Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения Аннотация  PDF (Rus)  похожие документы
Виктор Андреевич КУЧУКОВ
 
Том 35, № 6 (2023) Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич ПРОКОПЬЕВ
 
Том 35, № 5 (2023) Применение мультимодального трансформера для прогнозирования выходных параметров насыщенных углеводородных соединений из состава тяжелой нефти в присутствии катализаторов Аннотация  PDF (Rus)  похожие документы
Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Елизавета Георгиевна ЗАЙЦЕВА
 
Том 36, № 3 (2024) Статический анализ для языка Scala Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 36, № 3 (2024) Автоматизация задачи прогнозирования рецидива рака шейки матки с помощью условной порождающей состязательной сети Аннотация  PDF (Rus)  похожие документы
Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Ольга Николаевна ЧУРУКСАЕВА
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 36, № 3 (2024) Платформа для сбора дерматоскопических изображений новообразований пациентов Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Кирилл Вячеславович ЕЛЕЦКИЙ, Елена Сергеевна КОЗАЧОК
 
Том 35, № 5 (2023) Применение физически-обоснованной нейронной сети на примере моделирования гидродинамических процессов, допускающих аналитическое решение Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Сергей Владимирович СТРИЖАК
 
Том 36, № 2 (2024) Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них Аннотация  похожие документы
Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
 
Том 35, № 5 (2023) Извлечение именованных сущностей из рецензий к исходному коду Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Ариана Сергеевна ХИТРОВА, Сергей Игоревич МАРКОВ
 
Том 35, № 5 (2023) Моделирование процесса обледенения корпуса рыболовецкого судна на поверхности воды с учетом влияния волнения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
 
Том 35, № 5 (2023) Организация конфиденциальных запросов к облаку Аннотация  PDF (Rus)  похожие документы
Николай Павлович ВАРНОВСКИЙ, Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ
 
Том 36, № 3 (2024) Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы Аннотация  PDF (Rus)  похожие документы
Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ
 
Том 36, № 2 (2024) Соревнования по формальной верификации VeHa-2023: опыт проведения Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА
 
Том 35, № 5 (2023) Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang Аннотация  PDF (Rus)  похожие документы
Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 35, № 6 (2023) Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов Аннотация  PDF (Rus)  похожие документы
Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ
 
Том 36, № 4 (2024) Разработка безопасного компилятора на основе Clang Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ
 
Том 35, № 5 (2023) Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС Аннотация  PDF (Rus)  похожие документы
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ
 
Том 36, № 2 (2024) Набор методических тестовых программ для численного моделирования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Александр Викторович ЕРШОВ, Артем Владимирович КАРПЕЕВ, Рим Фанавиевич МУХАМАДИЕВ, Елена Михайловна РОМАНОВА, Денис Александрович УШАКОВ, Вадим Олегович АНИСОВ
 
1 - 20 из 20 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)