Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 2 (2025) О размыве дна, вызванном взвешенной турбулентной струей Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич ПЕТРОВ, Игорь Иванович ПОТАПОВ
 
Том 37, № 3 (2025) Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Андрей Леонидович ПАВЛЕВИЧ
 
Том 37, № 2 (2025) TSAR: инструмент для оценки статических анализаторов Аннотация  PDF (Rus)  похожие документы
Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 36, № 6 (2024) Разработка и применение сервис-ориентированных научных приложений в инструментальном комплексе FDE-SWFs Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич ФЕОКТИСТОВ, Михаил Леонтьевич ВОСКОБОЙНИКОВ, Андрей Николаевич ЧЕРНЫХ
 
Том 37, № 1 (2025) Математическое моделирование почвенных процессов с использованием открытого программного обеспечения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК
 
Том 37, № 1 (2025) Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
 
Том 36, № 5 (2024) Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи Аннотация  PDF (Rus)  похожие документы
Александр Васильевич КОЗАЧОК, Андрей Андреевич СПИРИН, Олег Ильгисович САМОВАРОВ, Елена Сергеевна КОЗАЧОК
 
Том 37, № 3 (2025) Поиск утечек памяти и ресурсов в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ
 
Том 37, № 3 (2025) Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми Аннотация  PDF (Rus)  похожие документы
Иван Андреевич МОЛОДЕЦКИХ, Михаил Викторович ЕРОФЕЕВ, Андрей Викторович МОСКАЛЕНКО, Дмитрий Сергеевич ВАТОЛИН
 
Том 37, № 3 (2025) Обзор методов контроля перегрузки с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
Иван Александрович СТЕПАНОВ, Максим Владимирович ПОПОВ, Александр Игоревич ГЕТЬМАН, Мария Кирилловна ИКОННИКОВА, Андрей Андреевич БЕЛЕВАНЦЕВ
 
Том 37, № 1 (2025) Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Андрей Викторович ВЯЗОВЦЕВ, Михаил Максимович РОМАНОВ, Дмитрий Михайлович МЕЛЬНИК
 
Том 37, № 2 (2025) Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА
 
Том 37, № 3 (2025) SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич ЧЕТВЕРГОВ, Ринат Саярович ШАРАФЕТДИНОВ, Марина Михайловна ПОЛУКОШКО, Вадим Аксанович АХМЕТОВ, Наталия Андреевна ОРУЖЕЙНИКОВА, Егор Сергеевич АНИЧКОВ, Ирина Сергеевна АЛЕКСЕЕВСКАЯ, Сергей Владимирович БОЛОВЦОВ, Павел Евгеньевич ГОЛОСОВ
 
1 - 13 из 13 результатов

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

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