Сортировать по:
| Выпуск | Название | |
| Том 29, № 2 (2022) | Степени перечислимости ограниченных множеств | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон | ||
| "... )$. In this article, the next step is taken -- the enumeration degrees of sets bounded from above or below by a graph ..." | ||
| Том 19, № 3 (2012) | О неглавных идеалах в полурешетке степеней перечислимости | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон, Валерий Валерьевич Тихов | ||
| "... This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees. ..." | ||
| Том 19, № 5 (2012) | О неглавных идеалах в полурешетке степеней перечислимости | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич Солон, Валерий Валерьевич Тихов | ||
| "... This paper is dedicated to the study of ideals in semi-lattice of the enumeration degrees. ..." | ||
| Том 19, № 4 (2012) | Счетные идеалы в полурешетке Dе степеней | Аннотация PDF (Rus) похожие документы |
| Валерий Валерьевич Тихов | ||
| "... Доказано, что любой счетный идеал в полурешетке степеней перечислимости является пересечением двух ..." | ||
| Том 26, № 2 (2019) | eT-сводимость множеств | Аннотация PDF (Rus) похожие документы |
| Роман Ревович Яруллин | ||
| "... of algorithmic reducibility, which is both enumeration reducibility and decidable one. The corresponding ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... the validity of logical inferences, expressed in terms of the LTL logic. The LTL logic is applied to bounded ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... is very similar to the bounded model checking, which also has to deal with generating models from a source ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... in recent years in the context of bounded model checking to do function summarization which allows one ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| "... тотальной корректности и обоснованы (доказаны) методом Флойда верификации алгоритмов. Такой формализованный ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... variants of spatial boundedness for cellular RDA-nets are defined: localization, bounded diameter ..." | ||
| Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
| А. И. Задорин | ||
| "... of regular and boundary layer components. It is supposed that derivatives of a regular component are bounded ..." | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... capabilities, for example, for non-recursive processes, in which all runs have a bounded length, for processes ..." | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... Let $G_{k}$ be defined as $G_{k} = langle a, b; a^{-1}ba = b^{k} rangle$, where $k ne 0 ..." | ||
| Том 19, № 3 (2012) | Синергетика — от прошлого к будущему | Аннотация PDF (Rus) похожие документы |
| Георгий Геннадьевич Малинецкий | ||
| "... questions of the modern science and a number of key high technologies bounded with the future of the economy ..." | ||
| Том 19, № 3 (2012) | Об одном классе операторных включений | Аннотация PDF (Rus) похожие документы |
| Николай Андреевич Демьянков, Владимир Степанович Климов | ||
| "... A – a bounded operator of monotone type from a reflexive space into conjugate to it, N – a conevalued operator ..." | ||
| Том 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 ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... as an executor module Tassadar as a part of bounded model checker Borealis. We tested Tassadar on two test sets ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... squares edge to edge. At present, various combinatorial enumeration problems connected to the polyomino ..." | ||
| Том 21, № 3 (2014) | Счётная аддитивность распространения оператора дифференцирования | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... : Λ(S fi) = S Λ(fi) is true. The bounded variation in the Jordan sense is closest to the sufficient ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... obtained. P-invariant Petri nets are structuraly conservative and bounded that together with liveness ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... operator is constructed. The resulting operator carries a closed bounded convex set of initial conditions ..." | ||
| Том 20, № 5 (2013) | Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| "... integral equations for the fixed values of the control, which are bounded by the given positive constant ..." | ||
| Том 20, № 5 (2013) | Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ | Аннотация PDF (Rus) похожие документы |
| Мухтор Рамазонович Лангаршоев | ||
| "... of continuity where the r-th derivatives are bounded by functions which satisfy certain constraints were ..." | ||
| Том 20, № 3 (2013) | Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Павел Леонидович Шокин | ||
| "... and notice that the dimension grows as the parameter decreases but is bounded. We show that the dimension ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... , with an unbounded operator. The perturbation takes the form of the family of the bounded operators that, in a sense ..." | ||
| Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... тотальной ограниченности не является даже частично разрешимой. Для односчет-чиковых машин Минского указанные ..." | ||
| Том 20, № 2 (2013) | Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты | Аннотация PDF (Rus) похожие документы |
| Антон Юрьевич Бернштейн, Николай Вячеславович Шилов | ||
| "... ) there is no protocol that solves the RinS, which transfers a bounded number of bits, and (2) suggested the protocol ..." | ||
| Том 22, № 4 (2015) | О конечных группах с большой степенью неприводимого характера | Аннотация PDF (Rus) похожие документы |
| Л. С. Казарин, С. С. Поисеева | ||
| "... is bounded in terms of e, provided e > 1. Y. Berkovich proved that in the case e = 1 the group G is Frobenius ..." | ||
| Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... is that their complexity is bounded from below by the clique number of the solutions graph. In 2015-2018, there were five ..." | ||
| Том 22, № 5 (2015) | Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии | Аннотация PDF (Rus) похожие документы |
| А. М. Ковалева, Д. А. Куликов | ||
| "... to use the analytical theory of semigroups of bounded linear operators. In order to solve the occurring ..." | ||
| Том 24, № 1 (2017) | Пополнение ядра оператора дифференцирования | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... ) and (Lambda f = 0.) Consequently, the space of the functions of the bounded variation (H_1 ^ 1 ..." | ||
| Том 25, № 3 (2018) | Изопериметрические и функциональные неравенства | Аннотация PDF (Rus) похожие документы |
| Владимир Степанович Климов | ||
| "... )) , dx ,$$ where (Omega) -- a bounded domain in (mathbb{R}^n ; (n geqslant 2)), an integrand (f ..." | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... measurable functions bounded on the segment (I) ) is called ((k; p))-differentiable at a point (x in I ..." | ||
| Том 30, № 3 (2023) | О геометрическом подходе к оцениванию интерполяционных проекторов | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... Suppose $Omega$ is a closed bounded subset of ${mathbb R}^n,$ $S$ is an $n ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... $ is the space of bounded functions, and $ overline{Theta [f]}$ is the function $ Theta [f](x),$ extended ..." | ||
| 1 - 39 из 39 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
