Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Computer Science семинар
Санкт-Петербург / весна 2012, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти
TBA
Дата и время Занятие Место Материалы
19 февраля
15:35–17:10
Как не ошибиться с определением безопасности: о пользе authenticated encryption в теории и практике (Игорь Жирков, ИТМО/CS центр), Лекция ПОМИ РАН слайды
31 марта
15:00–16:35
Verifying Specifications with Proof Scores in CafeOBJ (Kokichi Futatsugi, Japan Advanced Institute of Science and Technology), Лекция ПОМИ РАН видео
08 апреля
13:00–14:35
Обнаружение текста на изображениях (Наталья Васильева, HP Labs), Лекция ПОМИ РАН слайды,  видео
15 апреля
13:00–15:35
Технологии формирования, обработки и визуализации стереоскопических "3D" изображений (Алексей Колесов, СПбГУТ), Лекция ПОМИ РАН видео
29 апреля
13:00–14:35
Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталей (Сергей Якунин, СПбГПУ и Computer Science центр), Лекция ПОМИ РАН слайды,  видео
13 мая
15:35–17:10
Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерах (Андрей Морозов, СимЭкс), Лекция ПОМИ РАН слайды,  видео
19 мая
18:15–19:00
Faculty of informatics university of Lugano, Switzerland, Лекция ПОМИ РАН видео
19 мая
19:15–20:05
Computational Science – modeling approaches and algorithms (Igor Pivkin, University of Lugano, Switzerland), Лекция ПОМИ РАН Нет
19 мая
20:05–20:45
Service Oriented Computing with Resource Oriented Architectures (Cesare Pautasso, University of Lugano, Switzerland), Лекция ПОМИ РАН видео
20 мая
11:15–12:50
Local proof transformations for flexible interpolation and proof reduction (Prof. Natasha Sharygina, University of Lugano, Switzerland), Лекция ПОМИ РАН видео