РАБОТЫ, ПРИНЯТЫЕ К ПУБЛИКАЦИИ

 

1.     Информационные системы

1)      Агроник А.Ю., Лесько C.А., Лысяков О.В., Родюшкин С.А. (Московская государственная академия приборостроения и информатики) РАЗРАБОТКА АвтоматическОЙ системЫ оптимизации ГРАФИЧЕСКОГО интерфейса, НА ПРИМЕРЕ ИНТЕРНЕТ-ОРГАНАЙЗЕРА, С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИЙ .NET.

2)      Васис О.С., Кальянов Д.В., Крамин А.А. (Казанский Государственный Университет) Система учета структуры и товарооборота в многоуровневом маркетинге.

3)      Гусаров А.Н. (Московская государственная академия приборостроения и информатики) ИСПОЛЬЗОВАНИЕ ПЛАГИНОВ ПРИ РАЗРАБОТКЕ СИСТЕМ СИНХРОНИЗАЦИИ ДАННЫХ, ФУНКЦИОНИРУЮЩИХ В РАСПРЕДЕЛЕННОЙ СРЕДЕ.

4)      Гусев С.В. (МГТУ им. Н.Э. Баумана) Вероятностный синтаксический анализ текстов на естественном языке.

5)      Гусев С.В., Одинцов О.А., Макаров А.В (МГТУ им. Н. Э. Баумана) Система классификации текстовых сообщений на естественном языке.

6)      Дереза А.Ю. (Днепропетровский Национальный Университет) ИСПОЛЬЗОВАНИЕ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ СОЗДАНИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ ПРИ ОБРАБОТКЕ ДАННЫХ МЕДИЦИНСКОГО МОНИТОРИНГА.

7)      Дубовик С.Е., Задумкин П.C., Сошников Д.В., Филинова А.В. (Московский авиационный институт  (государственный технический университет)). ОФИСНОЕ ПРИЛОЖЕНИЕ МОДЕЛИРОВАНИЯ И АНАЛИЗА ИНТЕЛЛЕКТУАЛЬНЫХ БИЗНЕС-ПРОЦЕССОВ.

8)      Какарека Т.Н., Качанов А.Л., Черныш К.П. (Белорусский Государственный Университет). ИЗУЧЕНИЕ И РЕАЛИЗАЦИЯ ПРИНЦИПОВ AUTONOMIC COMPUTING, ПОЗВОЛЯЮЩИХ ИСПОЛЬЗОВАТЬ MICROSOFT IIS SERVER КАК АВТОНОМНУЮ САМОКОНФИГУРИРУЮЩУЮСЯ СИСТЕМУ.

9)      Крылов П.И., Оленев А.А. (МГТУ им. Н.Э. Баумана). КОНЦЕПЦИЯ ПОСТРОЕНИЯ РАСПРЕДЕЛЕННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ УНИВЕРСИТЕТА.

10)  Любко А.А., Матросов А.А, Павлова Е.В, Станкевичус А.А., Сюзев К.Б., Титова И.И. (Московский инженерно-физический институт (государственный университет)) ПРОЕКТ «Программирование без границ».

11)  Надолинский Н.А. (Таганрогский государственный радиотехнический университет [ТРТУ]) ТРЕХМЕРНЫЕ ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ.

12)  Поликашина Н.С. (Московский авиационный институт (государственный технический университет)). Исследование методов автоматической классификации текстовых данных.

13)  Ридель Т.А. (МГТУ им. Н.Э. Баумана) ОНЛАЙНОВЫЙ АНАЛИЗ БИРЖЕВЫХ КОТИРОВОК.

14)  Россинский Е.Б., Янкелевич А.В. (МГТУ им. Н.Э. Баумана)  КОМПЛЕКС  ОБРАБОТКИ И АРХИВИРОВАНИЯ РАДИОГРАФИЧЕСКИХ  СНИМКОВ.

15)  Самарский Д.А.  (МГТУ им. Н.Э. Баумана) Проектирование систем автоматизации процессов делопроизводства с использованием объектно-ориентированных технологий.

