Results 1 to 10 of about 77,116 (186)
The effect of partiality and adaptivity on the complexity of FSM state identification problems
Труды Института системного программирования РАН, 2018 State identification is a long standing problem in the area of Finite State Machine (FSM) based modeling and testing of discrete event systems. For the identification of the current state of the system, so-called homing and synchronizing experiments with
H. Yenigun +3 more
doaj +1 more source
К вопросу математического моделирования на основе теории конфликта
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2021 Социальные процессы, протекающие на уровне национальных сообществ, этнических социумов, нередко определяются наличием очагов конфликтности. Сложность, неоднозначность, противоречивость данных процессов ставит задачи по поиску путей воздействия на причины
Кенетова, Р.О.
doaj +1 more source
Двусторонняя унификация программ и ее применение для задач рефакторинга
Труды Института системного программирования РАН, 2018 It is generally accepted that to unify a pair of substitutions θ_1 and θ_2 means to find out a pair of substitutions η' and η'' such that the compositions θ_1 η' and θ_2 η'' are the same.
T. A. Novikova, V. A. Zakharov
doaj +1 more source
Некоторые нестандартные возможности диалоговой тестирующей системы
Современные информационные технологии и IT-образование, 2023 В настоящее время в связи с бурным развитием дистанционного образования наблюдается большая потребность в качественных диалоговых тестирующих системах, позволяющих объективно оценить знания обучающихся и при этом не требующих от преподавателей ...
Краев, А.В. +1 more
doaj +1 more source
Основные положения экспертной системы с правилом вывода на основе нечеткой степени истинности [PDF]
, 2016 Представлена разработанная экспертная система с правилом вывода на основе нечёткой степени истинности. Использование нечёткой степени истинности значительно повышает эффективность решения задач, так как уменьшается сложность ...
Михелев, В. В. +1 more
core +2 more sources
The current state of art in program obfuscations:definitions of obfuscation security
Труды Института системного программирования РАН, 2018 Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data structures or prevents extracting of some valuable information from the text of a program.
N. P. Varnovsky +3 more
doaj +1 more source
Сложность решеток квазимногообразий унарных алгебр
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 Вопрос о том, что считать сложностью решетки квазимногообразий и какие решетки квазимногообразий являются сложными согласно той или иной мере сложности, а какие — нет, изучался многими авторами.
S.М. Lutsak
doaj +1 more source
Сложность «границ»: постановка проблемы, терминология и классификация
Журнал Фронтирных Исследований, 2019 В статье анализируется дискурс Пограничных исследований (Border Studies) с точки зрения корпуса основных используемых терминов. Это направление научного знания стало особенно востребовано с конца 1980-х гг.
Peter Ulrich +1 more
doaj +1 more source
Алгоритмическая сложность NP-трудных множеств [PDF]
, 2009 Работа усиливает результаты, ранее полученные в работах Дехтяря. Показано, что колмогоровская алгоритмическая сложность распознавания начального отрезка длины $n$ $\NP$-трудного по Тьюрингу множества не может быть меньше $O(\lg\lg n)$, если $\NP\neq \P$
Дудаков, С.М.
core
EPPO Bulletin, Volume 54, Issue 2, Page 194-203, August 2024.Abstract The European Union (EU) regulation for fruit flies (Diptera: Tephritidae) was modified in 2022, and the broad ‘non‐European Tephritidae’ group was replaced by a list of 75 regulated taxa (66 species and nine genera). The National Reference Laboratories in the EU must now be able to identify all of them, whatever the development stage, in order
Pascal Rousse +7 more
wiley +1 more source