Морозов А.Н. (ред.) Заметки по информатике и математике. Выпуск 4

Сборник научных статей. — Ярославль: ЯрГУ, 2012. — 204 с.В сборник включены научные статьи студентов и аспирантов факультета ИВТ, посвященные важным направлениям развития математики, информатики и вычислительной техники.Алексеева М. М., Дашкова Е. А. Метод проверки на модели для определения корректности сложных систем.
Алешин С. В. Вычисление спектра показателей Ляпунова для дифференциальных уравнений с запаздывающим аргументом.
Амирасланов Р. Н. Жизненный цикл и возможности развития организации.
Анисимов Д. Н. Компьютерная обучающая система по теме «Планарность графа».
Антонов Д. В., Рублев В. С. Сравнение моделей запросов для схем баз данных СУБД DIM.
Антошина Е. Ю. Обучающая система задачи построения кратчайшего остовного дерева.
Баракова А. Н. Математическое моделирование параметров окна конкурентного доступа Contention Window для беспроводной сети ad-hoc.
Василиади Н. Г. Разработка и реализация файлового менеджера на основе технологии облачных вычислений.
Горностаева Е. А. Анализ и модернизация мультиагентного алгоритма перемещения на плоскости без столкновений.
Гусева Н. С. Компьютерная обучающая система «Эйлеровы маршруты».
Ковалёв Р. А., Лагутина Н. С. Разработка электронного мультимедиаучебника для обучения иностранному языку.
Кожемякин Н. И. QML-препроцессор как инструмент разработки кроссплатформенных приложений с использованием Qt Quick Components.
Комаров М. О. Компьютерная обучающая система «Изоморфизм графов».
Коновалов Е. В., Малышков Н. И. Численные исследования поведения обобщенного нейронного элемента под действием пачечной активности.
Корытов Ю. М. Компьютерная обучающая система «Построение кратчайшего маршрута в графе (алгоритм Дейкстры)».
Крупин Ю. М. Синхронизация с внешними источниками задач в приложении Octotask.
Курочкина В. Н. Моделирование workflow-процессов в среде Oracle BPM Studio 10g.
Лаурэ Д. А. Разработка и реализация подхода к активизации и деактивизации контекстов в персональном менеджере задач Octotask.
Легков Н. В., Легкова М. Н. Оптимизация поиска случайно расположенного на прямой объекта.
Лощилин Е. В. Интерполяция на основе трёх заданных объектов.
Медведева Д. О., Кузьмин Е. В. Верификация LD-программ ПЛК с помощью SMV.
Музаффаров Р. Э. Нахождение кратных центров в графе.
Панфилова Н. Ю. Компьютерная обучающая система по теме «Основные комбинаторные модели и правила».
Парфенов П. Г., Авдеева С. С. Применение расстояний и других мер близости для задачи различения алфавитно-цифровых символов, построенных на прямоугольной решетке.
Петров А. Н., Рублев В. С. Об обучении доказательству утверждений для множеств с помощью компьютерной системы.
Рябухин Д. А., Волчѐнков С. Г. Определение количества перестановок с ограничениями.
Семенова Р. В. Оценка капитализации организаций банковского сектора.
Сергеева Ю. А. Проблемы отраслевого кредитования в России.
Тимофеев И. А., Субботкин А. В. Разработка клиентов для системы Smart Conference с использованием библиотеки SmartSlog. Управление презентациями в формате Pecha Kucha для системы Smart Conference.
Тютина М. В. Финансовая эффективность банковской системы России.
Черкасов Д. А. Численные алгоритмы нахождения и идентификации устойчивых циклов в динамических системах.
Чистякова П. М. Создание интернет-магазина «STUDMAG».
Шарашова Е. А. Технология разработки модели корпоративной сети с интеграцией системы облачных вычислений.
Шемякина К. А. Использование онтологий для организации межсистемного взаимодействия.
Шишкина П. А., Комар М. В., Лагутина Н. С Разработка веб-сервисов, преобразующих информацию о пользователе социальной сети.