|
Загалом робіт:1012
151. Башов, Максим Александрович. Минимизация тени в слое булева куба
Рік: 2013 152. Боков, Григорий Владимирович. Условия выразимости и полноты пропозициональных исчислений
Рік: 2013 153. Бухман, Антон Владимирович. Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами
Рік: 2013 154. Вартанов, Сергей Александрович. Теоретико-игровые модели формирования коалиций и участия в голосовании
Рік: 2013 155. Власов, Никита Вадимович. О сложности мультиплексорных функций в некоторых классах схем
Рік: 2013 156. Воробьёв, Константин Васильевич. Собственные функции и кратные совершенные коды в графах Джонсона и Хэмминга
Рік: 2013 157. Гольдштейн, Виталий Борисович. Оценки чисел Борсука и Грюнбаума для (0,1)- и (-1, 0, 1)-многогранников в пространствах малой размерности
Рік: 2013 158. Горбунова, Ирина Анатольевна. Построение экстремальных бесповторных слов и оценка их количества
Рік: 2013 159. Гусев, Владимир Валерьевич. Экстремальные конструкции в теории синхронизируемых автоматов
Рік: 2013 160. Гуськов, Георгий Константинович. Транзитивные совершенные коды и разбиения
Рік: 2013 161. Давыдов, Иван Александрович. Алгоритмы локального поиска для задачи о (r/p)-центроиде
Рік: 2013 162. Двуреченский, Павел Евгеньевич. Алгоритмы построения эпсилон-оптимальных стратегий в нелинейных дифференциальных играх на плоскости
Рік: 2013 163. Исаев Михаил Исмаилович. Аналитический подход к задачам перечисления графов со спектральными органичениями
Рік: 2013 164. Ковалевская, Дарья Игоревна. О вложимости систем Штейнера в совершенные коды
Рік: 2013 165. Коваленко, Юлия Викторовна. Сложность некоторых задач теории расписаний и эволюционные алгоритмы их решения
Рік: 2013 166. Коляда, Сергей Сергеевич. Верхние оценки длины проверяющих текстов для схем из функциональных элементов
Рік: 2013 167. Комбаров Юрий Анатолиевич. Сложность и строение минимальных схем для линейных булевых функций
Рік: 2013 168. Кочергин, Алексей Вадимович. О глубине функций многозначной логики
Рік: 2013 169. Кузовлёв Дмитрий Игоревич. Итеративный алгоритм для класса оптимизационных задач транспортного типа
Рік: 2013 170. Малышев Дмитрий Сергеевич. Исследование «критических» наследственных классов в анализе вычислительной сложности задач на графах
Рік: 2013 171. Маркелов, Николай Константинович. О сложности функций -значной логики в классе поляризованных полиномов
Рік: 2013 172. Машечкин, Алексей Игоревич. Теоретико-игровой анализ процедуры вето-голосования с лидером
Рік: 2013 173. Нагорный, Александр Степанович. О пересечениях и объединениях предполных классов многозначной логики
Рік: 2013 174. Омаров, Рустам Рамазанович. Исследование криптографических параметров, близких к нелинейности, для булевых функций
Рік: 2013 175. Орловская, Татьяна Геннадьевна. Исследование задач и алгоритмов целочисленного программирования на основе регулярных разбиений и унимодулярных преобразований
Рік: 2013 176. Панин, Дмитрий Юрьевич. О порождении монотонных функций из некоторых классов многозначной логики
Рік: 2013 177. Пчелкина, Ирина Владимировна. Управление инвариантами в сетевых динамических системах
Рік: 2013 178. Резников, Андрей Владимирович. Исследование свойств и распознавание предфрактальных графов
Рік: 2013 179. Сандомирская, Марина Сергеевна. Теоретико-игровое моделирование биржевых торгов
Рік: 2013 180. Соколов, Андрей Павлович. О сложности перестройки формальных нейронов
Рік: 2013 181. Филимонов, Владислав Павлович. О покрытиях множеств в евклидовых пространствах
Рік: 2013 182. Чухров, Игорь Петрович. Экстремальные комплексы граней в единичном кубе
Рік: 2013 183. Юлдашев, Марат Владимирович. Нелинейные математические модели схем Костаса
Рік: 2013 184. Юлдашев, Ренат Владимирович. Нелинейный анализ и синтез систем фазовой автоподстройки
Рік: 2013 185. Овчаренко Олена Валеріївна. “Нові узагальнення функцій гіпергеометричного типу та їх застосування”
Рік: 2013 186. Абрамовская, Татьяна Викторовна. Задачи гарантированного поиска на графах
Рік: 2012 187. Амелина, Наталья Олеговна. Консенсусное мультиагентное управление стохастическими системами
Рік: 2012 188. Белицкая, Анна Владимировна. Условие устойчивости против иррационального поведения игроков
Рік: 2012 189. Грабовская, Светлана Михайловна. Асимптотически оптимальные по надежности неветвящиеся программы с оператором условной остановки
Рік: 2012 190. Григорьев, Григорий Константинович. Адаптивное управление сетевыми динамическими системами с возмущениями
Рік: 2012 191. Гусев, Антон Георгиевич. Оптимизационные и теоретико-игровые модели рынка электроэнергии
Рік: 2012 192. Долгушев, Алексей Владимирович. Алгоритмы с оценками для решения задач анализа данных
Рік: 2012 193. Домахина, Людмила Григорьевна. Скелетная сегментация и циркулярная морфология многоугольников
Рік: 2012 194. Дорофеев, Николай Юрьевич. О свойствах задач и алгоритмов разметки точечных конфигураций
Рік: 2012 195. Ерусалимский, Яков Михайлович. Нестандартная достижимость на ориентированных графах и сетях
Рік: 2012 196. Жаркова, Анастасия Владимировна. Конечные динамические системы
Рік: 2012 197. Замараев, Виктор Андреевич. Исследование факториального яруса решетки наследственных классов графов
Рік: 2012 198. Караваев, Артем Михайлович. Подсчет гамильтоновых циклов на прямоугольных решетках, цилиндрах и торах методом матрицы переноса
Рік: 2012 199. Кучеренко, Игорь Викторович. Обратимые клеточные автоматы
Рік: 2012 200. Лутковская, Екатерина Александровна. Вариационный принцип максимума в задаче оптимального управления волновыми процессами
Рік: 2012 |
