Труды школы-конкурса молодых ученых (25 мая–15 июня 2003 года). —
Новосибирск, Академгородок, 2003. — 80 с.
Сборник содержит статьи, представленные на электронной
школе-конкурсе "Новые подходы и решения" аспирантами и молодыми
сотрудниками ИСИ СО РАН по следующим направлениям: теоретические
аспекты программирования, информационные технологии и
информационные системы, системное программное обеспечение,
прикладное программное обеспечение.
Содержание сборника:
Антонцева М.Ф. Коалгебраическое исследование бисимуляционных параллельных процессов.
Аргиров В.С. Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри.
Винокуров А.Н., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф. Программный комплекс, предназначенный для обработки результатов, полученных методом ядерного каротажа нефтяных скважин.
Грибовская Н.С. Теоретико-категорная характеризация языковых эквивалентностей временных параллельных моделей.
Жданова А.В., Манкевич П.В. Статический подход к семантическому структурированию предметных областей для запросов на естественном языке.
Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А. Восстановление положения тела в пространстве по данным, поступающим с одномерных камер для системы реального времени анализа движения объектов.
Рыжов В.С. Построение распределенных объектно-ориентированных интегрированных информационных систем обеспечения безопасности предприятия.
Антонцева М.Ф. Коалгебраическое исследование бисимуляционных параллельных процессов.
Аргиров В.С. Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри.
Винокуров А.Н., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф. Программный комплекс, предназначенный для обработки результатов, полученных методом ядерного каротажа нефтяных скважин.
Грибовская Н.С. Теоретико-категорная характеризация языковых эквивалентностей временных параллельных моделей.
Жданова А.В., Манкевич П.В. Статический подход к семантическому структурированию предметных областей для запросов на естественном языке.
Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А. Восстановление положения тела в пространстве по данным, поступающим с одномерных камер для системы реального времени анализа движения объектов.
Рыжов В.С. Построение распределенных объектно-ориентированных интегрированных информационных систем обеспечения безопасности предприятия.