Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 1 (2025) Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... Разработана модификация метода погруженных границ LS-STAG с функциями уровня для моделирования ..."
 
Том 37, № 1 (2025) Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ
 
Том 36, № 6 (2024) Совершенствование моделей оценки путем объединения независимых источников данных Аннотация  похожие документы
Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ
 
Том 36, № 6 (2024) Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? Аннотация  похожие документы
Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО
"... этом исследовании мы исследуем, как применять концепции и рекомендации метода COSMIC к измерениям с ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... уже более 50 лет, однако широкие массы разработчиков не знакомы с его принципами и методами. Важной ..."
 
Том 37, № 3 (2025) Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Андрей Леонидович ПАВЛЕВИЧ
 
1 - 6 из 6 результатов

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

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