Сортировать по:
Выпуск | Название | |
Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
"... широко распространенных разрешимых логиках, таких как QF_UFLIA. В данной статье представлена процедура ..." | ||
Том 31, № 4 (2019) | Применение подхода Fuzzy-DEMATEL при анализе проблем мобильных приложений | Аннотация PDF (Rus) похожие документы |
Мамта Панди, Ратнеш Литория, Пратик Панди | ||
Том 32, № 1 (2020) | Большие данные: аналитические решения, исследовательские задачи и тенденции | Аннотация похожие документы |
Ноаман Мухаммед Али, Борис Асенович Новиков | ||
"... данных, обсуждаются преимущества использования решений для больших данных и обсуждаются виды оценок ..." | ||
Том 33, № 5 (2021) | Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. | Аннотация похожие документы |
Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО | ||
"... полностью разрушены. Для принятия мер в условиях чрезвычайной ситуации правительство Морелоса в первые же ..." | ||
Том 33, № 5 (2021) | Онтологическое обеспечение управления рисками информационной безопасности | Аннотация PDF (Rus) похожие документы |
Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК | ||
"... эффективности системы защиты информации за счет снижения временных затрат на принятие управленческих решений. В ..." | ||
Том 34, № 4 (2022) | Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений | Аннотация похожие документы |
Ислам Александрович АЛЕКСАНДРОВ, Владимир Жанович КУКЛИН, Александр Николаевич МУРАНОВ, Аслан Адальбиевич ТАТАРКАНОВ | ||
"... использование при подготовке управленческих решений информационных массивов с необходимыми для подготовки ..." | ||
Том 19 (2010) | Многопараметрическое управление на основе прецедентов | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... подход к математической формализации понятия управления на теории принятия решений, методов добычи данных ..." | ||
Том 30, № 3 (2018) | Применение методов системного анализа к оцениванию работы учебных ассистентов | Аннотация похожие документы |
Е. Н. Береснева, М. К. Горденко | ||
Том 30, № 1 (2018) | Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы | Аннотация похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... системы поддержки принятия решений, которая должна работать с неполностью описанными объектами, необходимо ..." | ||
Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... Системы поддержки принятия решений, в которых результаты вывода по правилам дополняют результаты ..." | ||
Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) похожие документы |
Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
Том 26, № 5 (2014) | Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами | Аннотация PDF (Rus) похожие документы |
Б. Л. Канцырев | ||
"... , определяющие решение задачи о распаде произвольного разрыва в газожидкостном пузырьковом потоке с несжимаемыми ..." | ||
Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
"... Среды автоматизированного тестирования широко используются для обеспечения качества современного ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
Н. Ю. Фокина, М. А. Соловьев | ||
"... В работе предложен метод автоматизированной генерации декодеров машинных команд широкого класса ..." | ||
Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
"... компоновки процедур (PLT). Стандартные механизмы кодогенерации на операционной системе Linux предполагают ..." | ||
Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
А. Э. Молчанов | ||
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..." | ||
Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
"... автоматизированной проверки программ. Одним из методов, применяемых такими инструментами проверки, является ..." | ||
Том 32, № 4 (2020) | Использование доменно-состязательного обучения для распознавания текстовых капч | Аннотация PDF (Rus) похожие документы |
Денис Олегович КУЩУК, Максим Алексеевич РЫНДИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
"... текстовая капча является достаточно распространённой, поэтому создание методов ее автоматического решения ..." | ||
Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
"... Сравниваются сложности задач нахождения решения системы алгебраических уравнений и базисов Гребнера ..." | ||
Том 33, № 1 (2021) | Размышление о дизайне и восприятии пользователями приложения Tamil talk | Аннотация похожие документы |
Радж РАМАЧАНДРАН СУБРАМАНЬЯН, Эммануэль Кайоде Акиншола ОГУНШИЛЕ | ||
"... и философии. В этой статье используется автохтонный подход к осмыслению дизайна и принятия ..." | ||
Том 31, № 5 (2019) | Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко | ||
"... . Предлагаются компьютерно-алгебраические процедуры (они реализованы в среде Maple) построения решений двух видов ..." | ||
Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) похожие документы |
Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
"... выполнении нескольких экспериментов. Кроме того, мы описываем применение алгоритма для решения задач ..." | ||
Том 21 (2011) | Извлечение предментно-ориентированных подмножеств словаря Википедии с использованием структуры категорий | Аннотация PDF (Rus) похожие документы |
А. В. Коршунов, Д. Ю. Турдаков, Чингук Чонг, Минхо Ли, Чансунг Мун | ||
"... недооценённой. Мы демонстрируем необходимость подобной процедуры и предлагаем соответствующую методику. В ..." | ||
Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин | ||
"... , возникающие при создании таких программ, и предлагаются техники их автоматизированного решения. Статья ..." | ||
Том 19 (2010) | Обмен данными в распределенной системе поддержки решений | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... Обмен данными - расширение возможностей локальной системы поддержки решений с целью привлечения ..." | ||
Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
Александр Валерьянович Самонов | ||
"... верификации формальных моделей требований и проектных решений автоматизированных информационных систем ..." | ||
Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
1 - 30 из 37 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)