16)  Сенько А.М., Якшин М.М. (МГТУ им. Н.Э. Баумана) Система виртуальной интеграции разнородных баз данных.

17)  Сидоров Ю.А. (Волгоградский государственный технический университет) Система автоматизированной разработки имитационных моделей.

18)  Трегубов В.Н. (Саратовский государственный технический университет) Синхронизация электронного и бумажного документооборота на основе технологии xml.

19)  Фетисов М.Ю. (Московский Инженерно-физический институт) Использование методов проектирования информационных систем при создании специализированных ГИС.

20)  Чернышев С.В. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет) СЖАТИЕ ГЕОМЕТРИЧЕСКИХ ДАННЫХ ГЕОИНФОРМАЦИОННЫХ СИСТЕМ И СПОСОБЫ ЭФФЕКТИВНОГО ОТСЕЧЕНИЯ ОБЪЕКТОВ ПРИ ВИЗУАЛИЗАЦИИ.

21)  Юмагужин Н.В. (Институт программных систем РАН, Переславль-Залесский) Исследование возможностей работы с ERP-системой Microsoft Navision в режиме offline.

 

2.     Информационная поддержка инженерных разработок (наукоемких изделий).

1)      Афраймович Л. Г. (Нижегородский государственный университет им. Н.И. Лобачевского) ОПТИМАЛЬНОЕ РАСПРЕДЕЛЕНИЕ ОДНОРОДНОГО РЕСУРСА В ЗАДАЧАХ УПРАВЛЕНИЯ ПРЕДПРИЯТИЕМ.

2)      Беломойцев Д.Е. (МГТУ им. Н.Э. Баумана) СИСТЕМА КОНТРОЛЯ ДОСТУПА ПО БЕСПРОВОДНОЙ СВЯЗИ ДЛЯ МОБИЛЬНЫХ ТЕЛЕФОНОВ.

3)      Берчун Ю.В. (МГТУ им. Н. Э. Баумана) Организация работ с цифровым макетом изделия при проектировании сложных технических систем.

4)      Дыков В.А. (Волгоградский государственный технический университет) Применение нечеткой логики в задачах синтеза физического принципа действия сложных систем.

5)      Зарин Д.А., Сидоркин А.В., Сошников Д.В. (: Московский авиационный институт (государственный технический университет)).  Maorie – многоагентная децентрализованная система установления транзитивных контактов на основе онтологического описания.

6)      Иванов А.И. (ЛИТ, Москва) Трехмерное моделирование гладких поверхностей с возможностью тактильного манипулирования киберперчаткой (проект  Виртуальный скульптор).

7)      Керницкий А.В. (Тверской Государственный Технический Университет) Программное обеспечение для моделирования процесса формования химических волокон.

8)      Кизим А.В. (Волгоградский государственный технический университет). Поддержка процессов проектирования и управления на основе единой интегрирующей информационной модели объектов.

9)      Овсянников В.В. . (МГТУ им. Н.Э. Баумана) МОДЕЛИРОВАНИЕ ЭЛЕКТРОПРИВОДА КАК ГИБРИДНОЙ СИСТЕМЫ.

10)  Овчинников С.А. (Волгоградский государственный технический университет) АЛГОРИТМ КЛАСТЕРИЗАЦИИ БОЛЬШИХ НАБОРОВ ДАННЫХ.

11)  Петри С.Ю. (Нижегородский государственный университет им. Н.И. Лобачевского).Об одной задаче распределения ресурсов в сетевых канонических структурах.

12)  Ульянов Д.В., Толбатова А.А. (Ухтинский государственный технический университет)  Проектирование и создание автоматизированного рабочего места оператора газораспределительной станции ООО "Севергазпром" .

 

3.     Технология программирования и моделирование

1)      Арцыхович Д.А., Зарин Д.А., Уколов А.С. (Московский авиационный институт  (государственный технический университет)). Среда моделирования коллективного взаимодействия в социальных сообществах «Аквариум».

