Сортировать по:
Выпуск | Название | |
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... that simulates all the functions in the mutual recursion. A natural number is assigned to each function in mutual ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
"... ... Many fascinating examples were examined and resulted in recursion elimination techniques known as tail ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... Рассматриваются программные компоненты для поддержки рекурсивно-параллельного программирования в ..." | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... алгоритм решения задачи, основанный на парадигме рекурсивно-параллельных вычислений. Он представляется нам ..." | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..." | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..." | ||
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... вычислительной сети под управлением среды исполнения .NET Framework. Библиотека поддерживает рекурсивно ..." | ||
Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... представляется использование рекурсивно-параллельной организации вычислений. В нашем случае хорошим выбором ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
Ханс Де Нивелле | ||
"... of functions. We define the types and the subtypes (which we will call adjectives), define their semantics ..." | ||
Том 27, № 3 (2020) | О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... Raphael Robinson showed that all primitive recursive functions depending on one argument, and only ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10,pp. 925-942, 1947. [4] J ..." | ||
Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 25, № 3 (2018) | О дифференцируемости по Тейлору в пространствах Lp, 0 < p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... The function (fin L_p[I], ;p>0,) is called ((k,p))-differentiable at a point (x_0in I ..." | ||
Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Takagi function is a simple example of a continuous but nowhere differentiable function ..." | ||
Том 29, № 2 (2022) | Применение функций голосования для оценки числа монотонных самодвойственных булевых функций | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
"... boolean functions. For other precomplete classes, general formulas for the number of functions ..." | ||
Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
"... Network function virtualization (NFV) is a promising technique of high quality, flexible ..." | ||
Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Recall Lebesgue’s singular function. Imagine flipping a biased coin with probability p of heads ..." | ||
Том 22, № 1 (2015) | О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций | Аннотация PDF (Rus) похожие документы |
Камаридин Тухлиев | ||
"... (f;t) determined by Steklov’s function is used instead the usual modulus of continuity of mth order ..." | ||
Том 24, № 3 (2017) | Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом | Аннотация PDF (Rus) похожие документы |
Григорий Андреевич Ахременко | ||
"... are selected. In particular, it was ascertained that for this class of functions, under condition ..." | ||
Том 24, № 4 (2017) | Разложение самоподобных функций в системе Фабера–Шаудера | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Тимофеев | ||
"... _k}, j = j_12^{n-1}+j_22^{n-2}+dots+j_n$$. The family of functions (1,x,tau(2^nx-j)), (j =0,1,dots ..." | ||
Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Recall the Lebesgue's singular function. We define a Lebesgue's singular function (L(t ..." | ||
Том 20, № 6 (2013) | Построение оценки энтропии для специальной метрики и произвольной функции | Аннотация PDF (Rus) похожие документы |
Нина Евгеньевна Тимофеева | ||
"... the logarithm in the estimation of the entropy, we apply a similar function which may be arbitrary at the given ..." | ||
Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
"... the space of continuous functions (f:Q_nto{mathbb R}) with the norm (|f|_{C(Q_n)}:=maxlimits_{x ..." | ||
Том 22, № 1 (2015) | Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений | Аннотация похожие документы |
Николай Алексеевич Кудряшов | ||
"... The method of the logistic function is presented for finding exact solutions of nonlinear ..." | ||
Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
"... mathematical functions” is aimed onto the development of incremental combined approach to specification ..." | ||
Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... of data objects. The paper considers mathematical models and functions for representing persistent ..." | ||
Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
"... and even avoid unit testing. In this paper, we chose a production use case: a function calculating ..." | ||
Том 17, № 3 (2010) | Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) | Аннотация PDF (Rus) похожие документы |
А. С. Снятков | ||
"... functions fi,i > 0. They are called "hyperfuncctions" and they are obtained when we iterate an addition ..." | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..." | ||
Том 30, № 2 (2023) | Полином Жегалкина многоместного самодостаточного оператора | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
"... Among functionally complete sets of Boolean functions, sole sufficient operators are of particular ..." | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... of various function summaries to improve analysis efficiency and expressive power. We have implemented ..." | ||
Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Дудаков | ||
"... that if recursive queries contain universe functions and relations, then its execution can fall into an infinite ..." | ||
Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
Мирганд Шабозович Шабозов | ||
"... The problem of minimizing the error of a cubature formula on the classes of functions given ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
А. И. Задорин | ||
"... Interpolation of functions on the basis of Lagrange’s polynomials is widely used. However ..." | ||
Том 32, № 2 (2025) | Об экстремальных элементах и мощности множества непрерывно дифференцируемых выпуклых продолжений булевой функции | Аннотация PDF (Rus) похожие документы |
Достонжон Нумонжонович Баротов, Рузибой Нумонжонович Баротов | ||
"... differentiable convex extensions to $[0,1]^n$ of an arbitrary Boolean function $f_{B}(x_1,x_2,ldots,x ..." | ||
Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
Н. А. Кудряшов, Д. И. Синельщиков | ||
"... function. Since in the general case this solution has a cumbersome form we find some correlations ..." | ||
Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) похожие документы |
С. Е. Ваганов, С. И. Хашин | ||
Том 24, № 5 (2017) | О локально выпуклых кривых | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
"... ), , (a leqslant t leqslant b)), where (u(t)), (v(t)) are continuously differentiable on ([a,b]) functions ..." | ||
Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... . The approach is based on a utility function that takes into account the amount of resources in a patch ..." | ||
Том 25, № 3 (2018) | Изопериметрические и функциональные неравенства | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
"... (t,p) , (t in [0, infty),; p in mathbb{R}^n)) -- a function that is (B)-measurable ..." | ||
Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... in the space of Lebesgue integrable functions and the consistency of this concept with fundamental ..." | ||
Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... Рассматривается новая версия интегрированной среды рекурсивно-параллельного (РП-) программирования ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..." | ||
Том 18, № 1 (2011) | Геометрические оценки в полиномиальной интерполяции | Аннотация PDF (Rus) похожие документы |
М. В. Невский | ||
"... of continuous functions of n variables. ..." | ||
Том 30, № 3 (2023) | Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... of the Boltzmann distribution is proposed. To construct the probability distribution the utility functions are used ..." | ||
Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
Томас Баар, Хорст Шульте | ||
Том 20, № 5 (2013) | Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ | Аннотация PDF (Rus) похожие документы |
Мухтор Рамазонович Лангаршоев | ||
"... functions with trigonometric polynomials and generalized moduli of the continuity Ωm of m-th order in L₂[0 ..." | ||
Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
Камаридин Тухлиев | ||
"... of differentiable functions, the second gradient norm of which in Lp (1 ≤ p < ∞) is bounded along the curve by which ..." | ||
Том 23, № 3 (2016) | Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии | Аннотация похожие документы |
Т. Я. Ершова | ||
"... faces of the rectangular and directed to the right while the first derivative of the boundary function ..." | ||
Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
"... определена на основе тональностей её составляющих с помощью рекурсивного применения семантических правил к ..." | ||
Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... $ and $1 leq x leq 50000$, then, for almost all considered $k$, the function $f_{k}(x)$ can ..." | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..." | ||
Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... The paper considers methods for estimating stability using Lyapunov functions, which are used ..." | ||
Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
"... on eddy current defectograms. The interference function was defined as the sum of the low-frequency ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... invariants of finite iterations using a symbolic replacement of these loops with recursive functions. Our ..." | ||
Том 18, № 3 (2011) | Об операторах дифференцирования и интегрирования | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... notion to wider classes of functions. ..." | ||
Том 28, № 4 (2021) | Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума | Аннотация PDF (Rus) похожие документы |
Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов | ||
Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
"... technologies of virtualization of network functions. In the course of experimental studies, a comparative ..." | ||
Том 27, № 4 (2020) | Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) | Аннотация PDF (Rus) похожие документы |
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто | ||
"... runtime on OneMax, shows better results on linear function with random weights, as well as on random ..." | ||
Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... (C^k.) At the same time there is a definition of ((k,p))-differentiability of a function ..." | ||
Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... of optimizing the model to improve the performance of the TLC model checker by defining a function ..." | ||
Том 23, № 2 (2016) | Асимптотика моментов симметричной свертки Бернулли | Аннотация похожие документы |
Е. А. Tимофеев | ||
"... .5logλ2−0.5eτ(−logλn)1+O(n−0.99), where is a 1-periodic function, 1k2πikx τ(x)= kα −lnλ e ..." | ||
Том 20, № 5 (2013) | Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина | Аннотация PDF (Rus) похожие документы |
Гулзорхон Амиршоевич Юсупов | ||
"... in inequalities of Jackson – Stechkin type between the best approximations of periodic differentiable functions f ..." | ||
Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
"... of their application. We provide the sample functions to illustrate the use of the different approaches to description ..." | ||
Том 19, № 3 (2012) | О гладкости в Lp, 0 < p < 1 | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... We discuss properties of functions which are covered by spreading the differentiation operator from ..." | ||
Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина | ||
"... by linear functions of integer variables. ..." | ||
Том 14, № 1 (2007) | Расстояния и другие меры близости на множестве черно-белых цифровых изображений | Аннотация PDF (Rus) похожие документы |
П. Г. Парфенов, И. А. Каплий, О. С. Куликов | ||
"... In the paper is formulated series of functions in a set of pairs of black-and-white digital images ..." | ||
Том 14, № 1 (2007) | K-функционалы и наилучшие кусочно-полиномиальные приближения | Аннотация PDF (Rus) похожие документы |
А. Н. Морозов | ||
"... polynomial approximations of functions from C. ..." | ||
Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
Анатолий Михайлович Цирлин | ||
"... are averaged. The functions defining the problem can not be differentiable and continuous on these variables ..." | ||
Том 16, № 3 (2009) | О неравенстве типа неравенства Джексона в диадическом пространстве BMO | Аннотация PDF (Rus) похожие документы |
И. П. Иродова | ||
"... In this paper the direct theorem of the approximation theory for functions from the dyadic Besov ..." | ||
Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
"... function values using parallel computing without loss in accuracy is suggested. This procedure is realized ..." | ||
Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков, А. В. Шубин | ||
"... существенной частью проекта по созданию и развитию программных средств поддержки рекурсивно-параллельного (РП ..." | ||
Том 29, № 2 (2022) | Степени перечислимости ограниченных множеств | Аннотация PDF (Rus) похожие документы |
Борис Яковлевич Солон | ||
"... if it contains a graph of some total function. In a number of works by the author and a group of mathematicians ..." | ||
1 - 75 из 181 результатов | 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)