Ломоносовские чтения – 2009. Секция математики

Программа докладов по кафедре МаТИС

 

17 апреля, пятница, 16:45

Главное здание, сектор «А», ауд. 15-04

 

1.  Теория интеллектуальных систем.

Пленарный доклад профессора Кудрявцева В.Б., профессора Андреева А.Е.,

профессора Гасанова Э.Э., профессора Подколзина А.С.

2.  Кодирование изображений, инвариантное относительно проективных преобразований.

Доклад с.н.с. Алексеева Д.В.

3.  О свойствах гиперавтоматов.

Доклад профессора Бабина Д.Н., аспиранта Самоненко И.Ю.

4.  Задача Слупецкого для S-множеств детерминированных функций.

Доклад профессора Буевича В.А., аспирантки Подколзиной М.А.

5.  Автоматное моделирование задачи преследования.

Доклад м.н.с. Волкова Н.Ю.

6.  Об одном подходе к защищенности информационных сетей.

Доклад н.с. Галатенко А.В.

7.  Константный в среднем фоновый алгоритм решения двумерной задачи о доминировании.

Доклад профессора Гасанова Э.Э.

8.  Сложность расшифровки дискретных функций.

Доклад профессора Гасанова Э.Э., аспиранта Осокина В.В.

9.  Сложность реализации некоторых классов Поста информационными графами.

Доклад профессора Гасанова Э.Э., аспиранта Шуткина Ю.С.

10.  Автоматная модель транспортировки вещества в легких.

Доклад м.н.с. Гераськиной Ю.Г.

11.  Предикатное доказательство итеративной теоремы Поста.

Доклад профессора Кудрявцева В.Б.

12.  О неразрешимости проблемы полноты для дефинитных автоматов.

Доклад профессора Кудрявцева В.Б., аспиранта Жука Д.Н.

13.  О моделировании нейронными сетями автоматов.

Доклад профессора Кудрявцева В.Б., аспиранта Моисеева С.В.

 

 

22 апреля, среда, 18:30

Главное здание, сектор «А», ауд. 12-06

 

1.  Об одной процедуре диагностики заболеваний легких по их конденсату.

Доклад профессора Кудрявцева В.Б., профессора Козлова В.Н.,

с.н.с. Носова М.В., с.н.с. Алексеева Д.В.

2.  О распознавании обратимости клеточных автоматов.

Доклад м.н.с. Кучеренко И.В.

3.  Редуктивный метод верификации процессов с передачей сообщений.

Доклад с.н.с. Миронова А.М.

4.  Матрицы и графы существенной зависимости правильных семейств функций.

Доклад в.н.с. Носова В.А., ст.преп. Панкратьева А.Е.

5.  Об оценках длины простого диагностического эксперимента.

Доклад н.с. Пантелеева П.А.

6.  О компьютерном моделировании логических процессов.

Доклад профессора Подколзина А.С.

7.  О задаче проверки функциональной полноты в классе кусочно-параллельных функций.

Доклад м.н.с. Половникова В.С.

8. О сложности обучения нейронных сетей.

Доклад м.н.с. Соколова А.П.

9. Автоматные системы обучения.

Доклад доцента Строгалова А.С.

10. Вопросы полноты в классе Р-ичных автоматов.

Доклад доцента Часовских А.А.

11. Об автоматных алгоритмах на графах, связанных с операцией переключения рёбер.

Доклад доцента Часовских А.А., аспирантки Лашевой М.И.

12. Аппроксимация регулярных марковских языков.

Доклад н.с. Холоденко А.Б.

13. Архитектура обучающей системы по кардиалогии (KHK)

Доклад с.н.с. Алисейчика П.А.

14. Алгебра и автоматы.

Доклад профессора Алёшина С.В.

 

Полная программа раьоты секции математики в формате PDF.