2)      Белов В.А., Войцеховский Д.В (Московский Государственный Университет им. М.В.Ломоносова, ВМиК).Система визуализации результатов расчетов задач газодинамики на суперкомпьютерах.

3)      Белостоцкий Н.А. (МГТУ им. Н.Э. Баумана) Автоматическое распределение экземпляров литературы по фондам библиотеки на основе оценки качества обслуживания.

4)      Гольцер Ю.Я. (Московский Инженерно-физический институт) КОМПОНЕНТНЫЙ ПОДХОД К СОЗДАНИЮ СИСТЕМЫ ХРАНЕНИЯ И ОБРАБОТКИ РЕЗУЛЬТАТОВ КОСМОФИЗИЧЕСКИХ ЭКСПЕРИМЕНТОВ.

5)      Давудпур Марьям (МГТУ им. Н.Э. Баумана)  Декомпозиция  дискретных систем средствами визуального программирования в среде DELPHc.

6)      Крыжановский Д.И., Шершнёв В.Н., Колчин П.А., Кудряшов П.П. (Волгоградский государственный технический университет) Программная система оценки фазово-генетических характеристик пластовых флюидов.

7)      Майоров Д.А., Соловьев А.А., Тетерев А.В., Юшков В.И. (МГТУ им. Н.Э. Баумана). Оперативное исследование ДТП на месте происшествия.

8)      Максимчук П.И. (МГТУ им. Н.Э. Баумана) Разработка системы автоматизированного проектирования интерфейсов, ориентированных на пользователя и снабженных механизмами динамической адаптации.

9)      Невский Е.Н., Павлова О.В., Калугин К.Г. (Московский Государственный Университет им. М.В.Ломоносова, ВМиК)  IL Shaders: программирование графических процессоров на языке С#.

10)   Новиков М.А. (МГТУ им. Н.Э. Баумана). Разработка автоматизированной системы динамической классификации.

11)  Пескова О.В. (МГТУ им. Н.Э. Баумана)  АВТОМАТИЧЕСКАЯ КЛАССИФИКАЦИЯ ЭЛЕКТРОННЫХ ТЕКСТОВЫХ  ДОКУМЕНТОВ С ПРИМЕНЕНИЕМ МЕХАНИЗМА ОБРАТНОЙ СВЯЗИ.

12)  Пикалов И.Ю. (Курский государственный университет) Вопросы использования событийных графов в задачах сетевого планирования и управления.

13)  Родионов Д.А. (МГТУ им. Н.Э. Баумана).  Программный комплекс проведения имитационных экспериментов при исследовании сложных дискретных устройств, формализованных в виде сетей Петри.

14)  Сысоев А.В. (Нижегородский государственный университет им. Н.И. Лобачевского) О ПРОБЛЕМЕ РАСЧЕТА ФУНКЦИОНАЛОВ В ПРОГРАММНЫХ СИСТЕМАХ ГЛОБАЛЬНОЙ ОПТИМИЗАЦИИ.

15)  Устюжанин А.Е. (Московский Физико-Технический Институт) Особенности моделирования хаотических процессоров для построения ассоциативной памяти систем автономного адаптивного управления.

16)  Шершнёв В.Н. (Волгоградский государственный технический университет). АВТОМАТИЗИРОВАННАЯ СИСТЕМА УПРАВЛЕНИЯ ПОКАЗАТЕЛЬНЫМ СРАЖЕНИЕМ МОДЕЛЕЙ ТАНКОВ.

17)  Шиваров А.Е. (МГТУ им. Н.Э. Баумана) ПОЛНОТЕКСТОВЫЙ ИНФОРМАЦИОННЫЙ ПОИСК С УЧЕТОМ ВОЗМОЖНЫХ ОШИБОК ОПТИЧЕСКОГО РАСПОЗНАВАНИЯ СИМВОЛОВ.

18)  Яснев М.И.  (Московская государственная академия приборостроения и информатики) Использование естественного языка для создания сценариев.

 

4.     Системное программирование  

