| Выпуск | Название | |
| Том 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 > >> | |
