Расписание докладов секции
«Математика и механика» Международной конференции студентов, аспирантов и
молодых ученых «Ломоносов-2011»
на Кафедре Математические Теории Интеллектуальных Систем
Докладчик
|
Название
доклада
|
оборуд-е
|
Время
|
Точное время доклада
|
Петюшко
Александр Александрович
|
О
применении марковских случайных полей в шумоочистке
|
LCD
проектор
|
13.04.2011
16.45, Кафедра МАТИС
|
16:45
|
Кибкало
Мария Александровна
|
Автоматная
сложность классов Поста.
|
LCD
проектор
|
13.04.2011
16.45, Кафедра МАТИС
|
17:05
|
Поцелуевская
Евгения Александровна
|
Использование
метода "разделяй и властвуй" для решения задачи о выполнимости
|
LCD
проектор
|
13.04.2011
16.45, Кафедра МАТИС
|
17:25
|
Муравьева
Анна
|
О
восстановлении дисретных фигур по их графикам
|
|
13.04.2011
16.45, Кафедра МАТИС
|
17:45
|
Осокин
Виктор Владимирович
|
Параллельная
параметро-эффективная расшифровка интервально-постоянных функций
|
|
13.04.2011
16.45, Кафедра МАТИС
|
18:05
|
Дергач
Петр
|
Алгоритмическая
разрешимость однозначности алфавитного декодирования для регулярных языков
|
|
13.04.2011
18.30, ауд.1206
|
18:30
|
Титова
Елена Евгеньевна
|
О времени
конструирования изображений клеточными автоматами.
|
|
13.04.2011
18.30, ауд.1206
|
18:50
|
Боков
Григорий Владимирович
|
Обобщение
теоремы Хенкина на случай k-значных логик.
|
|
13.04.2011
18.30, ауд.1206
|
19:10
|
Петрова
Ольга
|
О слабом
синхронном замыкании множеств функций с задержками
|
|
13.04.2011
18.30, ауд.1206
|
19:30
|
Мастихина
Анна Антоновна
|
Частичное
угадывание некоторых контекстно-свободных языков
|
|
13.04.2011
18.30, ауд.1206
|
19:50
|
Жук
Дмитрий Николаевич
|
О
неразрешимости проблем полноты и А-полноты для автоматных функций
|
|
13.04.2011
18.30, ауд.1206
|
20:10
|
Шуткин
Юрий
|
Реализация
булевых функций информационными графами с различными базовыми множествами
|
|
13.04.2011
18.30, ауд.1206
|
20:30
|
Пархоменко
Денис Владимирович
|
Распознавание
через синтез детерминированных автоматов
|
|
13.04.2011
18.30, ауд.1206
|
20:50
|