Computer Science семинар (Весна 2012) Конференция Хит Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Kokichi Futatsugi, Наталья Васильева, Сергей Якунин, Алексей Колесов, Андрей Морозов, Cesare Pautasso, Наталья Шарыгина Программа курса Лекции конференции8 Verifying Specifications with Proof Scores in CafeOBJ Computer Science клуб при ПОМИ РАН Kokichi Futatsugi 2373 Обнаружение текста на изображениях Computer Science клуб при ПОМИ РАН Наталья Васильева 3605 1 Технологии формирования, обработки и визуализации стереоскопических ''3D'' изображений Computer Science клуб при ПОМИ РАН Алексей Колесов 3291 Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталей Computer Science клуб при ПОМИ РАН Сергей Якунин 2113 1 Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерах Computer Science клуб при ПОМИ РАН Андрей Морозов 2673 Faculty of informatics university of Lugano, Switzerland Computer Science клуб при ПОМИ РАН Cesare Pautasso 1807 Service Oriented Computing with Resource Oriented Architectures Computer Science клуб при ПОМИ РАН Cesare Pautasso 1868 Local proof transformations for flexible interpolation and proof reduction Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1797
