авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 2 | 3 ||

«А.А. Шалыто Мои счастливые годы жизни на кафедре «Компьютерные технологии» СПбГУ ИТМО (к двадцатилетию кафедры) ...»

-- [ Страница 4 ] --

Вот что пишет по этому поводу в газете «Санкт-Петербургские ведомости» в статье, посвященной 110-летию СПбГУ ИТМО, упомянутая выше Анастасия Долгошева: «Есть в университете ИТМО кабинетик – неформальный зал славы, там фотографии в стиле «мы и президент». Президенты на фото меняются чаще, чем некоторые фигуранты: был, скажем, Путин, теперь Медведев. Зато неизменно среди очередных юных чемпионов мира – доцент кафедры «Компьютерные технологии» Андрей Станкевич, самый успешный в мире за последнее пятилетие тренер по программированию. Есть фото – итмовцы Е. Южаков, Ф.

Царев и А. Штучкин получают из рук президента «Гран-при» первой молодежной премии «Прорыв». Есть фото – президент вручает премию для молодых ученых ведущему научному сотруднику СПбГУ ИТМО Павлу Белову (все перечисленные молодые люди заканчивали одну и ту же кафедру «Компьютерные технологии»). Президент c профессором Владимиром Парфеновым и ректором Владимиром Васильевым (они руководят этой кафедрой). Наши поздравления! И побольше новых фотографий в том же духе»

(http://www.spbvedomosti.ru/print.htm?id=10265424@SV_Articles).

Приложение ПРОГРАММА работы секции «Автоматное управление, эволюционные алгоритмы, верификация на моделях» на Второй Межвузовской научной конференции по проблемам информатики (СПИСОК – 2011) Место проведения – матмех СПбГУ, время проведения – 10:00, 29.04. Руководитель секции – А.А. Шалыто http://spisok.math.spbu.ru/o5.htm 1. Сергушичев А. А., Исенбаев В.В., Царев Ф. Н., Прохорчук Е. Б., Шалыто А. А.

Разработка метода восстановления фрагментов нуклеотидных последовательностей по парным чтениям.

2. Александров А. В., Казаков С. В., Мельников С. В., Прохорчук Е. Б., Царев Ф. Н., Шалыто А. А. Разработка метода удаления ошибок из набора чтений нуклеотидной последовательности 3. Александров А. В., Казаков С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.

Применение генетических алгоритмов на основе обучающих примеров для построения конечных автоматов для управления моделью беспилотного самолета.

4. Казаков С. В., Царев Ф. Н., Шалыто А. А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров.

5. Буздалов М. В. Генерация тестов для олимпиадных задач по программированию с использованием эволюционных стратегий.

6. Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации.

7. Егоров К. В., Царев Ф. Н. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе верификации моделей и обучающих примеров.

8. Егоров К. В., Шалыто А. А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе контрактов и тестовых примеров.

9. Ульянцев В. И., Царев Ф. Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы.

10. Вельдер С. Э. Автоматическое доказательство аналогов гипотезы Черни-Пэна.

11. Паращенко Д. А., Станкевич А. С. Обработка строк на основе суффиксных автоматов.

12. Паращенко Д. А., Станкевич А. С. Суффиксные автоматы с сохранением промежуточных версий и их приложения.

13. Малаховски Я. М. Применение систем типов для валидации и верификации автоматных программ.

14. Тихомиров А. В. Генерация клеточных автоматов на основе обучающих примеров при помощи генетического программирования.

15. Лукин М. А. Разработка и верификация многопоточных автоматных программ.

16. Алексеев С. А., Клебан В. О. Программно-аппаратный комплекс для исследования аппаратного управления мобильными роботами.

17. Смирнов Е. В. Применение генетических алгоритмов для локальной оптимизации программного кода.



Pages:     | 1 |   ...   | 2 | 3 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.