Сортировать по:
Выпуск | Название | |
Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
Том 26, № 2 (2019) | Система распределения ключей на дизайнах | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Алексей Александрович Таран | ||
Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
В. М. Деундяк, Ю. В. Косолапов | ||
Том 23, № 2 (2016) | Криптосистема на индуцированных групповых кодах | Аннотация PDF (Rus) похожие документы |
В. М. Деундяк, Ю. В. Косолапов | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
Анатолий Михайлович Цирлин | ||
Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Дудаков | ||
Том 19, № 3 (2012) | О порядке роста числа инъективных и сверхрастущих рюкзачных векторов | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин | ||
Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Иванов | ||
Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
Анатолий Михайлович Цирлин | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
Том 24, № 5 (2017) | О локально выпуклых кривых | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Скороходов | ||
Том 19, № 4 (2012) | Контекстно-свободная грамматика одной ритмической модели русского стиха | Аннотация PDF (Rus) похожие документы |
Владимир Николаевич Бойков | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
Том 19, № 6 (2012) | О некоторых следствиях теоремы о трансверсалях | Аннотация PDF (Rus) похожие документы |
Владимир Леонидович Дольников | ||
Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Горюнов | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Балабаев | ||
Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
Владимир Евгеньевич Горюнов | ||
Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 25, № 3 (2018) | Изопериметрические и функциональные неравенства | Аннотация PDF (Rus) похожие документы |
Владимир Степанович Климов | ||
Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
Владимир Анатольевич Башкин | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
Том 19, № 2 (2012) | Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов | Аннотация PDF (Rus) похожие документы |
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин | ||
Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
Том 20, № 4 (2013) | Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний | Аннотация PDF (Rus) похожие документы |
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
Том 30, № 1 (2023) | Задачи в области распознавания именованных сущностей: технологии и инструменты | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Андрей Михайлович Васильев, Даниил Дмитриевич Зафиевский | ||
Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
Том 19, № 3 (2012) | Об одном классе операторных включений | Аннотация PDF (Rus) похожие документы |
Николай Андреевич Демьянков, Владимир Степанович Климов | ||
Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
Том 21, № 4 (2014) | О нецелочисленных гранях метрического многогранника | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев | ||
Том 19, № 6 (2012) | Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ | Аннотация PDF (Rus) похожие документы |
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко | ||
Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
Том 26, № 2 (2019) | Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
Том 24, № 2 (2017) | Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов | ||
Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
Том 24, № 6 (2017) | Поэтология: задачи построения тезауруса и спецификации стихового текста | Аннотация PDF (Rus) похожие документы |
Владимир Николаевич Бойков, Мария Сергеевна Каряева | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
Том 27, № 2 (2020) | Об одном механизме образования пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
1 - 75 из 96 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)