Сортировать по:
Выпуск | Название | |
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
Том 32, № 1 (2025) | Экстремальные оценки индекса Винера для слабо связных ориентированных графов | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Чалый | ||
Том 23, № 2 (2016) | Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем | Аннотация PDF (Rus) похожие документы |
Д. Ю. Волканов | ||
Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
Том 32, № 1 (2025) | Иерархическая классификация научных статей при помощи глубокого обучения (на примере иерархии УДК) | Аннотация PDF (Rus) похожие документы |
Валентин Юрьевич Мамедов, Данил Анатольевич Ковалевский, Дмитрий Алексеевич Морозов, Степан Сергеевич Столяров, Сергей Сергеевич Оспичев | ||
Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Павленко | ||
Том 19, № 3 (2012) | Динамика простейших кусочно-линейных разрывных отображений | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Кащенко | ||
Том 19, № 3 (2012) | О порядке роста числа инъективных и сверхрастущих рюкзачных векторов | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин | ||
Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Иванов | ||
Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Зайцев | ||
Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Зайцев | ||
Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Мордвинов | ||
Том 20, № 1 (2013) | О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
Том 22, № 1 (2015) | Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Глазков | ||
Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Макаров | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
Лев Юрьевич Бараш, Лев Николаевич Щур | ||
Том 20, № 2 (2013) | Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты | Аннотация PDF (Rus) похожие документы |
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов | ||
Том 30, № 2 (2023) | Полином Жегалкина многоместного самодостаточного оператора | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
Том 26, № 2 (2019) | Линейная интерполяция на евклидовом шаре в Rⁿ | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 24, № 1 (2017) | Новые оценки числовых величин, связанных с симплексом | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 24, № 5 (2017) | Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 25, № 1 (2018) | О минимальном коэффициенте поглощения для n-мерного симплекса | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
Том 30, № 3 (2023) | О геометрическом подходе к оцениванию интерполяционных проекторов | Аннотация PDF (Rus) похожие документы |
Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
Том 30, № 1 (2023) | Разметка корпусов текстов по тональности и наличию иронии в рамках проекта гражданской науки | Аннотация PDF (Rus) похожие документы |
Илья Вячеславович Парамонов, Анатолий Юрьевич Полетаев | ||
Том 29, № 2 (2022) | Применение функций голосования для оценки числа монотонных самодвойственных булевых функций | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
Том 19, № 5 (2012) | Динамика комплексного пространственно-распределенного уравнения Хатчинсона | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко | ||
Том 19, № 5 (2012) | Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Куликов, Александр Степанович Рудый | ||
Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) похожие документы |
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Антонов, В. С. Рублев | ||
Том 22, № 2 (2015) | Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы | Аннотация PDF (Rus) похожие документы |
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
Том 21, № 5 (2014) | О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа | Аннотация PDF (Rus) похожие документы |
Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
Том 21, № 2 (2014) | Неклассические релаксационные колебания в нейродинамике | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
Том 20, № 5 (2013) | Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики | Аннотация PDF (Rus) похожие документы |
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
Том 22, № 1 (2015) | Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
Том 24, № 1 (2017) | Релаксационные автоколебания в системе из двух синаптически связанных импульсных нейронов | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Елена Александровна Марушкина | ||
Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
Том 32, № 2 (2025) | Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
Том 31, № 3 (2024) | Методы определения неявно упоминаемых аспектов в публицистических предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Егор Михайлович Колупаев | ||
Том 31, № 4 (2024) | Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
Том 24, № 3 (2017) | Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия | Аннотация похожие документы |
Дмитрий Витальевич Лукьяненко, Владимир Тарасович Волков, Николай Николаевич Нефедов | ||
Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
Том 25, № 1 (2018) | Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием | Аннотация PDF (Rus) похожие документы |
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков | ||
Том 30, № 4 (2023) | Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений | Аннотация PDF (Rus) похожие документы |
Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков | ||
1 - 75 из 91 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)