Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 4 (2022) Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений Аннотация  похожие документы
Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ
"... Active usage of data collections by experts and decision makers tasked with preparing decision ..."
 
Том 24 (2013) Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... This paper is dedicated to review of recent methods for indexing of multidimensional data ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... In this paper we consider multidimensional indexing with the additional constraint ..."
 
Том 34, № 1 (2022) Анализ регулярности матриц Аннотация  PDF (Rus)  похожие документы
Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ
"... The paper investigates the problem of analyzing the regularity of multidimensional matrices based ..."
 
Том 19 (2010) Обмен данными в распределенной системе поддержки решений Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Data exchange is a way to increase possibilities of local decision support systems on the base ..."
 
Том 24 (2013) Гибридный подход к построению систем поддержки решений Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... Decision support systems where the results of deduction on rules are supplemented with Case-based ..."
 
Том 31, № 4 (2019) Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений Аннотация  PDF (Rus)  похожие документы
Мамта Панди, Ратнеш Литория, Пратик Панди
"... , fifteen issues in mobile apps have been identified. Then we applied Fuzzy-DEMATEL (Decision Making Trial ..."
 
Том 32, № 1 (2020) Большие данные: аналитические решения, исследовательские задачи и тенденции Аннотация  похожие документы
Ноаман Мухаммед Али, Борис Асенович Новиков
"... данных, обсуждаются преимущества использования решений для больших данных и обсуждаются виды оценок ..."
 
Том 33, № 5 (2021) Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. Аннотация  похожие документы
Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО
"... according to a damage assessment, logistics and follow-up of aid package delivery, data-driven decision ..."
 
Том 33, № 5 (2021) Онтологическое обеспечение управления рисками информационной безопасности Аннотация  PDF (Rus)  похожие документы
Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК
"... in the efficiency of the information security system by reducing the time spent on managerial decision-making ..."
 
Том 27, № 6 (2015) Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах Аннотация  PDF (Rus)  похожие документы
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский
"... In work the structure and separate components of the cloudy service intended for the decision ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... and up to space apparatus control. Starting to de-sign and develop a decision support system, which ..."
 
Том 32, № 2 (2020) Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... ) as the decision procedures implemented in SMT solvers are complete for some combinations of logical theories ..."
 
Том 32, № 5 (2020) Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017 Аннотация  PDF (Rus)  похожие документы
Максим Николаевич ГОРЮНОВ, Андрей Георгиевич МАЦКЕВИЧ, Дмитрий Александрович РЫБОЛОВЛЕВ
"... was made. Among the models (algorithms) that demonstrated the best results (k-nearest neighbors, decision ..."
 
Том 30, № 3 (2018) Применение методов системного анализа к оцениванию работы учебных ассистентов Аннотация  похожие документы
Е. Н. Береснева, М. К. Горденко
 
Том 30, № 1 (2018) Базы данных для обработки массивов: взгляд изнутри Аннотация  похожие документы
В. А. Павлов, Б. А. Новиков
"... , the problem of large multidimensional arrays support gained close attention in the database world. Devising ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... эффективно решена при помощи процедур проверки эквивалентности программ в рассматриваемых моделях. Основной ..."
 
Том 36, № 6 (2024) Определение когнитивных решений в сложных неформально структурированных доменах: эмпирические подходы Аннотация  похожие документы
Алисия Маргарита ХИМЕНЕС-ГАЛИНА, Карла ОЛМОС-САНЧЕС, Аида Арасели МАЛЬДОНАДО-МАЧИАС, Жасмин Георгина ЛИКОНА-ОЛМОС, Хулия Патрисия САНЧЕС-СОЛИС
"... by organizational decision-making and the need for cognitive solutions to improve understanding of such complex ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... by the services ready to the decision of business-tasks. Features that support interoperability and multilanguage ..."
 
Том 27, № 2 (2015) Моделирование и анализ поведения последовательных реагирующих программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
"... этих действий. В данной статье предложен общий подход к решению двух задач анализа вычислений ..."
 
Том 26, № 5 (2014) Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности Аннотация  PDF (Rus)  похожие документы
С. С. Толстых, В. Е. Подольский
"... accuracy are considered. This development is directed on the decision in a cloud of tasks of mathematical ..."
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... decision diagram (GADD), high-level decision diagram (HLDD) and extended finite-state machine (EFSM ..."
 
Том 30, № 4 (2018) Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... and their generalizations, such as Multidimensional Bin Packing, Multiple Strip Packing and packing into strips of different ..."
 
Том 27, № 1 (2015) Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными Аннотация  PDF (Rus)  похожие документы
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв
"... with this document. The time variation of the topic weight values creates multidimensional time series that describe ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... is a representation of the design in the form of high-level decision diagrams. The coverage model is a set of LTL ..."
 
Том 33, № 2 (2021) Классификация депрессивных эпизодов на основе ночных измерений: многомерный и одномерный анализ данных Аннотация  PDF (Rus)  похожие документы
Джульета Г. РОДРИГЕС-РУИЗ, Карлос Эрик ГАЛЬВАН-ТЕХАДА, Содель ВАСКЕС-РЕЙЕС, Хорхе Иссак ГАЛЬВАН-ТЕХАДА, Хамурапи ГАМБОА-РОСАЛЕС
"... эпизодов были использованы два различных метода – многомерный и одномерный анализ данных. Для многомерного ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... Reduced Ordered Binary Decision Diagrams (ROBDD-графами), строящимися для фрагментов схемы. Операции ..."
 
Том 26, № 5 (2014) Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами Аннотация  PDF (Rus)  похожие документы
Б. Л. Канцырев
"... , определяющие решение задачи о распаде произвольного разрыва в газожидкостном пузырьковом потоке с несжимаемыми ..."
 
Том 36, № 2 (2024) Четырёхмерный ACC анализ Аннотация  похожие документы
Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА
"... systems in a multidimensional space. The effectiveness of applying the enhanced ACC analysis method using ..."
 
Том 32, № 4 (2020) Использование доменно-состязательного обучения для распознавания текстовых капч Аннотация  PDF (Rus)  похожие документы
Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ
"... текстовая капча является достаточно распространённой, поэтому создание методов ее автоматического решения ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Сравниваются сложности задач нахождения решения системы алгебраических уравнений и базисов Гребнера ..."
 
Том 31, № 5 (2019) Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко
"... Обсуждаются задачи построения лорановых и регулярных решений линейных обыкновенных ..."
 
Том 27, № 6 (2015) Облачный фреймворк для интеграции сетевых экспертных и аналитических средств Аннотация  PDF (Rus)  похожие документы
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков
"... Information-analytical decision support systems in government and business are distributed ..."
 
Том 33, № 4 (2021) Полная решающая процедура для теории ограниченной адресной арифметики Аннотация  PDF (Rus)  похожие документы
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН
"... of appropriate decision procedures implemented within existing SMT-solvers. But at the same time both the SMT ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... of finite automata; this is another key step in building the decision procedure. In Section 8 we show ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... is decidable for a wide class of algebraic models of programs. Our decision techniques are based ..."
 
Том 24 (2013) Распределенные горизонтально масштабируемые решения для управления данными Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов, А. В. Посконин
"... возникающими задачами. В данной статье предлагается обзор некоторых современных решений, обеспечивающих ..."
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
 
Том 32, № 5 (2020) Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных КФС Аннотация  похожие документы
Мария Анатольевна ПОЛТАВЦЕВА
"... of the subject area, to the general architecture and specific methods of multidimensional data aggregation. ..."
 
1 - 39 из 425 результатов 1 2 3 4 5 6 7 8 9 10 11 > >> 

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

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