Ломоносовские Чтения – 2007. Секция "Математическая теория интеллектуальных систем"

1. О предсказуемости поведения однородных схем структурных автоматов.

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

2. Предельные частотные свойства регулярных языков.

Доклад профессора Бабина Д.Н., м.н.с. Холоденко А.Б.

3. Критерий полноты S-множеств детерминированных функций.

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

4. О свойствах языков, моделирующих безопасное поведение компьютерных систем.

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

5. Сложность поиска в случайных базах данных.

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

6. Моделирование динамических баз данных.

Доклад профессора Гасанова Э.Э., аспиранта Лапшова И.С.

7. Нижние оценки коммуникационной сложности PIR-протоколов.

Доклад профессора Гасанова Э.Э., аспирантки Майлыбаевой Г.А.

8. Асимптотика сложности расшифровки разбиения булевого куба на подкубы.

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

9. Базы данных движущихся объектов.

Доклад профессора Гасанова Э.Э., студентки Скибы Е.А.

10. Реализация булевых функций информационными графами.

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

11. Линейная комбинаторика.

Доклад доцента Ирматова А.А.

12. Распознавание точечных (плоских и объемных) изображений.

Доклад профессора Козлова В.Н.

13. Теория тестового распознавания.

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

профессора Гасанова Э.Э.

14. Введение в теорию интеллектуальных систем.

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

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

15. Об автоматной модели механизма самоочищения легких.

Доклад профессора Кудрявцева В.Б., аспирантки Гераськиной Ю.Г.

16. Алгебра логики.

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

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

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

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

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

19. Компьютерные обучающие системы и образовательные среды.

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

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

20. Об условиях разрешимости автоматных уравнений.

Доклад м.н.с. Лялина И.В.

21. Анализ многомерных динамических образов.

Доклад н.с. Мазуренко И.Л., аспиранта. Волченкова М.П.

22. Семейства функций, задающие латинские квадраты над алгебраическими структурами.

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

23. О характеристической функции булевого решения систем целочисленных уравнений.

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

24. О длине простого условного диагностического эксперимента для подмножеств состояний конечного автомата.

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

25. Язык обучения компьютерных решателей задач.

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

26. Об универсальных графах.

Доклад профессора Подколзина А.С., аспиранта Зайцева Д.В.

27. О сложности кратных диагностических экспериментов для конечных автоматов.

Доклад профессора Подколзина А.С., аспиранта Уварова Д.В.

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

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

29. Системы информационного мониторинга.

Доклад доцента Рыжова А.П.

30. Оценка и мониторинг проектов разработки высокотехнологических изделий.

Доклад доцента Рыжова А.П., аспиранта Лебедева А.А.