——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Комната для семинаров ИСИ СО РАН
Время: 14.15
Заседания NN 448 — 452
——————————————————————
Рассмотрение дипломных работ
21 апреля
Лисицын Иван Александрович. Визуализация и семантическая обра-
ботка иерархических графовых моделей.
Хегай Жанна Эмильевна. Проведение формульных преобразований
для задач в булевых алгебрах.
——————————————————————
28 апреля
Шулешко Галина Вячеславовна. Разработка среды обучения в сис-
теме компьютерной алгебры FABULA.
Чо Ольга. Анализ алгоритмов упрощения в системах компьютерной
алгебры.
Овчиннмикова Наталья. Применение методов теории графов для ре-
шения систем линейных уравнений.
Чистяков Александр Геннадьевич. Средства реорганизации сетевых
приложений.
Труш Андрей Александрович. Автоматизация системного админист-
рирования студенческими проектами на базе OS UNIX
——————————————————————
5 мая
Бояршинов Виктор Александрович. Локальные вычисления в задачах
распознавания вида неориентированных графов
Денисова Юлия Константиновна. Конструирование учебных слоев
для открытых систем.
Кривошей Евгения Николаевна. Автоматизация подготовки справос-
ного материала в среде INTERNET.
Станкевич Андрей Владимирович. Механизм расширения библиотек
для визуализации проектирования HTML -документов.
Патюков Алексей Викторович. Разработка программ с расширяющей-
ся библиотекой объектов для визуализации разработки HTML-докумен-
тов.
——————————————————————
12 мая
Дылыков Жаргал Лубсанович. Исследование информационных процес-
сов в распределенных системах.
Лобив Игорь Васильевич. Конструирование параллельного варианта
метода дискретных вихрей.
Яркаева Ольга. Непрерывная логика для для моделирования энер-
гетических систем
Андреева Елена Валерьевна. Внутреннее представление Паскаль —
программ в системе преобразования семантики
——————————————————————
19 мая
Кислощаев Константин Владимирович. Прикладной интерфейс систе-
мы электронной подготовки изданий для сети интернет и полиграфии
Васенев Андрей Валерьевич. Организация системы электронной
подготовки изданий и ее базы данных.
Гибадуллин Алексей Заурович. Методы и средства пополнения
Web-версии толкового словаря по теории графов.
Волянская Татьяна Александровна. Методы и средства WEB-интер-
фейса пользователей с информационной системой трансформ.
——————————————————————