Сортировать по:
| Выпуск | Название | |
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| Том 21, № 5 (2014) | Применение метода квазинормальных форм к математической модели отдельного нейрона | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| Том 23, № 3 (2016) | Двухточечная краевая задача Капуто: существование, единствен- ность и регулярность решения | Аннотация похожие документы |
| М. Стайнс | ||
| Том 19, № 2 (2012) | Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Заводчиков | ||
| "... In this paper we consider Giseker-Maruyama moduli scheme M := MP3(2;¡1; 2; 0) of stable coherent ..." | ||
| Том 19, № 3 (2012) | О некоторых результатах по геометрии выпуклых и их приложениях | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| Том 19, № 3 (2012) | О порядке роста числа инъективных и сверхрастущих рюкзачных векторов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин | ||
| "... In 1978 R. Mercle and M. Hellman offered to use the subset sum problem for constructing ..." | ||
| Том 19, № 4 (2012) | Конструктивная классификация графов | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Иорданский | ||
| Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
| Светлана Михайловна Ермакова | ||
| Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
| Мирганд Шабозович Шабозов | ||
| Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Иванов | ||
| Том 19, № 6 (2012) | Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Козачок | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация 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) | Об одной задаче для симплекса и куба в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Омелькова | ||
| Том 14, № 1 (2007) | Минимальные проекторы и максимальные симплексы | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| Том 14, № 3 (2007) | Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| Том 16, № 3 (2009) | Однородные и четно-однородные супермногообразия с ретрактом CP(1|4 kk20) при к >= 2 | Аннотация PDF (Rus) похожие документы |
| М. А. Башкин | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин | ||
| Том 18, № 3 (2011) | О гипотезе Лассака для выпуклого тела | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... In 1993 M. Lassak formulated (in the equivalent form) the following conjecture. If we can inscribe ..." | ||
| Том 18, № 1 (2011) | Геометрические оценки в полиномиальной интерполяции | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| Том 18, № 2 (2011) | О геометрических характеристиках n-мерного симплекса | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| Том 20, № 2 (2013) | Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II | Аннотация PDF (Rus) похожие документы |
| Мария Валентиновна Бутузова | ||
| Том 20, № 1 (2013) | Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I | Аннотация PDF (Rus) похожие документы |
| Мария Валентиновна Бутузова | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) похожие документы |
| Маргарита Александровна Калашникова | ||
| Том 22, № 2 (2015) | Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах | Аннотация PDF (Rus) похожие документы |
| Светлана Михайловна Ермакова | ||
| "... -hypersufaces Yi = lim−→Yi,m, m ≥ 1, of fixed degrees di , i = 1, ..., l, in the space P∞, in which the ind ..." | ||
| Том 22, № 6 (2015) | Лингвостатистический анализ терминологии для построения тезауруса предметной области | Аннотация PDF (Rus) похожие документы |
| М. С. Каряева | ||
| Том 23, № 1 (2016) | Продолжение решения на границе разрыва как решение задачи усредненной оптимизации | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин | ||
| Том 23, № 4 (2016) | Резервное копирование с хранением в базе данных | Аннотация PDF (Rus) похожие документы |
| С. М. Таранин | ||
| Том 23, № 5 (2016) | Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости | Аннотация PDF (Rus) похожие документы |
| М. А. Терентьев | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| Том 24, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| Том 24, № 2 (2017) | Дедубликация в системе резервного копирования с хранением информации в базе данных | Аннотация PDF (Rus) похожие документы |
| Сергей Максимович Таранин | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| Том 24, № 5 (2017) | Импульсно-рефрактерный режим в кольцевой цепи синаптически связанных осцилляторов нейронного типа | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and Verification ..." | ||
| Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
| Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
| Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
| Том 19, № 2 (2012) | Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Татаринов, Анатолий Михайлович Цирлин | ||
| Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| Том 19, № 5 (2012) | Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости | Аннотация PDF (Rus) похожие документы |
| Мария Владимировна Демина, Николай Алексеевич Кудряшов | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| Том 21, № 5 (2014) | Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Мария Владимировна Демина | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| Том 21, № 5 (2014) | Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Фарков, Александр Иванович Легалов | ||
| Том 21, № 4 (2014) | Совершенные призмоиды и решетчатые многогранники Делоне | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Козачок, Александр Николаевич Магазинов | ||
| Том 21, № 2 (2014) | Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3 | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Тихомиров, Михаил Александрович Заводчиков | ||
| "... , c₂ = 4, c₃ = 2m, m = 1, 2, 3, 4, 5, 6, 8. We find two components of the expected dimension 27 ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| Том 14, № 2 (2007) | Однородные супермногообразия с ретрактом CP (1|4, k1k2 11) | Аннотация PDF (Rus) похожие документы |
| М. А. Башкин, Л. И. Хабадзе | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| Том 26, № 2 (2019) | Система распределения ключей на дизайнах | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Алексей Александрович Таран | ||
| Том 16, № 3 (2009) | Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева, М. Л. Мячин | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| Том 22, № 5 (2015) | Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии | Аннотация PDF (Rus) похожие документы |
| А. М. Ковалева, Д. А. Куликов | ||
| Том 23, № 2 (2016) | Криптосистема на индуцированных групповых кодах | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин, Ал. А. Ахременков | ||
| Том 23, № 5 (2016) | О числовых характеристиках симплекса и их оценках | Аннотация PDF (Rus) похожие документы |
| М. В. Невский, А. Ю. Ухалов | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
| 1 - 75 из 100 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
