Предварительная версия программы пленарных заседаний IX
Международной конференции “Интеллектуальные системы и компьютерные науки”
Конференция проходит при поддержке
РФФИ и LSI Logic Corp
(США)
Москва, МГУ,
Главное Здание, мехмат факультет, 23-27 октября 2006 г.
1-й день, 23
октября, понедельник
Дневное заседание. Председатель
Кудрявцев В.Б. ауд. 14-08
13.00-13.15
Открытие конференции
13.15-13.55
Ильин В.А., Моисеев Е.И.
Оптимизация
граничного управления колебанием струны за произвольный промежуток времени
14.05-14.45
Журавлев
Ю.И.
Мультиалгоритмические
системы обработки для принятия решений на основе разнородной
и
противоречивой информации
14.55-15.35
Бетелин В.Б.
О
развитии российского сегмента мировой структуры IT-технологий
15.45-16.25
Королев Л.Н.
О математизации
некоторых эвристик
16.35-17.05
Бабаян Б.А.
О
развитии архитектуры ЭВМ
17.15-17.55
Гварамия А.А. (Абхазия)
Представления
квазигрупп
2-й день, 24 октября,
вторник
Утреннее заседание.
Председатель – Ушчумлич Ш.(Сербия) ауд. 14-08
10.00-10.40
Чучалин
А.Г.
Первая
успешная трансплантация легких в России
10.50-11.30
Фоменко А.Т., Иванов А.О., Тужилин А.А.
Компьютерное
моделирование кривых и поверхностей для приложений в биологии
11.40-12.20
Величенко В.В.,
Притыкин Д.А.
Возможности
искусственного интеллекта и компьютерных технологий в
построении программ лечения сложных и иммунных заболеваний
12.30-13.10
Малышев В.А.
Математика
и философия в статистической биофизике
13.20-14.00
Килибарда Г. (Сербия), Кудрявцев В.Б., Ушчумлич Ш. (Сербия)
Автоматы
в лабиринтах
Дневное заседание.
Председатель – Прешич С. (Сербия) ауд.
14-08
15.00-15.40
Абрамов С.М.
Перспективы
развития суперкомпьютерных технологий “СКИФ”.
16.40-17.20
Ложкин С.А.
Оценки
высокой степени точности для сложности управляющих систем (методы,
результаты, проблемы)
15.50-16.30
Тальхайм Б. (Германия)
Достижения и проблемы концептуального моделирования
17.30-18.10
Бабин Д.Н.
Алгоритмические
проблемы полноты и выразимости для автоматов.
3-й день, 25 октября,
среда
Утренее заседание.
Председатель Тальхайм Б. (Германия) ауд. 14-08
10.00-10.40
Макаров В.Л.
Компьютерное
моделирование искусственных обществ.
10.50-11.30
Четверушкин Б.Н.
Использование
высокопроизводительных вычислительных систем
для
решения задач науки и техники
11.40-12.20
Чубариков В.Н.
Арифметические
вопросы дискретной математики
12.30-13.10
Подколзин А.С.
О
компьютерном моделировании логических процессов
13.20-14.00
Кудрявцев В.Б.,
Строгалов А.С.
Компьютерные
обучающие системы
Дневное заседание.
Председатель Килибарда Г. (Сербия) ауд. 14-08
15.50-16.30
Подловченко Р.И.
Алгебраизация
алгоритмических языков и конечные автоматы
15.00-15.40
Прешич С. (Сербия)
Алгоритмика
16.40-17.20
Буевич В.А.
Аппроксимационная
полнота автоматов
17.30-18.10
Козлов В.Н.
Распознавание
визуальных образов
4-й день, 26 октября,
четверг
Утреннее заседание.
Председатель Погосян Г.Р. (Япония) ауд. 14-08
10.00-10.40
Нестеренко Ю.В.
Линейные системы уравнений и непрерывные дроби
10.50-11.30
Иванников В.П.
О
безопасности программных систем
11.40-12.20
Михалев А.В., Нечаев А.А.
Алгебраическая
теория кодирования
12.30-13.10
Глухов М.М.
Использование
колец целых алгебраических чисел для построения криптографических систем
с открытым ключом
13.20-14.00
Гашков С.Б., Болотов А.А., Фролов А.Б., Часовских А.А.
Криптография
на эллиптических кривых
Дневное заседание.
Председатель Кнапп Ж. (Словения) ауд. 14-08
15.00-15.40
Латышев В.Н.
Распознаваемые
свойства алгебр
15.50-16.30
Алешин С.В.
Алгебраические
конструкции в теории автоматов
16.40-17.20
Бениаминов Е.М.
Алгебраические
методы в теории баз данных
17.30-18.10
Панкратьев Е.В.
Компьютерная
алгебра
5-й день, 27 октября,
пятница
Утреннее заседание.
Председатель Михалев А.В. ауд.
14-08
10.00-10.40
Ершов Ю.Л., Самохвалов К.Ф.
Задачный подход
к философии математики – панацея?
10.50-11.30
Пытьев Ю.П.
Стохастические
и нечеткие модели. Эмпирическое построение и интерпретация
11.40-12.20
Черемных Ю.Н.
Экологические
и социальные факторы в моделировании экономических процессов
12.30-13.10
Гасанов Э.Э..
Теория
хранения и поиска информации
13.20-14.00
Чечкин А.В., Пирогов М.В.
Обеспечение
информационно-системной безопасности человеко-машинных систем с
помощью “среды радикалов”
14.10-14.50
Кудрявцев В.Б., Андреев А.Е.
Теория тестового распознавания
15.00-15.40
Кудрявцев В.Б., Грунский И.С., Козловский В.А.
Анализ и синтез автоматов по фрагментам поведений
См. также
Предварительная програма секционных заседаний конференции
|