Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Применение методов системного анализа к оцениванию работы учебных ассистентов Аннотация  похожие документы
Е. Н. Береснева, М. К. Горденко
"... Picture, AHP, Fuzzy AHP) to evaluation of teaching assistants. The soft and hard methods were applied ..."
 
Том 37, № 4: часть 2. июль-август Разработка и интеграция AI-ассистента в систему управления обучением Аннотация  похожие документы
Екатерина Андреевна КАРАВАЕВА, Владимир Игоревич ВАСИЛЕВСКИЙ, Георгий Михайлович ЛАНИН, Дмитрий Сергеевич ПРОКУДИН
 
Том 21 (2011) Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. М. Миниахметов
"... alternative tools. In this paper we propose Fuzzy c-Means clustering algorithm adapted for PostgreSQL open ..."
 
Том 31, № 4 (2019) Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений Аннотация  PDF (Rus)  похожие документы
Мамта Панди, Ратнеш Литория, Пратик Панди
"... , fifteen issues in mobile apps have been identified. Then we applied Fuzzy-DEMATEL (Decision Making Trial ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... of representing fuzzy logic, however that numbers created much larger problems of how to calculate them ..."
 
Том 27, № 3 (2015) Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения Аннотация  PDF (Rus)  похожие документы
Наталия Лиманова, Максим Седов
"... . This method is based on fuzzy comparison and on the metrics of Levenshtein. The algorithm, developed ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... coordinates and fixed-point coordinates. With this end in view, fuzzy logic approach is used to develop Routes ..."
 
Том 29, № 5 (2017) Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики Аннотация  похожие документы
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев
"... . The presented fuzzy inference system (Mamdani’s model) makes it possible to calculate story points using people ..."
 
Том 31, № 3 (2019) Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Аннотация  похожие документы
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев
"... of information (data) that are typical for the field of e-commerce. We suggest using fuzzy logic approach to take ..."
 
Том 36, № 4 (2024) Сравнение алгоритмов клонирования голоса в условиях нулевого и малого количества примеров Аннотация  похожие документы
Ольга ОГАНЕСЯН, Давид САРГСЯН, Aртур МАЛАДЖЯН
"... from personalized virtual assistants to sophisticated entertainment systems. This study compares nine ..."
 
Том 35, № 6 (2023) Язык программирования для обучения технологиям компиляции и трансформации Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич НЕДОРЯ
"... Teaching students compilation and transformation technologies is in demand. The article discusses ..."
 
Том 34, № 1 (2022) Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Аннотация  PDF (Rus)  похожие документы
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ
"... tale plot (on the example of Russian fairy tales by A. M. Afanasyev) and a fuzzy graph-theoretic model ..."
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
"... the theory of fuzzy sets. The article proposes a methodology for identifying and evaluating centers ..."
 
Том 33, № 3 (2021) Механизированная теория структур событий: случай параллельной регистровой машины Аннотация  похожие документы
Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ
"... . In this work-in-progress report, we present a theory of event structures mechanized in the COQ proof assistant ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
"... no additional type annotations are needed and formalizes the rules in Isabelle/HOL proof assistant ..."
 
Том 36, № 4 (2024) GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей Аннотация  PDF (Rus)  похожие документы
Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... and neural networks have become a useful assistant in that matter. Programming is not an exception: GitHub ..."
 
Том 35, № 6 (2023) Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей Аннотация  PDF (Rus)  похожие документы
Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО
"... subjective. The objective of this paper was to show how an NFR estimation model was created using fuzzy logic ..."
 
Том 34, № 5 (2022) Способ оценки похожести программ методами машинного обучения Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ
"... algorithms do not take into account the format of the input data (values of fuzzy hash functions, values ..."
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... and proof reconstruction capabilities of the Isabelle/HOL proof assistant. ..."
 
Том 33, № 4 (2021) Полная решающая процедура для теории ограниченной адресной арифметики Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... of the Isabelle/HOL proof assistant. ..."
 
Том 35, № 1 (2023) Определение уровня способности студентов к системному мышлению с помощью оценки концептуальных карт Аннотация  похожие документы
Хорхе Рафаэль АГИЛАР СИСНЕРОС, Рикардо ВАЛЕРДИ, Брендан Патрик САЛЛИВАН
"... or not students own Systems Thinking Competencies in order to design a specific teaching strategy. This research ..."
 
Том 35, № 6 (2023) Изучение оформления русской звучащей речи китайскими и ганскими студентами в цифровом формате: лингводидактический аспект Аннотация  похожие документы
Светлана Александровна ДЕРЯБИНА, Ваньин ЖЭНЬ, Юджения НКЕТИЯ
"... of an ethno-oriented methodology for teaching Russian intonation. The scientific novelty is in the analysis ..."
 
Том 34, № 3 (2022) Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования Аннотация  похожие документы
Эрминио ДЕЛЬ АНХЕЛЬ-ФЛОРЕС, Эдуардо ЛОПЕС-ДОМИНГЕС, Есения ЭРНАНДЕС-ВЕЛАСКЕС, Сауль ДОМИНГЕС-ИСИДРО, Мария Ауксилио МЕДИНА-НИЭТО, Хорхе ДЕ ЛА КАЛЬЕХА
"... The learning customization and monitoring are considered key aspects of the teaching-learning ..."
 
Том 32, № 2 (2020) Векторные модели на основе символьных н-грамм для морфологического анализа текстов Аннотация  PDF (Rus)  похожие документы
Цолак Гукасович ГУКАСЯН
"... , for morphological analysis of texts. fastText is a library for classifying texts and teaching vector representations ..."
 
Том 30, № 6 (2018) Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Аннотация  PDF (Rus)  похожие документы
А. В. Глазкова
"... of text fragments for teaching models, methods for text representation and classification methods chosen ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... existing open-source software solutions, and also apply the results as a model for teaching courses ..."
 
1 - 26 из 26 результатов

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

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