ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ
    Конференция
    Даты
    Программа
    Материалы
    Условия
    Место
    Оплата
    Контакты
    Фотографии
    Подписка
Powered by AGORA
ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ
    Доклады

ПРИНЯТЫЕ ДОКЛАДЫ

М. Б. АбросимовСаратовский государственный университет им. Н. Г. ЧернышевскогоОб одной гипотезе, связанной с вершинными расширениями соединений графов
Я. В. АкуловМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО классах булевых функций, замкнутых относительно операции расширенной суперпозиции|
В. Б. Алексеев, Р. Р. ОмаровМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО расстояниях от максимально-нелинейных булевых функций до почти аффинных функций
В. Е. Алексеев, Д. В. ЗахароваНижегородский государственный университет им. Н. И. ЛобачевскогоПолиномиальные алгоритмы решения задачи о независимом множестве для некоторых классов графов
М. А. Алехина, С. М. ГрабовскаяПензенский государственный университетО методах повышения надежности схем и неветвящихся программ
М. А. Алехина, Д. М. КлянчинаПензенский государственный университетОб асимптотически оптимальных по надежности схемах в базисах, содержащих существенную линейную функцию и функцию вида x_1^a \mathop {\&} x_2^b
О. Г. Антоновская, В. И. ГорюновНИИ прикладной математики и кибернетики Нижегородского государственного университета им. Н. И. ЛобачевскогоК проблеме оптимизации процесса управления в системах с переменной структурой
Л. Г. АфраймовичНижегородский государственный университет им. Н. И. ЛобачевскогоПриближенный алгоритм решения многоиндексных транспортных задач с декомпозиционной структурой
А. В. Баркалов, Н. В. ШестаковаНижегородский государственный университет им. Н. И. ЛобачевскогоОценка скорости сходимости одной итеративной процедуры решения биматричной игры 2\times 2
О. Ю. БарсуковаПензенский государственный университетО надежности и сложности сумматора порядка n
С. Р. БеджановаМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетПолные проверяющие тесты для схем, реализующих дизъюнкцию
П. П. БондаренкоСаратовский государственный университетМинимальные вершинные расширения цепей с вершинами двух типов
В. А. Бондаренко, А. В. НиколаевЯрославский государственный университет им. П. Г. ДемидоваО связи между классом гиперграфов специального вида и свойствами вершин релаксаций разрезного многогранника
Л. Н. Бондаренко, М. Л. ШараповаПензенский государственный университет; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультетИнтерполяционные взаимно обратные соотношения и обобщение формулы Ворпицкого
Ю. В. БородинаИнститут прикладной математики им. М. В. Келдыша РАН, МоскваСинтез легкотестируемых схем для систем булевых функций из некоторых классов
Д. Б. Буй, Ю. А. БогатырёваКиевский национальный университет им. Т. ШевченкоТеория мультимножеств: операции, структура, вычислимость
Д. Б. Буй, И. Н. ГлушкоКиевский национальный университет им. Т. ШевченкоОбобщенная табличная алгебра, обобщенные исчисления строк и доменов и их эквивалентность
Д. Б. Буй, С. В. КомпанКиевский национальный университет им. Т. Шевченко; Кировоградский государственный педагогический университет им. В. ВинниченкоФормализация наследования в объектно-ориентированных базах данных. Простое и множественное наследование
Д. Б. Буй, С. В. КомпанКиевский национальный университет им. Т. Шевченко; Кировоградский государственный педагогический университет им. В. ВинниченкоФормализация объектов, классов, методов в объектно-ориентированных базах данных
Д. Б. Буй, А. В. ПузиковаКиевский национальный университет им. Т. Шевченко; Кировоградский государственный педагогический университет им. В. ВинниченкоПолнота аксиоматики Армстронга
А. В. БухманМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиПолиномиальные алгоритмы для распознавания сохранения некоторых множеств функциями, представленными полиномами
С. И. ВеселовНижегородский государственный университет им. Н. И. ЛобачевскогоО фасетах бимодулярного полиэдра
В. Ю. Винник, Т. С. ПарфироваКиевский национальный университет им. Т. ШевченкоСуперпозиции ациклических программ
Н. В. ВласовМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности мультиплексорной функции в классе формул
А. В. ВласоваСаратовский государственный университет им. Н. Г. ЧернышевскогоОб эволюционных параметрах конечных динамических систем, ассоциированных с графами
В. А. ВоблыйМосковский государственный технический университет им. Н. Э. БауманаАналог формулы Моллоуса--Риордана для помеченных эйлеровых графов
А. А. Вороненко, Д. В. ЧистиковМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиРасшифровка бесповторных функций запросами тождественности
М. Н. Вялый, С. П. ТарасовВычислительный центр им. А. А. Дородницына РАН, МоскваО сложности задач регулярной реализуемости
А. В. ГавриковСаратовский государственный университет им. Н. Г. ЧернышевскогоО минимальных эйлеровых реконструкциях ориентированных графов
С. Б. Гашков, И. С. СергеевМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО сложности монотонных вычислений действительных многочленов
С. Ю. ГородецкийНижегородский государственный университет им. Н. И. ЛобачевскогоУчет ограничений в триангуляционных методах многоэкстремальной оптимизации
С. М. ГрабовскаяПензенский государственный университетО надежности неветвящихся программ в базисах, содержащих нелинейную функцию двух переменных
Д. В. ГруздевНижегородский государственный университет им. Н. И. ЛобачевскогоО разбиении множества всех триангуляций точечных конфигураций на 64 подкласса
В. И. Грунская, М. Ю. ТихончевУльяновский государственный университетАвтоматное распознавание отмеченных орграфов
Е. В. Гуревич, Л. Б. ТяпаевСаратовский государственный университет им. Н. Г. ЧернышевскогоАнализ геометрических образов асинхронных автоматов
Д. А. ДагаевНациональный исследовательский университет Высшая школа экономики, МоскваРеализация формулами функций из некоторых классов трехзначной логики
А. Б. ДайнякМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО графах с заданным числом независимых множеств
Г. А. ДонецИнститут кибернетики им. В. М. Глушкова НАН Украины, КиевЗадачи комбинаторного распознавания
О. С. ДудаковаФранко-русский центр им. А. М. Ляпунова Московского государственного университета им. М. В. ЛомоносоваО порождающих системах специального вида для предполных классов монотонных функций k-значной логики
А. Г. ДьяконовМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиЗадачи теории интерполяции, возникающие в алгебраическом подходе к распознаванию
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. СеменовИнститут математики им. С. Л. Соболева СО РАН, Новосибирск; Институт динамики систем и теории управления, Иркутск.Символьные алгоритмы решения булевых уравнений в применении к исследованию дискретных моделей генных сетей
А. А. Евдокимов, А. Л. ПережогинИнститут математики им. С. Л. Соболева СО РАН, НовосибирскДискретные динамические системы циркулянтного типа с линейными функциями в вершинах сети
В. А. Емеличев, В. В. КоротковБелорусский государственный университет, МинскАнализ чувствительности векторной инвестиционной булевой задачи с упорядоченными критериями рисков Сэвиджа
А. А. Жидков, А. В. Калинин, М. И. СуминНижегородский государственный университет им. Н. И. ЛобачевскогоПрименение оптимизационных алгоритмов для одного класса обратных задач атмосферного электричества
Л. П. Жильцова, И. М. МартыновНижегородский государственный университет им. Н. И. ЛобачевскогоО свойствах деревьев вывода для стохастической КС-грамматики, имеющей вид цепочки
И. Я. Заботин, О. Н. ШульгинаКазанский (Приволжский) федеральный университетО некоторых алгоритмах минимизации, основанных на отсечении множеств
В. А. ЗамараевНижегородский государственный университет им. Н. И. ЛобачевскогоОценка числа графов в наследственных классах с запрещенными графами маленького порядка
Н. Ю. Золотых, А. Ю. ЧирковНижегородский государственный университет им. Н. И. ЛобачевскогоО верхней оценке мощности минимального разрешающего множества пороговой функции
А. В. ЗоринНижегородский государственный университет им. Н. И. ЛобачевскогоКибернетический подход к построению и анализу математической модели тандема двух перекрестков
М. А. ИорданскийНижегородский государственный педагогический университетФункциональные построения в теории графов
А. Н. Исаченко, Я. А. ИсаченкоБелорусский государственный университет, МинскПолиэдральные аспекты оптимизационной задачи на циклических перестановках
А. В. Калинин, М. И. Сумин, А. А. ТюхтинаНижегородский государственный университет им. Н. И. ЛобачевскогоОптимизационные методы решения прямых и обратных задач для квазистационарных электромагнитных процессов
Е. О. КармановаСаратовский государственный университет им. Н. Г. ЧернышевскогоО конгруэнциях графов
К. Д. КириченкоВосточно-Сибирская государственная академия образования, ИркутскСвойства шаблонов минимизации полиномиальных форм булевых функций
Д. И. Коган, Ю. С. Федосенко, Н. А. ДуничкинаМосковский государственный университет приборостроения и информатики; Волжская государственная академия водного транспорта, Нижний НовгородБикритериальные задачи обслуживания mobile-процессором рассредоточенных в одномерной рабочей зоне объектов
Л. М. КогановНаучный центр нелинейной волновой механики и технологии РАН, МоскваПроверка методом передаточной функции одной перечислительной теоремы А. М. Каменецкого
И. Б. Кожухов, Ю. И. КожуховаМосковский государственный институт электронной техникиО продолжениях частичных полигонов
С. С. КолядаМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО единичных проверяющих тестах для схем из функциональных элементов
Д. Д. КомаровСаратовский государственный университет им. Н. Г. ЧернышевскогоРеберные 1-расширения некоторых деревьев
Ю. А. КомбаровМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО минимальных реализациях линейных булевых функций схемами из функциональных элементов в некотором базисе
Е. В. Константинова, А. Н. МедведевИнститут математики им. С. Л. Соболева СО РАН, НовосибирскЦиклы длины девять в Pancake-графе
О. М. КопытоваДонецкий национальный технический университетНеисправности автоматов, сохраняющие их поведение
Е. В. КоротковЦентр Биоинженерия РАН, МоскваПоиск вставок в бактериальных генах
В. В. КостеринЮжно-Уральский государственный университет, ЧелябинскФрактальные методы оценки пробега автомобиля в системах спутникового мониторинга
В. В. КочергинМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетНекоторые оценки сложности вентильных схем с кратными путями для недоопределенных матриц
А. А. Кочкаров, Л. И. СенниковаИнститут прикладной математики им. М. В. Келдыша РАН, МоскваМодели и задачи структурного распознавания в исследованиях социальных сетей
В. М. КрасновМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиОценки сложности 1-самокорректирующихся схем для одной последовательности булевых функций
Т. И. КрасноваМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО конъюнкторной сложности самокорректирующихся схем для одной последовательности булевых функций
Н. Н. КузюринИнститут системного программирования РАН, МоскваОнлайновая упаковка прямоугольников в полосы
Е. А. КуликоваНижегородский государственный университет им. Н. И. ЛобачевскогоСведение двух подклассов систем линейных неравенств к задачам распределения ресурсов
А. Н. КурганскийИнститут прикладной математики и механики НАН Украины, ДонецкСвязь вычислительных и динамических свойств коллективов автоматов в дискретной среде
С. А. ЛавренченкоНациональный исследовательский технологический университет МИСиС, МоскваПостроение квадрангуляций поверхностей с заданными свойствами
В. Б. ЛарионовМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО надструктуре некоторых классов функций k-значной логики
В. К. ЛеонтьевВычислительный центр им. А. А. Дородницына РАН, МоскваПараметры Чоу
И. В. Лисаченко, В. И. СуминНижегородский государственный технический университет им. Р. Е. Алексеева; Нижегородский государственный университет им. Н. И. ЛобачевскогоНелинейная управляемая задача Гурса--Дарбу: условия сохранения глобальной разрешимости и их применения
О. А. Логачев, С. В. Смышляев, В. В. ЯщенкоМосковский государственный университет им. М. В. Ломоносова\rho -уравновешенные булевы функции и их свойства
С. А. Ложкин, Б. Р. ДаниловМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиПоведение функции Шеннона для задержки в одной модели схем из функциональных элементов
С. А. Ложкин, В. А. КоноводовМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО синтезе и сложности формул с ограниченной глубиной альтернирования
А. М. МагомедовДагестанский государственный университет, МахачкалаУсловия непрерывной реберной раскрашиваемости ассоциированных графов
А. А. МазуровМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО стационарных классах функций трехзначной логики
А. И. МайсурадзеМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиИсследование метода главных компонент с дополнительными метрическими ограничениями
А. Н. МаксименкоЯрославский государственный университет им. П. Г. ДемидоваОб универсальных свойствах многогранника разрезов
Д. С. МалышевНациональный исследовательский университет Высшая школа экономики (Нижегородский филиал); Нижегородский государственный университет им. Н. И. ЛобачевскогоКонечно определенные минимальные сложные классы графов для задачи о реберном списковом ранжировании
Н. К. МаркеловМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности периодических функций трехзначной логики в классе поляризованных полиномов
Д. О. МатовСаратовский государственный университет им. Н. Г. ЧернышевскогоАффинные преобразования геометрических образов конечных автоматов
Г. А. МахинаТаврический национальный университет им. В. И. Вернадского, СимферопольОценка обобщающей способности для монотонных алгоритмов классификации
Б. Ф. МельниковТольяттинский государственный университетИтерации конечных языков и недетерминированные конечные автоматы
Ю. В. МерекинИнститут математики им. С. Л. Соболева СО РАН, НовосибирскО вычислении сложности по Арнольду двоичных слов
А. В. МихайловичМосковский государственный университет лесаО замкнутых классах функций трехзначной логики, порожденных периодическими симметрическими функциями
О. А. Мишулина, И. А. КругловНациональный исследовательский ядерный университет МИФИ, МоскваМетод принятия решения комитетом нейронных сетей при решении плохо обусловленных задач восстановления функциональных зависимостей
Д. Б. МокеевНижегородский государственный университет им. Н. И. ЛобачевскогоУпаковки и покрытия 3-путей
Е. В. Морозов, Д. С. РомановМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО тестах относительно локальных линейных слипаний входов схем
Р. Г. МубаракзяновКазанский (Приволжский) федеральный университетО сложности некоторых функций для вероятностных вычислений
А. С. НагорныйМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО свойствах теоретико-множественных операций над предполными классами трехзначной логики
Т. А. Новикова, В. А. ЗахаровМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО применении антиунификации подстановок для проверки эквивалентности программ
А. Р. Нурутдинова, С. В. ШалагинКазанский государственный технический университет им. А. Н. ТуполеваРаспознавание подклассов марковских автоматов на основе последовательностей состояний конечной длины
Д. Ю. ПанинМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетО некоторых свойствах одноместных монотонных функций многозначной логики
В. И. ПантелеевВосточно-Сибирская государственная академия образования, ИркутскОб одной последовательности мультиклонов
А. В. Панюков, Т. А. ПанюковаЮжно-Уральский государственный университет, ЧелябинскПрименение дополнений паросочетаниями для задачи коммивояжера
Н. А. ПерязевВосточно-Сибирская государственная академия образования, ИркутскТеория Галуа для клонов и суперклонов
В. И. ПетренюкКировоградский национальный технический университетПостроение графов-обструкций ограниченного ориентируемого рода
Р. И. ПодловченкоНаучно-исследовательский вычислительный центр Московского государственного университета им. М. В. ЛомоносоваКонечные автоматы и алгебраические модели программ с позиции разрешимости проблемы эквивалентности
В. В. Подымов, В. А. ЗахаровМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО двухленточных машинах, описывающих полугруппы с левым сокращением
В. Н. Потапов Институт математики им. С. Л. Соболева СО РАН, НовосибирскО мощности компонент корреляционно-иммунных функций, совершенных раскрасок и кодов
Е. А. ПряничниковаГосударственный университет информатики и искусственного интеллекта, ДонецкАлгебры языков, представимых в размеченных графах
А. М. РевякинМосковский государственный институт электронной техникиСтруктурные свойства комбинаторных систем, описываемых субмодулярными функциями
М. Б. Резников, А. И. ЦветковВолжская государственная академия водного транспорта, Нижний НовгородСинтез стратегий выбора объектов в линейной зоне обслуживания двух mobile-процессоров
А. М. РомановИнститут математики им. С. Л. Соболева, НовосибирскО гамильтоновых циклах в графах минимальных расстояний совершенных кодов
Д. С. РомановМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО проверяющих тестах относительно перестановок переменных в булевых функциях
Д. С. РомановМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО синтезе схем, допускающих проверяющие тесты константной длины
В. С. Рублев, А. В. СмирновЯрославский государственный университет им. П. Г. Демидова\unhbox \voidb@x \hbox {\protect \protect \protect \edef T2A{T2A}\let \enc@update \relax \protect \edef cmr{cmr}\protect \edef m{m}\protect \edef n{n}\protect \xdef \T2A/cmr/m/it/9 {\T2A/cmr/m/n/10 }\T2A/cmr/m/it/9 \size@update \enc@update \ignorespaces \relax \protect \relax \protect \edef n{it}\protect \xdef \T2A/cmr/m/it/9 {\T2A/cmr/m/n/10 }\T2A/cmr/m/it/9 \size@update \enc@update NP}-полнота задачи о наибольшем кратном потоке
В. С. Рублев, Е. А. СмирноваЯрославский государственный университет им. П. Г. ДемидоваОптимизация вычислений объектных запросов системы управления данными DIM
О. А. СадовниковМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиУточненные оценки функции Шеннона в некоторых базисах схем из функциональных элементов, вложенных в единичный куб
А. А. СапоженкоМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиК вопросу о числе совершенных кодов
С. В. СапуновИнститут прикладной математики и механики НАН Украины, ДонецкО взаимодействии мобильных агентов с топологической средой
В. Г. СаргсянМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиМаксимальная мощность (k,l)-множества свободного от сумм в циклической группе
Я. Ю. СафоноваНижегородский государственный университет им. Н. И. ЛобачевскогоИспользование графовых моделей при распараллеливании метода Холецкого для решения разреженных симметричных СЛАУ
С. Н. СелезневаМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности k-значных функций в одном классе полиномов
С. В. СидоровНижегородский государственный университет им. Н. И. ЛобачевскогоО подобии некоторых верхнетреугольных матриц над кольцом целых чисел
В. В. СлободскойНижегородский государственный университет им. Н. И. ЛобачевскогоМоделирование работы ациклического алгоритма на многопроцессорной вычислительной системе
А. В. СмирновЯрославский государственный университет им. П. Г. ДемидоваПотоки в кратных сетях специального вида
Т. Г. СмирноваНижегородский государственный университет им. Н. И. ЛобачевскогоО структуре матриц оптимального локально-префиксного кодирования языков
П. И. СтецюкИнститут кибернетики им. В. М. Глушкова НАН Украины, КиевРелаксационный субградиентный метод минимизации овражных выпуклых функций
Ю. М. Суворова, Е. В. КоротковЦентр Биоинженерия РАН, МоскваГраница смены триплетной периодичности в гене как область потенциальной склейки
В. И. СуминНижегородский государственный университет им. Н. И. ЛобачевскогоМетод вольтерровых функционально-операторных уравнений в теории оптимального управления распределенными системами
М. И. СуминНижегородский государственный университет им. Н. И. ЛобачевскогоО регуляризованной теореме Куна--Таккера и ее применении в оптимальном управлении и некорректных задачах
В. П. ТарасоваИнститут машиноведения им. А. А. Благонравова РАН, МоскваОптимальный поиск экстремальной области функции
Е. А. ТатариновИнститут прикладной математики и механики НАН Украины, ДонецкВосстановление графа агентом с ограниченными ресурсами
В. А. ТвердохлебовИнститут проблем точной механики и управления РАН, СаратовДиагностика управляющих автоматов со счетно-бесконечными множествами состояний
Е. Е. ТрифоноваИнститут прикладной математики им. М. В. Келдыша РАН, МоскваО построении восстановлений баз данных для некоторых классов формул-ограничений
М. А. ТрушниковМосковский государственный университет им. М. В. ЛомоносоваОб одной задаче теории расписаний
Д. В. ТрущинМосковский государственный университет им. М. В. Ломоносова, Механико-математический факультетОб оценках глубины \alpha -пополнений систем функций трехзначной логики
А. Ю. УлесоваМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности односторонних клеточных схем фиксированной высоты с кратными входами
Т. И. ФедоряеваИнститут математики им. C. Л. Соболева СО РАН, НовосибирскРазнообразие шаров в графах с фиксированными числом вершин и диаметром
Ю. С. Федосенко, А. С. Куимова, Д. В. МинаевВолжская государственная академия водного транспорта, Нижний НовгородЗадача синтеза стратегий обслуживания потока объектов в системе с накопительным компонентом
А. М. ФедоткинНижегородский государственный университет им. Н. И. ЛобачевскогоУправляющие конфликтные системы и аппроксимация потока Гнеденко--Коваленко
М. А. Федоткин, Е. В. КудрявцевНижегородский государственный университет им. Н. И. ЛобачевскогоУправляющие системы и механизм образования транспортных пачек на магистралях с интенсивным движением
М. А. Федоткин, М. А. РачинскаяНижегородский государственный университет им. Н. И. ЛобачевскогоИсследование математической модели трафика автомобилей на основе подхода Ляпунова--Яблонского
М. А. Федоткин, А. А. ФедоткинНижегородский государственный университет им. Н. И. ЛобачевскогоКибернетический подход к изучению выходных процессов управления потоками Бартлетта
О. В. ХамисовИнститут систем энергетики им. Л. А. Мелентьева СО РАН, ИркутскПостроение глубоких отсечений в булевом программировании
В. Е. Хачатрян, Я. Г. ВеликаяБелгородский государственный университетРешение проблемы обобщенной минимизации для многоленточных автоматов с одной существенной лентой
Р. В. ХелемендикИнститут прикладной математики им. М. В. Келдыша РАН, МоскваО сведении задачи распознавания выполнимости формул логики линейного времени к распознаванию выполнимости формул логики высказываний
А. Н. ЧереповСмоленский филиал Московского энергетического института (технический университет)Свойства непрерывных детерминированных функций с задержкой
А. В. ЧерновНижегородский государственный университет им. Н. И. ЛобачевскогоО равномерной поточечной оценке приращения решения управляемого функционально-операторного уравнения
Б. В. ЧокаевМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности распознавания предикатов в трехзначной логике
С. В. ШалагинКазанский государственный технический университет им. А. Н. ТуполеваСложность обобщенной распределенной полиномиальной модели на базе системы многочленов над конечными полями
И. К. ШаранхаевБурятский государственный университет, Улан-УдэО сравнении базисов при формульном представлении булевых функций
Я. А. ШарифовБакинский государственный университетЗадача оптимального управления для систем с нелокальными условиями
Н. К. ШатохинаГосударственный университет информатики и искусственного интеллекта, ДонецкВосстановление графа мозаичной структуры агентами
В. И. ШевченкоНижегородский государственный университет им. Н. И. ЛобачевскогоО диагностике отождествления переменных в формулах булевых функций
В. Н. ШевченкоНижегородский государственный университет им. Н. И. ЛобачевскогоО сложности задач целочисленного линейного программирования с ограниченными минорами
В. Н. Шевченко, М. Е. СморкаловНижегородский государственный университет им. Н. И. ЛобачевскогоЧисленное нахождение количественных характеристик некоторых {0,1}-матриц
Г. В. ШевченкоИнститут математики им. С. Л. Соболева СО РАН, НовосибирскО достаточности принципа максимума Понтрягина для одной нелинейной задачи оптимального управления
Д. С. ШелухинНижегородский государственный университет им. Н. И. ЛобачевскогоСвойства минимальных нумераций корневых ордеревьев с выделенной вершиной
А. Е. ШигановООО Нангейт, МоскваНекоторые оценки сложности двоичных решающих диаграмм
Л. А. ШоломовИнститут системного анализа РАН, МоскваДекомпозиция недоопределенных данных
М. С. ШуплецовМосковский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетикиО сложности реализации предикатов из некоторых классов предикатными схемами
А. Д. ЯшунскийИнститут прикладной математики им. М. В. Келдыша РАН, МоскваО скорости сходимости квазигрупповых свёрток распределений вероятностей