Сортировать по:
Выпуск | Название | |
Том 18, № 2 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. II | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Поляков | ||
"... Almost simple {SM}_m -groups are considered. A group G is called {SM}_m -group if the tensor square ..." | ||
Том 18, № 1 (2011) | О тензорных квадратах неприводимых представлений конечных почти простых групп. I. | Аннотация PDF (Rus) похожие документы |
С. В. Поляков | ||
"... Almost simple SM_m-groups are considered. A group G is called a SM_m-group if the tensor square ..." | ||
Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
"... of this paper is to show that even for the weakest model of passive adversary and for relatively simple ..." | ||
Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
Андрей Валентинович Климов | ||
Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
Том 28, № 3 (2021) | Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений | Аннотация PDF (Rus) похожие документы |
Глеб Дмитриевич Степанов | ||
Том 20, № 1 (2013) | О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... Пусть π — множество простых чисел. Для групп Баумслага — Солитэра получено необходимое и ..." | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
"... of the developed approach an efficient equivalence checking algorithm for the class of simple grammars ..." | ||
Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Магазинов | ||
"... of hyperfaces of a random polytope when the mother body is a simple polytope. Thus we verify a weaker version ..." | ||
Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... . С его помощью были выполнены первые эксперименты по верификации простых программ на Mini-NIL ..." | ||
Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
"... small key size. In this connection, in the present paper it is proposed to use the tensor product ( C_1 ..." | ||
Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
В. С. Рублев | ||
"... should allow us to describe a simple data query of this model. ..." | ||
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... A class of infinite-state automata with a simple periodic behaviour and a convenient graphical ..." | ||
Том 22, № 4 (2015) | О конечных группах с большой степенью неприводимого характера | Аннотация PDF (Rus) похожие документы |
Л. С. Казарин, С. С. Поисеева | ||
"... is solvable groups with abelian normal subgroup K of index pq. We use the classification of finite simple groups ..." | ||
Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..." | ||
Том 19, № 5 (2012) | Современные открытые проблемы в дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
Герберт Эдельсбруннер, Александр Иванов, Роман Карасев | ||
"... outside the standard circle of ideas in discrete geometry. Despite the relatively simple statements ..." | ||
Том 23, № 3 (2016) | Численное решение одной сингулярно возму- щённой задачи в круговой области | Аннотация похожие документы |
А. Ф. Хегарти, Ю. О’Риордан | ||
"... on a circular domain. Using polar coordinates, simple upwinding and a piecewise-uniform Shishkin mesh ..." | ||
Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Горский | ||
"... , ρ), where Q is a word in the alphabet of simple reflections, ρ is a group element. We describe ..." | ||
Том 21, № 4 (2014) | Устойчивость в задаче поиска минимального разреза в графе | Аннотация PDF (Rus) похожие документы |
Илья Владимирович Козлов | ||
"... a polynomial algorithm for calculating the stability radius and a simple criterion for checking n-stability ..." | ||
Том 21, № 4 (2014) | Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона | Аннотация PDF (Rus) похожие документы |
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов | ||
"... to blood pulsation. The measurement process is simple: the user covers the camera lens with a finger ..." | ||
Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бойцов | ||
"... a fairly simple application programming interface for software developers. In order to develop effective ..." | ||
Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
Елена Александровна Туманова | ||
"... $ - некоторое простое число, то группа $G_{k}$ аппроксимируется конечными $p$-группами тогда и только тогда ..." | ||
Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... Takagi function is a simple example of a continuous but nowhere differentiable function ..." | ||
Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
"... attempt to design a relatively simple axiomatization of the computer arithmetics in terms of real ..." | ||
Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... нильпотентна. Более того, доказано, что если для каждого множества π, состоящего из почти всех простых чисел ..." | ||
Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) похожие документы |
С. Е. Ваганов, С. И. Хашин | ||
"... of mean square error between the accurate value and the found approximation. A simple method performing ..." | ||
Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... Пусть π — множество простых чисел. Напомним, что группа G называется аппроксимируемой конечными π ..." | ||
Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
"... , which is simple in its implementation and is based on the use of the Krylov’s subspaces. The obtained ..." | ||
Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
Анна Шмилевна Непомнящая | ||
"... ) parallel systems with simple single–bit processing elements and vertical processing. The associative ..." | ||
Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
"... , and they have simple and concise formulations in the form of the algebraic equation w(x0,t) = 0 ..." | ||
Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
"... a Hamiltonian decomposition: an algorithm based on a simple path extension and an algorithm based on the chain ..." | ||
Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
"... . The article presents a simple and effective implementation of the algorithm, which is successfully used ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... for the application of such methods. A brief overview of the Reflex language is given and a simple example of its use ..." | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... correctness proof is given for the program that parses a simple arithmetic expression. We construct the graph ..." | ||
Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) похожие документы |
В. О. Голубенец | ||
"... parameter of this equation has one critical value. A simple sufficient condition of Andronov – Hopf ..." | ||
Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
С. Н. Баранов, В. В. Никифоров | ||
"... on a multi-core platform is described. The application structure is specified through a simple formalized ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... results in having to prove too complex formulas in simple cases. Our contribution is a new logic ..." | ||
Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
"... each simple statement and to conduct their step-by-step proof. The second editor allows (using ..." | ||
Том 28, № 4 (2021) | Решение задач линейного программирования приведением к виду с очевидным ответом | Аннотация PDF (Rus) похожие документы |
Глеб Дмитриевич Степанов | ||
"... and remember analogue of the famous Farkas lemma is obtained. The other option is quite simple to use, but its ..." | ||
Том 24, № 1 (2017) | О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
"... only to a simple solution prolongation operation on the multigrid complex to reduce substantially ..." | ||
Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
"... to store the rules, in which the operation of adding a new rule would be simple. After analyzing ..." | ||
Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... the model and reduce verification time. We demonstrate the application of these results on a simple ..." | ||
Том 32, № 1 (2025) | Обзор моделей автоматической оценки сходства ответа учащегося с эталонным ответом | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина | ||
"... models based on various stylometric features, both simple ones like a bag of words and n-grams ..." | ||
Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
Томас Баар, Хорст Шульте | ||
"... , it turns out that simple proportional (P) controllers can be easily represented by HP programs, but more ..." | ||
Том 26, № 2 (2019) | Пороговый анализ деградации запросов внутри вычислительной сети | Аннотация похожие документы |
Василий Павлович Кирнос | ||
"... of SBIS3 application (product of Tensor Company) is treated. Further, two approaches allowing to analyze ..." | ||
Том 22, № 1 (2015) | Сингулярно возмущённая краевая задача с многозонным внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
Валентин Федорович Бутузов | ||
"... , причём два из них – простые (однократные), а третий – двукратный. Доказано, что для достаточно малых ..." | ||
Том 14, № 2 (2007) | SR-группы порядка 2npm с диэдральной 2-силовской подгруппой | Аннотация PDF (Rus) похожие документы |
В. В. Янишевский | ||
"... подгруппы Фраттини. Доказано, что если такая группа несверхразрешима, то p - простое число Мерсеннa и данная ..." | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... могут быть представлены в виде композиции моделей с простыми группами автоморфизмов. Доказано также, что ..." | ||
Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
"... for a group is fundamental and can be used for understanding the group structure. For instance, every simple ..." | ||
Том 29, № 3 (2022) | О построении самодополнительных кодов и их приложении в задаче сокрытия информации | Аннотация PDF (Rus) похожие документы |
Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц | ||
"... on residual codes, based on the (u-u+v)-construction, and based on the tensor product of codes. On the joint ..." | ||
Том 23, № 3 (2016) | Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер | ||
"... and the behavior of the solution in the boundary layers essentially differ from that ones in case of a simple root ..." | ||
Том 24, № 3 (2017) | О контрастных структурах с многозонным внутренним слоем | Аннотация PDF (Rus) похожие документы |
Валентин Фёдорович Бутузов | ||
"... решения от двукратного корня вырожденного уравнения к простому корню, а во втором случае во внутреннем ..." | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... a basic prototype; experiment results on a set of simple test BMC problems are satisfactory. ..." | ||
Том 23, № 5 (2016) | Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
В. Ф. Бутузов, В. А. Белошапко | ||
"... of the degenerate equation is simple: the asymptotic expansion of the solution being in fractional powers ..." | ||
Том 20, № 1 (2013) | О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Алексей Вячеславович Розов | ||
"... Пусть G — свободное произведение финитно аппроксимируемых почти раз- решимых групп A и B конечного ..." | ||
Том 23, № 4 (2016) | Об алгебраических циклах на расслоенных произведениях неизотривиальных семейств регулярных поверхностей с геометрическим родом | Аннотация PDF (Rus) похожие документы |
О. В. Никольская | ||
"... , кроме того, морфизмы гладкие, - нечетные простые числа и , то для | ||
Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
В. А. Башкин | ||
"... and two modified models is studied. It is shown, that AR-nets and AR-nets with simple firing ..." | ||
Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
"... of a simple experiment. The experiment is to chose an element independently and uniformly from a quite large ..." | ||
Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
Е. А. Tимофеев | ||
"... нулю почти всюду (p ̸= q). Моменты сингулярной функции Лебега определяются как Mn = Eξn. Основной ..." | ||
Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
"... ковариационной матрицы входных сигналов почти в два раза. ..." | ||
Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... асимптотического метода задачу о поведении решений исходных систем удается свести к существенно более простой ..." | ||
Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
Анатолий Михайлович Цирлин | ||
"... системы (инварианта), за счет расширения задачи и перехода от исходной задачи к более простой, дающей ..." | ||
Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
"... подвергаясь никакому системному простою. В этом контексте основной вклад данной статьи – доказательство ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... specify processes which are merging of base system processes, in contrast to simple nonterminals which ..." | ||
Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
Томас Баар | ||
"... machine allows to assess its quality in terms of a simple number. In model-based software development ..." | ||
Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
"... in NLP tasks. The idea of word2vec is based on a simple rule that a higher similarity can be reached ..." | ||
Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
Наталия Павловна Стрелкова | ||
"... комбинаторные структуры и длины рёбер минимальных сетей на выпуклых многогранниках. Доказано, что на почти всех ..." | ||
Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
"... . Также доказано, что почти все полимино, дающие решетчатые разбиения плоскости, имеют большой периметр. ..." | ||
Том 23, № 3 (2016) | Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии | Аннотация похожие документы |
Т. Я. Ершова | ||
"... в сеточной норме максимум модуля почти с первым порядком, а именно с той же скоростью, что и при ..." | ||
Том 24, № 2 (2017) | О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики | Аннотация PDF (Rus) похожие документы |
Татьяна Вячеславовна Прохорова | ||
"... ,) ; (NS(V)=NS(Votimesoverline k).) Если для простого числа (l), не делящего ({Card}([NS(V)]_{tors ..." | ||
Том 24, № 2 (2017) | О бифуркациях при малых возмущениях в логистическом уравнении с запаздыванием | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко | ||
"... величины большого запаздывания. Для наиболее простого случая, когда этот порядок совпадает с величиной ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..." | ||
Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
Юрий Анатольевич Белов | ||
"... более простого случая некоторые вопросы остаются открытыми. В заметке доказывается, что любой конечный ..." | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... One of the most simple models of computation which is suitable for representation of reactive ..." | ||
1 - 75 из 83 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)