Список названий


 
Выпуск Название
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация   PDF (Rus)
М. Л. Громов, Н. В. Шабалдина
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация   PDF (Rus)
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
 
Том 20, № 6 (2013) Построение оценки энтропии для специальной метрики и произвольной функции Аннотация   PDF (Rus)
Нина Евгеньевна Тимофеева
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 22, № 3 (2015) ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ Аннотация   PDF (Eng)
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация   PDF (Rus)
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация   PDF (Rus)
Ю. Н. Артамонов
 
Том 19, № 2 (2012) Потоки в обобщенных сетях со связанными дугами Аннотация   PDF (Rus)
Владимир Александрович Скороходов
 
Том 24, № 6 (2017) Поэтология: задачи построения тезауруса и спецификации стихового текста Аннотация   PDF (Rus)
Владимир Николаевич Бойков, Мария Сергеевна Каряева
 
Том 20, № 6 (2013) Правильные полигональные комплексы высших рангов в E³ Аннотация   PDF (Rus)   PDF (Eng)
Шульте Эйгон
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация   PDF (Rus)
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
 
Том 18, № 3 (2011) Предельные возможности передачи информации в макросистемах Аннотация   PDF (Rus)
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация   PDF (Eng)
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация   PDF (Rus)
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация   PDF (Rus)
Анатолий Михайлович Цирлин
 
Том 17, № 1 (2010) Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами Аннотация   PDF (Rus)
Г. А. Курина, Т. Х. Нгуен
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация   PDF (Rus)
Турсун Камалдинович Юлдашев
 
Том 21, № 2 (2014) Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3 Аннотация   PDF (Rus)
Александр Сергеевич Тихомиров, Михаил Александрович Заводчиков
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация   PDF (Rus)
Анна Алексеевна Каленкова, Данил Александрович Колесников
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация   PDF (Rus)
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
 
Том 21, № 5 (2014) Применение метода квазинормальных форм к математической модели отдельного нейрона Аннотация   PDF (Rus)
Маргарита Михайловна Преображенская
 
Том 21, № 5 (2014) Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах Аннотация   PDF (Rus)
Михаил Александрович Фарков, Александр Иванович Легалов
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация   PDF (Rus)
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
 
Том 25, № 6 (2018) Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация   PDF (Rus)
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
 
Том 21, № 1 (2014) Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием Аннотация   PDF (Rus)
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация   PDF (Rus)
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация   PDF (Rus)
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация   PDF (Rus)
Евгений Александрович Бойцов
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация   PDF (Rus)
Н. В. Шилов
 
Том 14, № 1 (2007) Принципы построения семантической сервис-ориентированной архитектуры Аннотация   PDF (Rus)
Д. Ю. Кашалкин, В. А. Курчидис
 
Том 18, № 2 (2011) Принципы построения слоистых нейронных сетей на основе импульсных нейронов Аннотация   PDF (Rus)
Ольга Александровна Дунаева
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация   PDF (Rus)
Н. О. Гаранина
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация   PDF (Rus)
Артем Александрович Красотин, Игорь Вадимович Алексеев
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация   PDF (Rus)
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация   PDF (Rus)
А. М. Цирлин
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация   PDF (Rus)
Евгений Александрович Бойцов
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация   PDF (Rus)
И. В. Шошмина
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация   PDF (Rus)
Андрей Валентинович Климов
 
Том 15, № 1 (2008) Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор Аннотация   PDF (Rus)
Е. В. Коршунова, А. Н. Куликов
 
Том 18, № 1 (2011) Пространственно-неоднородные периодические решения уравнения Хатчинсона с распределенным насыщением Аннотация   PDF (Rus)
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 16, № 4 (2009) Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона Аннотация   PDF (Rus)
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
 
Том 20, № 3 (2013) Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении Аннотация   PDF (Rus)
Илья Сергеевич Кащенко
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация   PDF (Eng)
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
 
Том 16, № 3 (2009) Работы Ю.С. Колесова по дифференциальным уравнениям Аннотация   PDF (Rus)
В. Ш. Бурд
 
Том 19, № 6 (2012) Равномерная асимптотика верхней границы дисперсии для случайного многогранника Аннотация   PDF (Rus)   PDF (Eng)
Александр Николаевич Магазинов
 
Том 22, № 2 (2015) Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах Аннотация   PDF (Rus)
Светлана Михайловна Ермакова
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация   PDF (Rus)
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 20, № 1 (2013) Размерностные характеристики диффузионного хаоса Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин
 
Том 16, № 3 (2009) Разностные аппроксимации уравнения «реакция - диффузия» на отрезке Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация   PDF (Rus)
А. А. Носков, М. А. Никитинский, И. В. Алексеев
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация   PDF (Rus)
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация   PDF (Rus)
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация   PDF (Rus)
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
 
Том 22, № 4 (2015) Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях Аннотация   PDF (Rus)
А. Н. Носков, И. А. Манов
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация   PDF (Rus)
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 17, № 3 (2010) Разрешимость теории Th(w, 0,1, <, +, f0,..., fn) Аннотация   PDF (Rus)
А. С. Снятков
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация   PDF (Rus)
Андрей Эрикович Молчанов
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация   PDF (Rus)
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация   PDF (Rus)
Василий Николаевич Пашков
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация   PDF (Eng)
Н. В. Тимофеева
 
Том 14, № 1 (2007) Расстояния и другие меры близости на множестве черно-белых цифровых изображений Аннотация   PDF (Rus)
П. Г. Парфенов, И. А. Каплий, О. С. Куликов
 
Том 19, № 1 (2012) Редакционная статья Аннотация   PDF (Rus)
В. А. Соколов
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация   PDF (Rus)
С. М. Таранин
 
Том 18, № 1 (2011) Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа Аннотация   PDF (Rus)
А. Н. Куликов, Г. В. Пилипенко
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация   PDF (Rus)
О. Б. Кушнаренко, Ж.-Ф. Вебер
 
Том 17, № 3 (2010) Рекуррентные последовательности над почтикольцами Аннотация   PDF (Rus)
А. В. Сбоев
 
Том 24, № 1 (2017) Релаксационные автоколебания в системе из двух синаптически связанных импульсных нейронов Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Елена Александровна Марушкина
 
Том 20, № 5 (2013) Релаксационные колебания в моделях многовидовых сообществ Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация   PDF (Rus)
С. Д. Глызин
 
Том 24, № 2 (2017) Релаксационные циклы в модели синаптически взаимодействующих осцилляторов Аннотация   PDF (Rus)
Маргарита Михайловна Преображенская
 
451 - 525 из 642 результатов << < 2 3 4 5 6 7 8 9 > >>