1)      Герасимов А.М. (Волгоградский Государственный Технический Университет) ЭФФЕКТИВНОЕ УПРАВЛЕНИЕ ПОЛЬЗОВАТЕЛЬСКИМ ИНТЕРФЕЙСОМ. МЕТОД РАСПОЗНАВАНИЯ ЖЕСТОВ МЫШИ.

2)      Жереб К.А. (Московский Физико-Технический Институт). АГЕНТНЫЙ ПОДХОД К ПОСТРОЕНИЮ СИСТЕМЫ ДЛЯ ГЕНЕРАЦИИ КОДА.

3)      Керницкий А.В. (Тверской Государственный Технический Университет) Программное обеспечение для определения характеристик и типа процессора.

4)      Лунев А.А., Омельченко Д.Ю., Пидоненко В.Л. (Московский физико-технический институт (государственный университет)) КОГОРТНОЕ ПЛАНИРОВАНИЕ ПОТОКОВ В .NET РАНТАЙМЕ И АВТОМАТИЧЕСКИЙ ПЕРЕВОД СИНХРОННЫХ ВЫЗОВОВ В АСИНХРОННЫЕ.

5)      Медведев Е.В. (Омский государственный университет путей сообщения [ОмГУПС]) Разработка модуля аутентификации с помощью Active Directory для FTP сервера Serv-U.

6)      Митин Р.О. (Нижегородский государственный университет им. Н.И. Лобачевского). СОВМЕСТНАЯ РАЗРАБОТКА ДЕКОДЕРА ПРОЦЕССОРА И ДВОИЧНЫХ УТИЛИТ К НЕМУ.

7)      Надолинский Н.А. (Таганрогский государственный радиотехнический университет [ТРТУ]) ПРОГРАММИРОВАНИЕ ТРЕХМЕРНОЙ ГРАФИКИ НА ПЛАТФОРМЕ MICROSOFT WINDOWS CE.

8)      Погорелов К.В. (Таганрогский государственный радиотехнический университет) Видеокодек на основе оптимизированных дельта-преобразований второго порядка в формате драйвера для ОС Microsoft Windows.

9)      Федосеев А.И. (МГТУ им. Н.Э. Баумана). Применение сжатия страниц для усовершенствования механизма страничного  обмена операционной системы.

10)  Хаджинов А. А. (Таганрогский государственный радиотехнический университет) Кодек звуковых данных на основе оптимизированных дельта-преобразований второго порядка.

 

5.     Информационная безопасность  

1)      Дубовицкая М.В., Любко А.А, Никитин А.С., Пачин И.С. . (Московский Инженерно-физический институт). XKMS как средство Управления криптографическими сертификатами. Реализация XKMS клиента на смарт-карте.

2)      Есин А.А. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет).Построение IDS сигнатур для распознавания атак  на Spanning Tree Protocol.

3)      Кузнецов А.А. (МГТУ им. Н.Э. Баумана) Применение криптографии для защиты от несанкционированной массовой рассылки.  

4)      Кузнецов А.А. (МГТУ им. Н.Э. Баумана).  Организация защищенного обмена информацией по открытым каналам связи с помощью активных открытых ключей.

5)      Камлюк В.А. (Белорусский Государственный Университет)  Разработка автоматизированного рабочего места администратора безопасности информационной системы.

6)      Котенко С.В., Левендян И.Б., Поликарпов С.В. (Таганрогский государственный радиотехнический университет) МАТЕМАТИЧЕСКАЯ МОДЕЛЬ МЕТОДИКИ ОЦЕНКИ КАЧЕСТВА ЗАЩИТЫ АУДИОИНФОРМАЦИИ НА ОБЪЕКТЕ ИНФОРМАТИЗАЦИИ.

7)      Котенко С.В., Левендян И.Б., Поликарпов С.В. (Таганрогский государственный радиотехнический университет) Оценка качества шифрования с позициЙ  теории информации.

8)      Котенко С.В., Левендян И.Б., Поликарпов С.В. (Таганрогский государственный радиотехнический университет) Программный комплекс виртуального шифрования.

