Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... ) for Python. It is shown how type inference module using the new algorithm analyses various Python language ..."
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... in the opinion of software developers. It presents an approach to type inference for dynamic languages ..."
 
Том 36, № 1 (2024) Виды атак на федеративные нейросети и способы защиты Аннотация  PDF (Rus)  похожие документы
Валерий Алексеевич КОСТЕНКО, Алиса Евгеньевна СЕЛЕЗНЕВА
"... creates many attack opportunities against this type of network. After training on a local device, model ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
 
Том 35, № 1 (2023) Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT Аннотация  PDF (Rus)  похожие документы
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ
"... of the program. The results show that graph embeddings allow to achieve an accuracy of classifying variable types ..."
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
"... and evaluating string expressions. Even in dynamically typed languages, type information is very useful ..."
 
Том 36, № 3 (2024) Использование генетических алгоритмов и нейронных сетей в анализе деформаций стопы Аннотация  PDF (Rus)  похожие документы
Сергей Иванович КИРЕЕВ, Инна Александровна БАТРАЕВА, Дмитрий Сергеевич ПАНТЕЛЕЕВ, Максим Владиславович ЗАБОЕВ
"... recognition and marking of photoplantograms of the foot using genetic algorithms and neural networks ..."
 
Том 30, № 2 (2018) Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Аннотация  PDF (Rus)  похожие документы
Р. А. Гилязев, Д. Ю. Турдаков
"... the unplaced set, one algorithm is chosen by an algorithm, it is provided to the oracle (expert) for the markup ..."
 
Том 35, № 6 (2023) Анализ безопасности проекта национального стандарта «Нейросетевые алгоритмы в защищенном исполнении. Автоматическое обучение нейросетевых моделей на малых выборках в задачах классификации» Аннотация  PDF (Rus)  похожие документы
Роман Александрович РОМАНЕНКОВ, Григорий Борисович МАРШАЛКО, Юлия Анатольевна ТРУФАНОВА
"... We propose a membership inference attack against the neural classification algorithm from ..."
 
Том 28, № 2 (2016) Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики Аннотация  похожие документы
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков
"... In this paper authors presents “mmdlab” library for the interpreted programming language Python ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... to…’. The paper provides detailed explanation of each variable considered in the fuzzy inference system (FIS), set ..."
 
Том 37, № 1 (2025) Использование технологий искусственного интеллекта для проведения психологического тестирования Аннотация  PDF (Rus)  похожие документы
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН
"... classification of response categories. The paper describes the algorithms of machine learning and deep learning ..."
 
Том 31, № 3 (2019) Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Аннотация  похожие документы
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев
"... convergence speed, robustness, the presence of hyper parameters, the most robust and scalable algorithm ..."
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... The paper presents an approach to specify constraints on AADL models in Python-based language ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... with smart type inference support and the ability to ensure dynamic type safety as well. The key element ..."
 
Том 36, № 4 (2024) Сравнение алгоритмов клонирования голоса в условиях нулевого и малого количества примеров Аннотация  похожие документы
Ольга ОГАНЕСЯН, Давид САРГСЯН, Aртур МАЛАДЖЯН
"... requiring extensive training data for each new voice and for their capability to perform real-time inference ..."
 
Том 33, № 6 (2021) Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ
"... for neural network inference: from CPUs and GPUs to FPGAs and ASICs. An important research area is inference ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... Python programming language, Django framework and wide corpus of modules and libraries that supports ..."
 
Том 23 (2012) Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. А. Прохоров
"... , the most popular flash-memory types read data at a higher speed than write it. Due to this feature the use ..."
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
"... In the article the review of tools used in a new type object DBMS for increasing the efficiency ..."
 
Том 35, № 2 (2023) Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия Аннотация  похожие документы
Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ
"... -to-end tests written in Python. The approach involves a comprehensive evaluation of the system from ..."
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... of the saved trees. We have implemented this described representation for Java, Kotlin and Python. The unified ..."
 
Том 27, № 6 (2015) Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний Аннотация  PDF (Rus)  похожие документы
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов
"... taking into account types of applications. Heterogeneous workloads include CPU intensive, disk I/O ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... to the standard testing methods. These scenarios consist of several types of test cases which are based ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... . The presented fuzzy inference system (Mamdani’s model) makes it possible to calculate story points using people ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... on graph models, but the types of graphs used have certain limitations, such as insufficient expressiveness ..."
 
Том 32, № 2 (2020) Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Аннотация  похожие документы
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР
"... the problem of binary classification of projects using libraries of the Python language is shown. Attention ..."
 
Том 36, № 3 (2024) Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения Аннотация  похожие документы
Станислав Александрович РАКОВСКИЙ
"... The Python Package Index (PyPI) serves as the primary repository for projects for the Python ..."
 
Том 30, № 6 (2018) Минимальный базис модуля сизигий старших членов Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... ] brings a system of algebraic equations to the system of a special type defined by the Gröbner original ..."
 
Том 33, № 4 (2021) Многослойный подход к поиску изоморфных подграфов в HP-графах Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... the user requirements. Visual languages are usually based on graph models, but the graph types used have ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... In 1993 Coffman and Shor proposed on-line strip packing algorithm with expected unpacked area ..."
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
"... This paper investigates important issues in three types of safety assessment methodologies commonly ..."
 
Том 33, № 5 (2021) Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... profile was studied. The possibilities of an efficient parallelization algorithm using a liquid film model ..."
 
Том 35, № 2 (2023) Исследование состязательных атак на нейронные сети распознавания образов Аннотация  похожие документы
Денис Владимирович КОТЛЯРОВ, Глеб Дмитриевич ДЮДЮН, Наталья Витальевна РЖЕВСКАЯ, Мария Анатольевна ЛАПИНА, Михаил Григорьевич БАБЕНКО
"... This article discusses the algorithm for creating a neural network based on pattern recognition ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
 
Том 23 (2012) Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce Аннотация  PDF (Rus)  похожие документы
А. Ю. Пигуль
"... in a MapReduce environment. Unfortunately, join algorithms is not directly supported in MapReduce. The aim ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... will use this information to produce the reverse logical inference treating the possible conclusion ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Formulae ..."
 
Том 19 (2010) Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин, А. И. Поспелов
"... In the article an on-line algorithm for packing rectangles into a strip is presented and studied ..."
 
1 - 39 из 498 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> 

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

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