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

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), Лекция ПОМИ РАН видео
Computer Science Club, 2007–24 гг.