9)      Леошкевич И.О. (Московский инженерно-физический институт (государственный университет)) РАЗРАБОТКА СИСТЕМЫ ЗАЩИТЫ ДАННЫХ НА ДИСКЕ, ОСНОВАННОЙ НА ДРАЙВЕРЕ-ФИЛЬТРЕ ФАЙЛОВОЙ СИСТЕМЫ.

10)  Любко А.А. (Московский Инженерно-физический институт)  ЗАЩИТА РАСПРЕДЕЛЕННЫХ ПРИЛОЖЕНИЙ С ПОМОЩЬЮ ЦИФРОВЫХ СЕРТИФИКАТОВ НА ПЛАТФОРМЕ  MICROSOFT .NET FRAMEWORK.

11)  Любко А. А., Минаева Е.В (Московский Инженерно-физический институт)  РАЗРАБОТКА КУРСА "ПРОГРАММИРОВАНИЕ ПРИЛОЖЕНИЙ ИНФРАСТРУКТУРЫ ОТКРЫТЫХ КЛЮЧЕЙ НА ПЛАТФОРМЕ MICROSOFT .NET".

12)  Минаева Е.В., Любко А.А., Матросов А.А., Станкевичус А.А. (Московский Инженерно-физический институт)  ИНТЕЛЛЕКТуальнАЯ архитектурА БЕЗОПАСНОСТИ ДЛЯ СОВРЕМЕННЫХ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ.

13)  Попов А.В., Шикин Е.А. (Мордовский государственный университет им. Н.П.Огарева) CIM-вирусы в Windows: методика и инструмент обнаружения.

14)  Станкевичус А.А. (Московский Инженерно-физический институт) МЕТОДИКА ЗАЩИТЫ КЛИЕНТСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ  РEER-TO-PEER СЕТИ ОТ МОДИФИКАЦИИ И АНАЛИЗА.

15)  Степин А.А. . (Московский Инженерно-физический институт). Проектирование системы обнаружения вторжений на основе структурного анализа типовых нарушений безопасности в сети.

16)  Устименко А.С. (МГТУ им. Н.Э. Баумана). Разработка технологии установки цифровых меток на звуковые компакт-диски формата CDDA.

17)  Чугунов Е. И. (Московский Инженерно-физический институт) Поэтапная методика и схема стенда по анализу программных средств на наличие закладных элементов.

18)  Шашлов А.М. (МГТУ им. Н.Э. Баумана). Исследование способов противодействия установке программных закладок в ОС Microsoft Windows NT/2000/XP.

 

6.     Сетевые технологии

1)      Баринова А.В. (МГТУ им. Н.Э. Баумана). Балансировка нагрузок и миграция данных в распределенной файловой системе

2)      Бартенев М.В. . (МГТУ им. Н.Э. Баумана) ПРИМЕНЕНИЕ СОТОВОЙ РАДИОСВЯЗИ В ПОСТРОЕНИИ МАСШТАБИРУЕМЫХ АСУ.

3)      Вишняков И.Э.(МГТУ им. Н.Э.Баумана). Принципы  анализа и моделирования корпоративных сетей на примере компьютерной сети МГТУ им. Н.Э. Баумана.

4)      Карапетян Д.Р., Одинцов О.А. (МГТУ им. Н.Э. Баумана)  Использование NET Remoting  для высокоскоростной обработки информации в кластерных системах.

5)      Котляров Д.В., Лазуткин В.А., Осипов М.А (Московский энергетический институт (технический университет)) ГРАФ-СХЕМНОЕ ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ И ЕГО РЕАЛИЗАЦИЯ НА КЛАСТЕРНЫХ СИСТЕМАХ.

6)      Ковшов Н.В., Миненко М.И. (Московский Физико-Технический Институт) СЕТЕВАЯ ВЫЧИСЛИТЕЛЬНАЯ МОДЕЛЬ ИНТЕНСИВНЫХ ИНФОРМАЦИОННЫХ ПОТОКОВ.

