Заседания семинара в 2013/2014 учебном году

Последнее изменение: 22/10/2014 00:00:00

26 мая 2014: доклад C.Д.Ионова (ИММ УрО РАН) по диссертации "ПРОБЛЕМЫ ПОСТРОЕНИЯ РАЗВИВАЮЩЕЙСЯ ИСКУССТВЕННОЙ НЕЙРОННОЙ СЕТИ С АССОЦИАТИВНОЙ ПАМЯТЬЮ"

19 мая 2014: доклад Д.С.Ананичева "Быстрая синхронизация случайных автоматов" (по работе Cyril Nicaud Fast Synchronization of Random Automata)

12 мая 2014: доклад М.И.Масленниковой "PSPACE-полнота задачи вычисления синхронизационной сложности идеальных языков"

28 апреля 2014: доклад Д.Д.Дубленных "Дескриптивная сложность аддитивного сдвига регулярного языка"

21 апреля 2014: доклад А.Семеновой "Параметрическая сложность задачи о коротком синхронизирующем слове" (по работе Vojtech Vorel "Detecting Short Reset Words Parameterized by Number of States")

14 апреля 2014: доклад М.И.Масленниковой "Некоторые задачи о сложности, связанные с синхронизируемыми автоматами"

7 апреля 2014: доклад М.В.Берлинкова "Синхронизация подмножеств в сильно связных автоматах" (по работе Vojtech Vorel "Subset Synchronization of Transitive Automata")

31 марта 2014: доклад В.В.Гусева и Е.В.Прибавкиной "Порог синхронизации автоматов с циклами двух длин"

24 марта 2014: доклад А.И.Зверева "Алгоритм Гейла-Шепли"

16 декабря 2013: доклад П.В.Мартюгина "Разделяющие слова"

9 декабря 2013: доклад А.Д.Красносельских "Сложность задачи синтеза безусловного установочного эксперимента для наблюдаемого недетерминированного автомата"

2 декабря 2013: доклад А.В.Григорьева (Тюменский университет) по диссертации "МАТЕМАТИЧЕСКИЕ МЕТОДЫ И АЛГОРИТМЫ ОПРЕДЕЛЕНИЯ СОГЛАСОВАННОСТИ БАЗ ЗНАНИЙ"

25 ноября 2013: доклад Абузера Якариильмаза (Латвийский университет, Рига) "Automata and complexity theory"

Abstract: I will present some research topics where computational complexity and automata theory meet. Such a framework can be applied to many different areas. I will mention about quantum and probabilistic automata as an application case. Moreover, I will present some open problems and future directions.

18 ноября 2013: доклад М.В.Берлинкова "Синхронизация источников с конечным числом состояний" (по статьям Nicholas F. Travers and James P. Crutch eld "Exact synchronization for finite-state sources" и "Asymptotic synchronization for finite-state sources")

11 ноября 2013: доклад А.А.Хвороста о международной конференции Cassandra Summit Europe 2013

28 октября 2013: доклад Жоржи Алмейды (университет Порту, Португалия) "Description and analysis of a bottom-up DFA minimization algorithm"

21 октября 2013: организационное собрание и доклад В.В.Гусева по диссертации

См. также

Учебно-исследовательский семинар "Компьютерные науки"