Сортировать по:
Выпуск | Название | |
Том 27, № 3 (2020) | О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... recursive functions and two Julia Robinson algebras: the partial algebra of all unary general recursive ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... 'tsev, “Constructive algebras I”, Russian Mathematical Surveys, vol. 16, no. 3, pp. 77-129, 1961. [2] A. I. Mal ..." | ||
Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
Ханс Де Нивелле | ||
"... Мы представляем табличную процедуру, которая проверяет логические отношения между рекурсивно ..." | ||
Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
"... algebras, are an option. The Artin–Wedderburn theorem implies that a group algebra is isomorphic ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... The new version of the recursive parallel programming shell for Win32 is reviewed. ..." | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... for solving the problem, based on the paradigm of recursive-parallel computations. We consider it suited well ..." | ||
Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
"... on the assumption that the sentiment of a phrase can be determined by the sentiments of its parts by the recursive ..." | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... a recursive-parallel programming style and provides effective work distribution and dynamic load balancing ..." | ||
Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
Н. В. Тимофеева | ||
"... associative algebras of finite type with unity over a field is given and proven. The field of coefficients ..." | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..." | ||
Том 19, № 3 (2012) | О порядке роста числа инъективных и сверхрастущих рюкзачных векторов | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... of an arbitrary number of functions elimination consists in constructing the universal recursive function ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
"... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
В. М. Деундяк, Ю. В. Косолапов | ||
"... for a practical implementation of the majority decoder for group codes specified as left ideals of group algebras ..." | ||
Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
"... of the CLR method construction, a computer algebra system (CAS) is applied for the derivation ..." | ||
Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
"... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..." | ||
Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков, А. В. Шубин | ||
"... . This library is a significant part of the RpmShell software for developing recursive parallel programming style. ..." | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... invariants of finite iterations using a symbolic replacement of these loops with recursive functions. Our ..." | ||
Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Дудаков | ||
"... ). The safety is a computability in finitely many steps. IFP-operators exactly correspond to recursive SQL ..." | ||
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... this library. The main purpose of these experiments was to study the acceleration achieved by recursive ..." | ||
Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
"... the Hirota bilinear operator algebra and a current theorem, it is shown that, in contrast to the usual vector ..." | ||
Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... dynamically during the execution. For such problems, it seems reasonable to use parallel-recursive algorithms ..." | ||
Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Балабаев | ||
"... of the extended problem ”of the sum of squares” known in algebra. ..." | ||
Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
Лев Юрьевич Бараш, Лев Николаевич Щур | ||
"... are considered for Multiple Recursive Generators. ..." | ||
Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
"... of the parallelism: recursive processing of the asynchronous flows, processing of the flows in an arbitrary ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
"... the finiteness of the Brauer group Br(X) classifying sheaves of Azumaya algebras on X modulo similitude ..." | ||
Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
"... universal hypergraphic automata. The input symbol semigroup S of such an automaton Atm(H1,H2) is an algebra ..." | ||
Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... on the construction of persistent landscape functions is given. Based on the algebra of polynomials in the barcode ..." | ||
Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
"... capabilities, for example, for non-recursive processes, in which all runs have a bounded length, for processes ..." | ||
Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
"... предложениям публицистического стиля речи. Алгоритм рекурсивно применяет подходящие правила к составным частям ..." | ||
Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
"... form called "universal relational query" based on three fundamental Relational Algebra operations ..." | ||
1 - 34 из 34 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)