7)      Лабутина А.А. (Нижегородский государственный университет им. Н.И. Лобачевского). ПРОГРАММНАЯ СИСТЕМА ДЛЯ ИЗУЧЕНИЯ И ИССЛЕДОВАНИЯ ПАРАЛЛЕЛЬНЫХ МЕТОДОВ РЕШЕНИЯ СЛОЖНЫХ ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ.

8)      Лабутин Д.Ю. (Нижегородский государственный университет им. Н.И. Лобачевского). СИСТЕМА УДАЛЕННОГО ДОСТУПА К ВЫЧИСЛИТЕЛЬНОМУ КЛАСТЕРУ ПОД УПРАВЛЕНИЕМ ОПЕРАЦИОННОЙ СИСТЕМЫ MICROSOFT WINDOWS.

9)      Митюнин В.А.  (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет). РАСПАРАЛЛЕЛИВАНИЕ АЛГОРИТМОВ ВЫЧИСЛЕНИЯ БАЗИСОВ ГРЕБНЕРА.

10)  Морозов Р.Л. (Волгоградский государственный технический университет) АВТОМАТИЗИРОВАНАЯ ПОИСКОВАЯ ОПТИМИЗАЦИЯ ВЕБ-СЕРВЕРОВ.

11)  Одинцов О.А. (МГТУ им. Н.Э. Баумана)  ИССЛЕДОВАНИЕ SCI-КЛАСТЕРА ПОД УПРАВЛЕНИЕМ ОС WINDOWS.

12)  Олейников И.В. (Волгоградский Государственный Технический Университет) Система построения и управления Web-системами “XWeb”

13)  Синявин А.В. (МГТУ им. Н.Э. Баумана) ИССЛЕДОВАНИЕ РАБОТОСПОСОБНОСТИ ИНЖЕНЕРНЫХ ПАКЕТОВ НА КЛАСТЕРНЫХ УСТАНОВКАХ ПОД ОС WINDOWS.

14)  Троценко Р.В. (Таганрогский государственный радиотехнический университет)  РЕАЛИЗАЦИЯ SIP-СЕРВЕРА ДЛЯ ОРГАНИЗАЦИИ ЛОКАЛЬНОГО ОБМЕНА МГНОВЕННЫМИ СООБЩЕНИЯМИ.

15)  Шкурко А Н., Хусаинов Н.Ш. (Таганрогский государственный радиотехнический университет )  Архитектура и программная реализация системы многосторонней аудиовидеоконференцсвязи "Дельта-конференция".

16)      Лабутин Д.Ю., Свистунов А.Н., Сенин А.В, Лопатин И.Б.(Нижегородский государственный университет им. Н.И. Лобачевского). РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМ КЛАСТЕРОМ.

 

7.     Информационные технологии в образовании  

1)      Арутюнов И.С., Лесько C.А. (Московская государственная академия приборостроения и информатики) ИСПОЛЬЗОВАНИЕ ТЕХНОЛОГИЙ .NET ДЛЯ СОЗДАНИЯ ИНТЕРНЕТ СИСТЕМ ОБУЧЕНИЯ И ТЕСТИРОВАНИЯ.

2)      Воног С. Н. (Московский Физико-Технический Институт) Построение интерактивных систем обучения на основе адаптивных персональных обучающих агентов.

3)      Воног С. Н., Жереб К.А., Кушко Т. Ю., Сурин Н. В. (Московский Физико-Технический Институт) Система для обучения и развития творческих способностей детей младшего школьного возраста Inspirational Classroom Environment.

4)      Воробкалов П.Н. (Волгоградский Государственный Технический Университет). КРИТЕРИИ ОЦЕНКИ КАЧЕСТВА АДАПТИВНЫХ СИСТЕМ.

5)      Жереб К.А. (Московский Физико-Технический Институт). Построение алгоритма функционирования персонального агента в системе Inspirational Classroom Environment.

6)      Жданов И.С. (Волгоградский государственный технический университет) Организация интеллектуальной поддержки решения учебных задач в автоматизированной обучающей системе.

7)      Корчевский С.О., Попов А.Б., Фирсов А.В. (Ухтинский государственный технический университет). Применение средств мультимедиа и компьютерной графики для разработки автоматизированных обучающих систем.

8)      Ладыгин Д.О. (Волгоградский государственный технический университет) Перспективы применения банка вибрационных эффектов для проектирования новых технических систем и обучения.

9)      Микова Т.В. (Уфимский государственный авиационный технический университет) Модели и алгоритмы управления в системах дистанционного обучения.

10)  Наумов А.А. (Курский Государственный Университет). Представление процесса обучения для электронных учебников.

11)  Сычев А.В. (Волгоградский Государственный Технический Университет) Разработка концепции адаптивной обучающей системы для обучения общепрофессиональным дисциплинам.

12)  Ярошевич В.И. ((Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет).  ПРАКТИЧЕСКИЙ ПРИМЕР ИСПОЛЬЗОВАНИЯ XSLT MATHML LIBRARY.

13)  Гапанюк Ю.Е. (Московский Государственный Технический Университет им. Н.Э. Баумана).  СОЗДАНИЕ КОНСТРУКТОРА УЧЕБНЫХ ПОСОБИЙ С ИСПОЛЬЗОВАНИЕМ MICROSOFT OFFICE INFOPATH.

 

8.     Теоретическое программирование

1)      Алексеевский Д.А., Савченко М.А., Цаун О.С. (Московский Государственный Университет им. М.В.Ломоносова, ВМиК) Библиотечная реализация языка Дейталог в мультипарадигмальной среде.

2)      Алексеевский Д.А., Савченко М.А., Цаун О.С.  (Московский Государственный Университет им. М.В.Ломоносова, ВМиК) Микрокод для реализации языка Рефал-5.

3)      Бабенко М.А. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет). Задача о регулярном цикле минимального среднего веса в кососимметрических графах и ее приложения.

4)      Иванов К.С. (Московский Государственный Университет им. М.В.Ломоносова, ВМиК) Об одном подходе к обфускации программ

5)      Климов Ю.А. (Институт прикладной математики им. М.В.Келдыша РАН). ПОЛИВАРИАНТНЫЙ АНАЛИЗ ВРЕМЕН СВЯЗЫВАНИЯ В СПЕЦИАЛИЗАТОРЕ CILPE ДЛЯ COMMON INTERMEDIATE LANGUAGE ПЛАТФОРМЫ MICROSOFT.NET.

6)      Костылев Е.В. (Московский Государственный Университет им. М.В.Ломоносова, ВМиК)  Методы вычисления инвариантов программ.

7)      Коробейников А.Ю. (Тверской Государственный Университет) Применение контрактного программирования.

8)      Колесников А., Перченок А., Пюрецкий А. (МГТУ "Станкин") Интерпретатор языка FP.

9)      Миханов С.В., Сошников Д.В. (Московский авиационный институт (государственный технический университет)). Алгоритм оценки онтологической релевантности в дескриптивных логиках.

10)  Новиков А.Г. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет). Использование операционной семантики фрагмента языка C# для распознавания некоторых инвариантов программ.

11)  Русаков Д.М. (Московский Государственный Университет им. М.В.Ломоносова, ВМиК) О проблеме включения для схем программ с константами.

12)  Скоробогатов С.Ю. (МГТУ им. Н.Э. Баумана) РЕАЛИЗАЦИЯ ЯЗЫКА REFAL ДЛЯ ПЛАТФОРМЫ MICROSOFT .NET.

13)  Чернов А.В. (Московский инженерно-физический институт (государственный университет))  Модель определения временных точек перехода между видами представлений БД.

14)  Филатов В.В. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет) Анализ линейных вычислительных процессов при помощи сценариев.

15)  Чернышев С.В. (Московский Государственный Университет им. М.В.Ломоносова, механико-математический факультет)  ОБОБЩЕНИЕ ЗАДАЧИ НАХОЖДЕНИЯ КРАТЧАЙШИХ ПУТЕЙ В ОРИЕНТИРОВАННОМ ГРАФЕ.